The bear eats the mouse. The bear is nice. The bear needs the mouse. The mouse eats the bear. The mouse is big. The mouse needs the bear. The mouse visits the bear. If someone needs the bear and the bear is kind then they eat the bear. If the bear does not eat the mouse then the bear visits the mouse. If the mouse needs the bear and the mouse is big then the bear visits the mouse. Nice people are kind. All rough people are big. If someone is big and not round then they do not need the bear. If the mouse eats the bear then the mouse needs the bear. If the bear is kind and the bear is not big then the bear needs the mouse.
The mouse does not need the bear.
@0: The bear eats the mouse.[(triple1)] The bear is nice.[(triple2)] The bear needs the mouse.[(triple3)] The mouse eats the bear.[(triple4 OR ((triple6 ((triple2) -> rule4)) -> rule1))] The mouse is big.[(triple5)] The mouse needs the bear.[(triple6 OR ((triple4) -> rule7))] The mouse visits the bear.[(triple7)] @1: The bear is kind.[(((triple2) -> rule4))] The bear visits the mouse.[(((triple6 triple5) -> rule3) OR ((((triple4) -> rule7) triple5) -> rule3))]