The cat chases the cow. The cat chases the rabbit. The cat is nice. The cat needs the cow. The cat visits the rabbit. The cow is nice. The cow is red. The cow needs the cat. The cow visits the cat. The mouse chases the cow. The mouse chases the rabbit. The mouse is kind. The mouse needs the rabbit. The rabbit chases the cow. The rabbit needs the cow. If something visits the cow and it is nice then the cow chases the mouse. If something is nice and it chases the cow then it needs the cow. If the rabbit is red and the rabbit visits the mouse then the rabbit is kind. If something chases the cow then it visits the mouse. If something chases the cow then it visits the cat. If the mouse needs the rabbit and the rabbit visits the mouse then the rabbit is red.
The cow does not visit the cat.
@0: The cat chases the cow.[(triple1)] The cat chases the rabbit.[(triple2)] The cat is nice.[(triple3)] The cat needs the cow.[(triple4 OR ((triple3 triple1) -> rule2))] The cat visits the rabbit.[(triple5)] The cow is nice.[(triple6)] The cow is red.[(triple7)] The cow needs the cat.[(triple8)] The cow visits the cat.[(triple9)] The mouse chases the cow.[(triple10)] The mouse chases the rabbit.[(triple11)] The mouse is kind.[(triple12)] The mouse needs the rabbit.[(triple13)] The rabbit chases the cow.[(triple14)] The rabbit needs the cow.[(triple15)] @1: The cat visits the cat.[(((triple1) -> rule5))] The cat visits the mouse.[(((triple1) -> rule4))] The mouse visits the cat.[(((triple10) -> rule5))] The mouse visits the mouse.[(((triple10) -> rule4))] The rabbit visits the cat.[(((triple14) -> rule5))] The rabbit visits the mouse.[(((triple14) -> rule4))] @2: The rabbit is red.[(((triple13 ((triple14) -> rule4)) -> rule6))] @3: The rabbit is kind.[(((((triple13 ((triple14) -> rule4)) -> rule6) ((triple14) -> rule4)) -> rule3))]