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