The bear eats the mouse. The bear is big. The bear is nice. The bear likes the mouse. The bear does not see the mouse. The mouse does not eat the bear. The mouse is not big. The mouse is not kind. The mouse is nice. The mouse is young. The mouse likes the bear. The mouse does not see the bear. If something sees the bear and it likes the bear then the bear eats the mouse. If something is kind then it eats the bear. If something eats the mouse then it is kind. If something sees the mouse then the mouse does not see the bear. If something sees the bear then it likes the bear. If something eats the bear then the bear is not cold.
The bear eats the mouse.
@0: The bear does not see the mouse.[(triple5)] The bear eats the mouse.[(triple1)] The bear is big.[(triple2)] The bear is nice.[(triple3)] The bear likes the mouse.[(triple4)] The mouse does not eat the bear.[(triple6)] The mouse does not see the bear.[(triple12)] The mouse is nice.[(triple9)] The mouse is not big.[(triple7)] The mouse is not kind.[(triple8)] The mouse is young.[(triple10)] The mouse likes the bear.[(triple11)] @1: The bear is kind.[(((triple1) -> rule3))] @2: The bear eats the bear.[(((((triple1) -> rule3)) -> rule2))] @3: The bear is not cold.[(((((((triple1) -> rule3)) -> rule2)) -> rule6))]