The bear eats the mouse. The bear is cold. The bear likes the dog. The bear likes the squirrel. The bear does not see the squirrel. The dog eats the bear. The dog sees the bear. The mouse eats the dog. The mouse eats the squirrel. The mouse likes the dog. The mouse sees the dog. The squirrel eats the bear. The squirrel is big. The squirrel sees the bear. The squirrel sees the dog. If the squirrel does not see the dog then the dog sees the bear. Cold people are not red. If someone eats the mouse then they like the dog. If the squirrel is big and the squirrel sees the mouse then the squirrel eats the bear. If someone eats the bear and the bear likes the mouse then they are not blue. If someone sees the dog then the dog sees the mouse.
The dog does not like the dog.
@0: The bear does not see the squirrel.[(triple5)] The bear eats the mouse.[(triple1)] The bear is cold.[(triple2)] The bear likes the dog.[(triple3 OR ((triple1) -> rule3))] The bear likes the squirrel.[(triple4)] The dog eats the bear.[(triple6)] The dog sees the bear.[(triple7)] The mouse eats the dog.[(triple8)] The mouse eats the squirrel.[(triple9)] The mouse likes the dog.[(triple10)] The mouse sees the dog.[(triple11)] The squirrel eats the bear.[(triple12)] The squirrel is big.[(triple13)] The squirrel sees the bear.[(triple14)] The squirrel sees the dog.[(triple15)] @1: The bear is not red.[(((triple2) -> rule2))] The dog sees the mouse.[(((triple11) -> rule6) OR ((triple15) -> rule6))]