The bear eats the mouse. The bear is big. The bear is cold. The bear is green. The bear is nice. The bear is young. The bear likes the mouse. The bear visits the mouse. The mouse eats the bear. The mouse is big. The mouse is cold. The mouse is green. The mouse is nice. The mouse likes the bear. The mouse visits the bear. If someone eats the bear then the bear is green. If someone likes the mouse and they are nice then they eat the bear. If someone eats the bear and the bear visits the mouse then the mouse likes the bear.
The bear is not nice.
@0: The bear eats the mouse.[(triple1)] The bear is big.[(triple2)] The bear is cold.[(triple3)] The bear is green.[(triple4 OR ((triple9) -> rule1) OR ((((triple7 triple5) -> rule2)) -> rule1))] The bear is nice.[(triple5)] The bear is young.[(triple6)] The bear likes the mouse.[(triple7)] The bear visits the mouse.[(triple8)] The mouse eats the bear.[(triple9)] The mouse is big.[(triple10)] The mouse is cold.[(triple11)] The mouse is green.[(triple12)] The mouse is nice.[(triple13)] The mouse likes the bear.[(triple14 OR ((triple9 triple8) -> rule3) OR ((((triple7 triple5) -> rule2) triple8) -> rule3))] The mouse visits the bear.[(triple15)] @1: The bear eats the bear.[(((triple7 triple5) -> rule2))]