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