The bear is red. The bear needs the mouse. The bear needs the squirrel. The cat visits the bear. The mouse likes the bear. The mouse likes the cat. The squirrel is nice. The squirrel is red. The squirrel likes the mouse. The squirrel needs the mouse. If the bear likes the mouse and the bear visits the mouse then the bear visits the squirrel. All round things are nice. If the cat is round then the cat likes the bear. If something needs the cat then the cat is kind. If something is red then it needs the squirrel. Round things are nice.
The cat does not need the squirrel.
@0: The bear is red.[(triple1)] The bear needs the mouse.[(triple2)] The bear needs the squirrel.[(triple3 OR ((triple1) -> rule5))] The cat visits the bear.[(triple4)] The mouse likes the bear.[(triple5)] The mouse likes the cat.[(triple6)] The squirrel is nice.[(triple7)] The squirrel is red.[(triple8)] The squirrel likes the mouse.[(triple9)] The squirrel needs the mouse.[(triple10)] @1: The squirrel needs the squirrel.[(((triple8) -> rule5))]