The bear chases the rabbit. The bear chases the squirrel. The bear eats the rabbit. The bear is blue. The bear is rough. The bear sees the mouse. The bear sees the rabbit. The mouse chases the rabbit. The mouse eats the rabbit. The mouse is nice. The mouse is rough. The mouse sees the squirrel. The rabbit chases the bear. The rabbit chases the squirrel. The rabbit eats the bear. The squirrel is blue. If something eats the mouse then the mouse chases the bear. If something chases the squirrel and it is nice then the squirrel chases the mouse. If something chases the rabbit then it chases the bear. If something is red and it sees the bear then it is blue. If the rabbit is red then the rabbit chases the squirrel. If the mouse is cold and the mouse eats the bear then the bear is cold.
The rabbit does not chase the bear.
@0: The bear chases the rabbit.[(triple1)] The bear chases the squirrel.[(triple2)] The bear eats the rabbit.[(triple3)] The bear is blue.[(triple4)] The bear is rough.[(triple5)] The bear sees the mouse.[(triple6)] The bear sees the rabbit.[(triple7)] The mouse chases the rabbit.[(triple8)] The mouse eats the rabbit.[(triple9)] The mouse is nice.[(triple10)] The mouse is rough.[(triple11)] The mouse sees the squirrel.[(triple12)] The rabbit chases the bear.[(triple13)] The rabbit chases the squirrel.[(triple14)] The rabbit eats the bear.[(triple15)] The squirrel is blue.[(triple16)] @1: The bear chases the bear.[(((triple1) -> rule3))] The mouse chases the bear.[(((triple8) -> rule3))]