The cat chases the lion. The cat eats the lion. The cat sees the cow. The cat sees the lion. The cow chases the cat. The cow eats the cat. The cow is red. The cow is rough. The cow does not see the cat. The cow does not see the lion. The lion eats the cow. The lion sees the cow. If something is cold then it is red. If something eats the cat then it chases the cow. If something is nice and it eats the cow then it eats the lion. If something chases the cow then the cow does not see the cat. If something is cold then it does not chase the lion. If something eats the cow and the cow is nice then the cow is green.
The lion is rough.
@0: The cat chases the lion.[(triple1)] The cat eats the lion.[(triple2)] The cat sees the cow.[(triple3)] The cat sees the lion.[(triple4)] The cow chases the cat.[(triple5)] The cow does not see the cat.[(triple9 OR ((((triple6) -> rule2)) -> rule4))] The cow does not see the lion.[(triple10)] The cow eats the cat.[(triple6)] The cow is red.[(triple7)] The cow is rough.[(triple8)] The lion eats the cow.[(triple11)] The lion sees the cow.[(triple12)] @1: The cow chases the cow.[(((triple6) -> rule2))]