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