The bear is cold. The bear is young. The cow eats the mouse. The cow is cold. The cow needs the mouse. The lion is not red. The lion is round. The lion likes the mouse. The lion does not need the bear. The lion needs the cow. The mouse eats the cow. The mouse eats the lion. The mouse is young. The mouse likes the lion. The mouse needs the cow. If something eats the lion and the lion is young then it needs the mouse. If something eats the cow and it likes the bear then the bear is red. If something eats the bear then the bear is not red. If the lion likes the mouse then the lion is cold. If something likes the cow and the cow needs the lion then the lion needs the bear. If something likes the mouse and it is round then it eats the bear. If something is young and not big then it does not need the cow. If something eats the cow and the cow needs the lion then the cow is not round.
The lion does not need the bear.
@0: The bear is cold.[(triple1)] The bear is young.[(triple2)] The cow eats the mouse.[(triple3)] The cow is cold.[(triple4)] The cow needs the mouse.[(triple5)] The lion does not need the bear.[(triple9)] The lion is not red.[(triple6)] The lion is round.[(triple7)] The lion likes the mouse.[(triple8)] The lion needs the cow.[(triple10)] The mouse eats the cow.[(triple11)] The mouse eats the lion.[(triple12)] The mouse is young.[(triple13)] The mouse likes the lion.[(triple14)] The mouse needs the cow.[(triple15)] @1: The lion eats the bear.[(((triple8 triple7) -> rule6))] The lion is cold.[(((triple8) -> rule4))] @2: The bear is not red.[(((((triple8 triple7) -> rule6)) -> rule3))]