The cat chases the dog. The cat likes the mouse. The cat sees the mouse. The cow chases the mouse. The cow sees the mouse. The dog chases the cat. The mouse chases the cow. If something is young and it does not like the mouse then the mouse does not like the dog. If the dog sees the mouse then the mouse is not round. If the dog is not rough then the dog does not chase the cow. If something likes the cow then it is young. If something chases the cat then the cat likes the cow. If something sees the cow and it likes the mouse then the mouse chases the cow. If something likes the mouse and it is young then the mouse sees the cat. If the cat likes the mouse then the cat is rough.
The mouse does not see the cat.
@0: The cat chases the dog.[(triple1)] The cat likes the mouse.[(triple2)] The cat sees the mouse.[(triple3)] The cow chases the mouse.[(triple4)] The cow sees the mouse.[(triple5)] The dog chases the cat.[(triple6)] The mouse chases the cow.[(triple7)] @1: The cat is rough.[(((triple2) -> rule8))] The cat likes the cow.[(((triple6) -> rule5))] @2: The cat is young.[(((((triple6) -> rule5)) -> rule4))] @3: The mouse sees the cat.[(((triple2 ((((triple6) -> rule5)) -> rule4)) -> rule7))]