The cat chases the cow. The cat eats the mouse. The cat is nice. The cat does not like the cow. The cat likes the mouse. The cow likes the mouse. The mouse does not eat the cat. The mouse eats the cow. The mouse is blue. The mouse is kind. If someone chases the mouse and they eat the cat then the mouse is kind. If someone chases the mouse and they chase the cat then the cat eats the cow. If the mouse eats the cat and the cat is kind then the cat is nice. If someone likes the mouse then they do not chase the cat. If someone is blue and they do not chase the mouse then they do not eat the mouse. If someone likes the mouse and the mouse chases the cow then the cow eats the cat. If the cow does not chase the cat then the cow eats the mouse. If someone eats the mouse then they eat the cow.
The cow does not eat the cow.
@0: The cat chases the cow.[(triple1)] The cat does not like the cow.[(triple4)] The cat eats the mouse.[(triple2)] The cat is nice.[(triple3)] The cat likes the mouse.[(triple5)] The cow likes the mouse.[(triple6)] The mouse does not eat the cat.[(triple7)] The mouse eats the cow.[(triple8)] The mouse is blue.[(triple9)] The mouse is kind.[(triple10)] @1: The cat does not chase the cat.[(((triple5) -> rule4))] The cat eats the cow.[(((triple2) -> rule8))] The cow does not chase the cat.[(((triple6) -> rule4))] @2: The cow eats the mouse.[(((((triple6) -> rule4)) -> rule7))] @3: The cow eats the cow.[(((((((triple6) -> rule4)) -> rule7)) -> rule8))]