The bear is blue. The bear is not green. The bear likes the mouse. The mouse is blue. The mouse is green. The mouse is nice. The mouse is round. The mouse likes the bear. The mouse needs the bear. The mouse sees the bear. If the mouse is round and the mouse sees the bear then the bear sees the mouse. If someone likes the bear then they need the bear. If someone sees the mouse then they do not see the bear. If someone is blue and they do not see the bear then the bear needs the mouse. If someone likes the bear and they need the bear then the bear likes the mouse. If the bear does not see the mouse then the bear likes the mouse.
The bear needs the mouse.
@0: The bear is blue.[(triple1)] The bear is not green.[(triple2)] The bear likes the mouse.[(triple3 OR ((triple8 triple9) -> rule5) OR ((triple8 ((triple8) -> rule2)) -> rule5))] The mouse is blue.[(triple4)] The mouse is green.[(triple5)] The mouse is nice.[(triple6)] The mouse is round.[(triple7)] The mouse likes the bear.[(triple8)] The mouse needs the bear.[(triple9 OR ((triple8) -> rule2))] The mouse sees the bear.[(triple10)] @1: The bear sees the mouse.[(((triple7 triple10) -> rule1))] @2: The bear does not see the bear.[(((((triple7 triple10) -> rule1)) -> rule3))] @3: The bear needs the mouse.[(((triple1 ((((triple7 triple10) -> rule1)) -> rule3)) -> rule4))]