The bear is nice. The bear needs the lion. The bear needs the mouse. The bear visits the lion. The lion eats the bear. The lion eats the mouse. The lion is nice. The lion is round. The lion needs the bear. The lion needs the mouse. The lion visits the bear. The lion visits the mouse. The mouse eats the bear. The mouse is cold. The mouse visits the lion. If something is big then it does not visit the lion. If the mouse eats the bear then the bear needs the mouse. If something is nice and it visits the mouse then it eats the lion. If something eats the mouse and it needs the lion then the mouse does not eat the lion. If something eats the bear and the bear needs the mouse then the mouse is not blue. If something eats the lion and it visits the lion then it does not eat the bear. If something is big and it needs the lion then the lion does not need the mouse. If something is blue and nice then it does not need the bear.
The bear is cold.
@0: The bear is nice.[(triple1)] The bear needs the lion.[(triple2)] The bear needs the mouse.[(triple3 OR ((triple13) -> rule2))] The bear visits the lion.[(triple4)] The lion eats the bear.[(triple5)] The lion eats the mouse.[(triple6)] The lion is nice.[(triple7)] The lion is round.[(triple8)] The lion needs the bear.[(triple9)] The lion needs the mouse.[(triple10)] The lion visits the bear.[(triple11)] The lion visits the mouse.[(triple12)] The mouse eats the bear.[(triple13)] The mouse is cold.[(triple14)] The mouse visits the lion.[(triple15)] @1: The lion eats the lion.[(((triple7 triple12) -> rule3))] The mouse is not blue.[(((triple13 triple3) -> rule5) OR ((triple5 triple3) -> rule5) OR ((triple13 ((triple13) -> rule2)) -> rule5) OR ((triple5 ((triple13) -> rule2)) -> rule5))]