The cat eats the rabbit. The cat sees the rabbit. The lion eats the rabbit. The lion is big. The lion is nice. The rabbit eats the lion. The rabbit sees the squirrel. The rabbit visits the cat. The rabbit visits the lion. The squirrel is big. If something is nice then it eats the squirrel. If something eats the squirrel and it eats the rabbit then it eats the cat. If something eats the lion and the lion is green then the lion sees the squirrel. If something sees the rabbit then it is nice. If something visits the rabbit and the rabbit is green then the rabbit visits the lion. If something visits the cat and the cat is nice then the cat visits the rabbit.
The lion is not round.
@0: The cat eats the rabbit.[(triple1)] The cat sees the rabbit.[(triple2)] The lion eats the rabbit.[(triple3)] The lion is big.[(triple4)] The lion is nice.[(triple5)] The rabbit eats the lion.[(triple6)] The rabbit sees the squirrel.[(triple7)] The rabbit visits the cat.[(triple8)] The rabbit visits the lion.[(triple9)] The squirrel is big.[(triple10)] @1: The cat is nice.[(((triple2) -> rule4))] The lion eats the squirrel.[(((triple5) -> rule1))] @2: The cat eats the squirrel.[(((((triple2) -> rule4)) -> rule1))] The cat visits the rabbit.[(((triple8 ((triple2) -> rule4)) -> rule6))] The lion eats the cat.[(((((triple5) -> rule1) triple3) -> rule2))] @3: The cat eats the cat.[(((((((triple2) -> rule4)) -> rule1) triple1) -> rule2))]