trois faits
quatre règles
cinq prédicats
sept clauses