The cat eats the cow. The cow chases the cat. The cow is blue. The cow is red. The cow visits the cat. The lion visits the cat. The lion visits the cow. If the lion chases the cat and the cat eats the lion then the cat visits the cow. If someone visits the lion then they visit the cow. If someone eats the cow and the cow chases the cat then they visit the lion. If someone visits the cow and the cow visits the cat then they chase the cow. If someone chases the lion then the lion eats the cat. If someone visits the lion and the lion chases the cow then they are green.
The cow does not chase the lion.
@0: The cat eats the cow.[(triple1)] The cow chases the cat.[(triple2)] The cow is blue.[(triple3)] The cow is red.[(triple4)] The cow visits the cat.[(triple5)] The lion visits the cat.[(triple6)] The lion visits the cow.[(triple7)] @1: The cat visits the lion.[(((triple1 triple2) -> rule3))] The lion chases the cow.[(((triple7 triple5) -> rule4))] @2: The cat is green.[(((((triple1 triple2) -> rule3) ((triple7 triple5) -> rule4)) -> rule6))] The cat visits the cow.[(((((triple1 triple2) -> rule3)) -> rule2))] @3: The cat chases the cow.[(((((((triple1 triple2) -> rule3)) -> rule2) triple5) -> rule4))]