The bear eats the mouse. The bear is big. The bear is blue. The bear is cold. The bear is rough. The bear is round. The bear likes the mouse. The bear sees the mouse. The mouse eats the bear. The mouse is big. The mouse is blue. The mouse is cold. The mouse is rough. The mouse is round. The mouse likes the bear. The mouse sees the bear. If something eats the bear and it is rough then it eats the mouse. If something likes the mouse then it eats the mouse.
The mouse does not like the mouse.
@0: The bear eats the mouse.[(triple1 OR ((triple7) -> rule2))] The bear is big.[(triple2)] The bear is blue.[(triple3)] The bear is cold.[(triple4)] The bear is rough.[(triple5)] The bear is round.[(triple6)] The bear likes the mouse.[(triple7)] The bear sees the mouse.[(triple8)] The mouse eats the bear.[(triple9)] The mouse is big.[(triple10)] The mouse is blue.[(triple11)] The mouse is cold.[(triple12)] The mouse is rough.[(triple13)] The mouse is round.[(triple14)] The mouse likes the bear.[(triple15)] The mouse sees the bear.[(triple16)] @1: The mouse eats the mouse.[(((triple9 triple13) -> rule1))]