The bear chases the mouse. The bear is big. The bear is red. The bear likes the cow. The bear likes the mouse. The bear needs the cow. The bear needs the mouse. The cow chases the bear. The cow chases the mouse. The cow is big. The cow is blue. The cow is green. The cow needs the bear. The mouse is blue. The mouse needs the bear. The mouse needs the cow. If something likes the bear then the bear chases the cow. If the mouse is blue then the mouse likes the bear. If the mouse is blue and the mouse chases the cow then the cow needs the mouse. If the cow needs the mouse and the cow chases the bear then the bear is blue. If something likes the bear and the bear is blue then it is big. If something needs the mouse and it chases the bear then the bear chases the cow.
The mouse does not like the bear.
@0: The bear chases the mouse.[(triple1)] The bear is big.[(triple2)] The bear is red.[(triple3)] The bear likes the cow.[(triple4)] The bear likes the mouse.[(triple5)] The bear needs the cow.[(triple6)] The bear needs the mouse.[(triple7)] The cow chases the bear.[(triple8)] The cow chases the mouse.[(triple9)] The cow is big.[(triple10)] The cow is blue.[(triple11)] The cow is green.[(triple12)] The cow needs the bear.[(triple13)] The mouse is blue.[(triple14)] The mouse needs the bear.[(triple15)] The mouse needs the cow.[(triple16)] @1: The mouse likes the bear.[(((triple14) -> rule2))] @2: The bear chases the cow.[(((((triple14) -> rule2)) -> rule1))]