The bear is not cold. The bear likes the mouse. The bear sees the mouse. The lion eats the bear. The lion eats the mouse. The lion is cold. The lion likes the bear. The lion sees the bear. The mouse eats the lion. The mouse is cold. The mouse is not kind. The mouse is nice. The mouse likes the bear. The mouse does not like the lion. The mouse sees the bear. The mouse sees the lion. If someone is cold then they eat the bear. If someone sees the mouse and the mouse does not see the bear then the bear sees the mouse. If someone is rough then they eat the mouse. If someone is cold then they eat the mouse. If someone eats the lion and the lion sees the mouse then they do not eat the mouse. If someone eats the bear and the bear does not see the mouse then the bear eats the mouse.
The bear does not eat the mouse.
@0: The bear is not cold.[(triple1)] The bear likes the mouse.[(triple2)] The bear sees the mouse.[(triple3)] The lion eats the bear.[(triple4 OR ((triple6) -> rule1))] The lion eats the mouse.[(triple5 OR ((triple6) -> rule4))] The lion is cold.[(triple6)] The lion likes the bear.[(triple7)] The lion sees the bear.[(triple8)] The mouse does not like the lion.[(triple14)] The mouse eats the lion.[(triple9)] The mouse is cold.[(triple10)] The mouse is nice.[(triple12)] The mouse is not kind.[(triple11)] The mouse likes the bear.[(triple13)] The mouse sees the bear.[(triple15)] The mouse sees the lion.[(triple16)] @1: The mouse eats the bear.[(((triple10) -> rule1))] The mouse eats the mouse.[(((triple10) -> rule4))]