The cow likes the dog. The cow likes the mouse. The cow needs the dog. The dog visits the cow. The dog visits the mouse. The mouse is big. The mouse is blue. The mouse is nice. The mouse is round. The mouse likes the cow. The mouse likes the dog. The mouse needs the cow. The mouse needs the dog. The mouse visits the cow. The mouse visits the dog. If the mouse needs the dog and the mouse is round then the dog is round. Round things are nice.
The cow does not need the mouse.
@0: The cow likes the dog.[(triple1)] The cow likes the mouse.[(triple2)] The cow needs the dog.[(triple3)] The dog visits the cow.[(triple4)] The dog visits the mouse.[(triple5)] The mouse is big.[(triple6)] The mouse is blue.[(triple7)] The mouse is nice.[(triple8 OR ((triple9) -> rule2))] The mouse is round.[(triple9)] The mouse likes the cow.[(triple10)] The mouse likes the dog.[(triple11)] The mouse needs the cow.[(triple12)] The mouse needs the dog.[(triple13)] The mouse visits the cow.[(triple14)] The mouse visits the dog.[(triple15)] @1: The dog is round.[(((triple13 triple9) -> rule1))] @2: The dog is nice.[(((((triple13 triple9) -> rule1)) -> rule2))]