The bear eats the mouse. The bear is kind. The bear is red. The bear is young. The bear likes the mouse. The bear does not visit the mouse. The mouse eats the bear. The mouse is cold. The mouse is kind. The mouse is red. The mouse does not like the bear. The mouse does not visit the bear. If something likes the bear then the bear likes the mouse. If something is kind then it is not rough. If something is young then it likes the bear. If something visits the mouse then the mouse eats the bear. If the mouse likes the bear and the mouse does not visit the bear then the mouse eats the bear. If the mouse is young and the mouse visits the bear then the mouse is not cold. If something visits the bear then it is not cold. If something is red and not rough then it eats the bear.
The bear is cold.
@0: The bear does not visit the mouse.[(triple6)] The bear eats the mouse.[(triple1)] The bear is kind.[(triple2)] The bear is red.[(triple3)] The bear is young.[(triple4)] The bear likes the mouse.[(triple5 OR ((((triple4) -> rule3)) -> rule1))] The mouse does not like the bear.[(triple11)] The mouse does not visit the bear.[(triple12)] The mouse eats the bear.[(triple7 OR ((triple10 ((triple9) -> rule2)) -> rule8))] The mouse is cold.[(triple8)] The mouse is kind.[(triple9)] The mouse is red.[(triple10)] @1: The bear is not rough.[(((triple2) -> rule2))] The bear likes the bear.[(((triple4) -> rule3))] The mouse is not rough.[(((triple9) -> rule2))] @2: The bear eats the bear.[(((triple3 ((triple2) -> rule2)) -> rule8))]