The bear is green. The bear is not round. The bear likes the mouse. The bear sees the mouse. The mouse does not eat the bear. The mouse is green. The mouse is rough. If someone sees the mouse and they like the bear then they do not like the mouse. If someone is kind and rough then they do not see the bear. If someone likes the mouse then the mouse is green. If someone sees the mouse then the mouse likes the bear. If the mouse is green then the mouse is kind. If someone is green and not round then they eat the mouse. If someone likes the bear then they see the mouse. If the mouse eats the bear then the bear likes the mouse.
The mouse does not see the bear.
@0: The bear is green.[(triple1)] The bear is not round.[(triple2)] The bear likes the mouse.[(triple3)] The bear sees the mouse.[(triple4)] The mouse does not eat the bear.[(triple5)] The mouse is green.[(triple6 OR ((triple3) -> rule3))] The mouse is rough.[(triple7)] @1: The bear eats the mouse.[(((triple1 triple2) -> rule6))] The mouse is kind.[(((triple6) -> rule5) OR ((((triple3) -> rule3)) -> rule5))] The mouse likes the bear.[(((triple4) -> rule4))] @2: The mouse does not see the bear.[(((((triple6) -> rule5) triple7) -> rule2) OR ((((((triple3) -> rule3)) -> rule5) triple7) -> rule2))] The mouse sees the mouse.[(((((triple4) -> rule4)) -> rule7))] @3: The mouse does not like the mouse.[(((((((triple4) -> rule4)) -> rule7) ((triple4) -> rule4)) -> rule1))]