The cow is green. The cow does not see the dog. The cow visits the dog. The cow visits the mouse. The dog is nice. The dog does not see the cow. The dog visits the cow. The mouse is blue. The mouse is nice. The mouse needs the dog. The mouse sees the dog. The mouse visits the dog. The mouse does not visit the rabbit. The rabbit sees the dog. The rabbit does not visit the mouse. If someone is blue and they do not visit the mouse then they visit the dog. Nice people are blue. If the rabbit visits the cow then the cow is not red.
The dog does not visit the dog.
@0: The cow does not see the dog.[(triple2)] The cow is green.[(triple1)] The cow visits the dog.[(triple3)] The cow visits the mouse.[(triple4)] The dog does not see the cow.[(triple6)] The dog is nice.[(triple5)] The dog visits the cow.[(triple7)] The mouse does not visit the rabbit.[(triple13)] The mouse is blue.[(triple8 OR ((triple9) -> rule2))] The mouse is nice.[(triple9)] The mouse needs the dog.[(triple10)] The mouse sees the dog.[(triple11)] The mouse visits the dog.[(triple12)] The rabbit does not visit the mouse.[(triple15)] The rabbit sees the dog.[(triple14)] @1: The dog is blue.[(((triple5) -> rule2))]