The cow chases the mouse. The cow eats the mouse. The cow is red. The cow is rough. The cow sees the lion. The lion is not cold. The mouse eats the lion. The mouse is not green. The mouse is red. The mouse sees the cow. If something sees the cow and the cow eats the mouse then the mouse eats the cow. If something chases the cow and the cow sees the mouse then the mouse eats the cow. If something is rough and it sees the lion then it does not eat the lion. If something chases the cow then the cow does not chase the lion. If something chases the mouse and the mouse chases the lion then the lion sees the mouse. If something sees the cow and it is red then it chases the cow.
The lion sees the mouse.
@0: The cow chases the mouse.[(triple1)] The cow eats the mouse.[(triple2)] The cow is red.[(triple3)] The cow is rough.[(triple4)] The cow sees the lion.[(triple5)] The lion is not cold.[(triple6)] The mouse eats the lion.[(triple7)] The mouse is not green.[(triple8)] The mouse is red.[(triple9)] The mouse sees the cow.[(triple10)] @1: The cow does not eat the lion.[(((triple4 triple5) -> rule3))] The mouse chases the cow.[(((triple10 triple9) -> rule6))] The mouse eats the cow.[(((triple10 triple2) -> rule1))] @2: The cow does not chase the lion.[(((((triple10 triple9) -> rule6)) -> rule4))]