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