The cow is blue. The cow is nice. The cow needs the dog. The dog does not need the cow. The dog needs the mouse. The dog visits the cow. The mouse is blue. The mouse is nice. The mouse is rough. The mouse needs the cow. If someone needs the cow then the cow likes the mouse. If someone visits the cow then they visit the mouse. If someone is blue then they visit the cow.
The mouse is blue.
@0: The cow is blue.[(triple1)] The cow is nice.[(triple2)] The cow needs the dog.[(triple3)] The dog does not need the cow.[(triple4)] The dog needs the mouse.[(triple5)] The dog visits the cow.[(triple6)] The mouse is blue.[(triple7)] The mouse is nice.[(triple8)] The mouse is rough.[(triple9)] The mouse needs the cow.[(triple10)] @1: The cow likes the mouse.[(((triple10) -> rule1))] The cow visits the cow.[(((triple1) -> rule3))] The dog visits the mouse.[(((triple6) -> rule2))] The mouse visits the cow.[(((triple7) -> rule3))] @2: The cow visits the mouse.[(((((triple1) -> rule3)) -> rule2))] The mouse visits the mouse.[(((((triple7) -> rule3)) -> rule2))]