The cow chases the mouse. The cow chases the tiger. The cow is kind. The cow is rough. The cow visits the mouse. The dog does not chase the mouse. The dog does not chase the tiger. The dog is not kind. The dog sees the cow. The mouse is red. The mouse is not young. The mouse does not see the dog. The tiger is not young. The tiger sees the cow. The tiger visits the cow. The tiger visits the dog. If something sees the tiger and it does not chase the cow then the cow chases the dog. If something is young and it chases the dog then the dog does not chase the tiger. If something is young and it chases the mouse then the mouse sees the cow. If something chases the tiger and it does not visit the dog then the dog does not see the mouse. If something visits the tiger then the tiger visits the mouse. If something visits the mouse then it visits the tiger.
The cow chases the dog.
@0: The cow chases the mouse.[(triple1)] The cow chases the tiger.[(triple2)] The cow is kind.[(triple3)] The cow is rough.[(triple4)] The cow visits the mouse.[(triple5)] The dog does not chase the mouse.[(triple6)] The dog does not chase the tiger.[(triple7)] The dog is not kind.[(triple8)] The dog sees the cow.[(triple9)] The mouse does not see the dog.[(triple12)] The mouse is not young.[(triple11)] The mouse is red.[(triple10)] The tiger is not young.[(triple13)] The tiger sees the cow.[(triple14)] The tiger visits the cow.[(triple15)] The tiger visits the dog.[(triple16)] @1: The cow visits the tiger.[(((triple5) -> rule6))] @2: The tiger visits the mouse.[(((((triple5) -> rule6)) -> rule5))] @3: The tiger visits the tiger.[(((((((triple5) -> rule6)) -> rule5)) -> rule6))]