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