The cat does not chase the cow. The cat chases the tiger. The cat is kind. The cow chases the cat. The cow is kind. The cow visits the mouse. The mouse is green. The mouse visits the cat. The tiger chases the mouse. The tiger sees the cat. If something is kind and it visits the cat then it does not visit the tiger. If the mouse visits the cow then the cow is green. If the cat visits the tiger then the tiger chases the cow. If the cow visits the mouse and the cow chases the mouse then the cow chases the cat. If something chases the tiger then it is cold. If something visits the mouse then it visits the cat. If something is cold then it visits the cat. If the tiger chases the cow and the cow chases the mouse then the tiger does not see the mouse.
The tiger does not visit the cat.
@0: The cat chases the tiger.[(triple2)] The cat does not chase the cow.[(triple1)] The cat is kind.[(triple3)] The cow chases the cat.[(triple4)] The cow is kind.[(triple5)] The cow visits the mouse.[(triple6)] The mouse is green.[(triple7)] The mouse visits the cat.[(triple8)] The tiger chases the mouse.[(triple9)] The tiger sees the cat.[(triple10)] @1: The cat is cold.[(((triple2) -> rule5))] The cow visits the cat.[(((triple6) -> rule6))] @2: The cat visits the cat.[(((((triple2) -> rule5)) -> rule7))] The cow does not visit the tiger.[(((triple5 ((triple6) -> rule6)) -> rule1))] @3: The cat does not visit the tiger.[(((triple3 ((((triple2) -> rule5)) -> rule7)) -> rule1))]