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