The bear eats the mouse. The bear eats the rabbit. The bear is big. The bear likes the mouse. The bear needs the mouse. The bear does not need the rabbit. The mouse eats the rabbit. The mouse is not young. The mouse likes the rabbit. The rabbit eats the bear. The rabbit eats the mouse. The rabbit is blue. The rabbit is kind. The rabbit likes the bear. The rabbit needs the bear. The rabbit needs the mouse. If something needs the mouse then the mouse does not need the bear. If something likes the rabbit and the rabbit needs the bear then it is not young. If something needs the mouse and it likes the mouse then it likes the rabbit.
The rabbit does not like the mouse.
@0: The bear does not need the rabbit.[(triple6)] The bear eats the mouse.[(triple1)] The bear eats the rabbit.[(triple2)] The bear is big.[(triple3)] The bear likes the mouse.[(triple4)] The bear needs the mouse.[(triple5)] The mouse eats the rabbit.[(triple7)] The mouse is not young.[(triple8 OR ((triple9 triple15) -> rule2))] The mouse likes the rabbit.[(triple9)] The rabbit eats the bear.[(triple10)] The rabbit eats the mouse.[(triple11)] The rabbit is blue.[(triple12)] The rabbit is kind.[(triple13)] The rabbit likes the bear.[(triple14)] The rabbit needs the bear.[(triple15)] The rabbit needs the mouse.[(triple16)] @1: The bear likes the rabbit.[(((triple5 triple4) -> rule3))] The mouse does not need the bear.[(((triple16) -> rule1) OR ((triple5) -> rule1))] @2: The bear is not young.[(((((triple5 triple4) -> rule3) triple15) -> rule2))]