The cow needs the dog. The cow needs the mouse. The dog is blue. The dog likes the cow. The dog likes the mouse. The dog needs the mouse. The dog visits the mouse. The mouse is round. The mouse likes the cow. The mouse needs the cow. If someone likes the mouse then they like the dog. If someone needs the dog and the dog likes the mouse then they visit the dog. If someone needs the dog then the dog is blue. If someone visits the dog and the dog likes the mouse then they need the cow. If someone likes the cow then the cow is blue. If someone likes the cow then they need the dog.
The dog is nice.
@0: The cow needs the dog.[(triple1)] The cow needs the mouse.[(triple2)] The dog is blue.[(triple3 OR ((triple1) -> rule3) OR ((((triple4) -> rule6)) -> rule3) OR ((((triple9) -> rule6)) -> rule3))] The dog likes the cow.[(triple4)] The dog likes the mouse.[(triple5)] The dog needs the mouse.[(triple6)] The dog visits the mouse.[(triple7)] The mouse is round.[(triple8)] The mouse likes the cow.[(triple9)] The mouse needs the cow.[(triple10 OR ((((((triple9) -> rule6) triple5) -> rule2) triple5) -> rule4))] @1: The cow is blue.[(((triple4) -> rule5) OR ((triple9) -> rule5))] The cow visits the dog.[(((triple1 triple5) -> rule2))] The dog likes the dog.[(((triple5) -> rule1))] The dog needs the dog.[(((triple4) -> rule6))] The mouse needs the dog.[(((triple9) -> rule6))] @2: The cow needs the cow.[(((((triple1 triple5) -> rule2) triple5) -> rule4))] The dog visits the dog.[(((((triple4) -> rule6) triple5) -> rule2))] The mouse visits the dog.[(((((triple9) -> rule6) triple5) -> rule2))] @3: The dog needs the cow.[(((((((triple4) -> rule6) triple5) -> rule2) triple5) -> rule4))]