The bear needs the cow. The cow eats the dog. The cow is young. The cow visits the mouse. The dog eats the bear. The mouse visits the cow. The mouse visits the dog. If someone needs the bear then they are blue. If someone visits the cow then they are round. If someone eats the dog and they do not need the bear then they are young. If someone visits the dog and the dog eats the bear then the dog is not nice. If the dog needs the cow then the dog is big. If the dog eats the mouse and the mouse does not eat the dog then the mouse eats the cow. If the bear is big and the bear is not round then the bear does not need the cow. If someone needs the cow and they are blue then they need the mouse.
The mouse visits the mouse.
@0: The bear needs the cow.[(triple1)] The cow eats the dog.[(triple2)] The cow is young.[(triple3)] The cow visits the mouse.[(triple4)] The dog eats the bear.[(triple5)] The mouse visits the cow.[(triple6)] The mouse visits the dog.[(triple7)] @1: The dog is not nice.[(((triple7 triple5) -> rule4))] The mouse is round.[(((triple6) -> rule2))]