The bear chases the cat. The bear chases the squirrel. The bear is blue. The bear likes the cat. The bear likes the mouse. The bear needs the cat. The bear needs the mouse. The cat is green. The mouse chases the cat. The mouse is green. The squirrel chases the bear. The squirrel chases the mouse. If the squirrel needs the mouse and the mouse likes the squirrel then the squirrel likes the cat. If something likes the cat then the cat is nice. If something is blue and it chases the squirrel then the squirrel likes the bear. If something likes the mouse then the mouse is kind. If something likes the mouse and the mouse likes the squirrel then the mouse likes the cat. If something likes the mouse then it chases the bear.
The squirrel does not like the cat.
@0: The bear chases the cat.[(triple1)] The bear chases the squirrel.[(triple2)] The bear is blue.[(triple3)] The bear likes the cat.[(triple4)] The bear likes the mouse.[(triple5)] The bear needs the cat.[(triple6)] The bear needs the mouse.[(triple7)] The cat is green.[(triple8)] The mouse chases the cat.[(triple9)] The mouse is green.[(triple10)] The squirrel chases the bear.[(triple11)] The squirrel chases the mouse.[(triple12)] @1: The bear chases the bear.[(((triple5) -> rule6))] The cat is nice.[(((triple4) -> rule2))] The mouse is kind.[(((triple5) -> rule4))] The squirrel likes the bear.[(((triple3 triple2) -> rule3))]