The bear chases the mouse. The bear eats the cat. The bear is green. The bear is round. The cat eats the dog. The cat eats the mouse. The cat needs the mouse. The dog chases the mouse. The dog eats the bear. The dog is green. The mouse chases the cat. The mouse chases the dog. If something is cold and it chases the dog then it chases the cat. If the mouse chases the bear then the mouse eats the dog. If something is rough and it eats the mouse then it chases the bear. If something is round and green then it eats the bear. If something eats the bear and it eats the dog then the dog is green. If something chases the dog then the dog needs the cat. If something needs the mouse and it is cold then the mouse is rough. If something chases the mouse and it is cold then the mouse eats the dog.
The dog eats the dog.
@0: The bear chases the mouse.[(triple1)] The bear eats the cat.[(triple2)] The bear is green.[(triple3)] The bear is round.[(triple4)] The cat eats the dog.[(triple5)] The cat eats the mouse.[(triple6)] The cat needs the mouse.[(triple7)] The dog chases the mouse.[(triple8)] The dog eats the bear.[(triple9)] The dog is green.[(triple10)] The mouse chases the cat.[(triple11)] The mouse chases the dog.[(triple12)] @1: The bear eats the bear.[(((triple4 triple3) -> rule4))] The dog needs the cat.[(((triple12) -> rule6))]