The bear chases the mouse. The bear chases the squirrel. The bear is red. The mouse chases the bear. The mouse is red. The mouse likes the bear. The mouse visits the bear. The mouse visits the squirrel. The squirrel chases the bear. The squirrel chases the mouse. The squirrel is big. The squirrel is cold. The squirrel is nice. The squirrel likes the mouse. The squirrel visits the bear. If someone chases the bear and the bear chases the mouse then the mouse is cold.
The mouse is not cold.
@0: The bear chases the mouse.[(triple1)] The bear chases the squirrel.[(triple2)] The bear is red.[(triple3)] The mouse chases the bear.[(triple4)] The mouse is red.[(triple5)] The mouse likes the bear.[(triple6)] The mouse visits the bear.[(triple7)] The mouse visits the squirrel.[(triple8)] The squirrel chases the bear.[(triple9)] The squirrel chases the mouse.[(triple10)] The squirrel is big.[(triple11)] The squirrel is cold.[(triple12)] The squirrel is nice.[(triple13)] The squirrel likes the mouse.[(triple14)] The squirrel visits the bear.[(triple15)] @1: The mouse is cold.[(((triple4 triple1) -> rule1) OR ((triple9 triple1) -> rule1))]