The bear likes the mouse. The mouse eats the bear. The mouse is blue. The mouse is cold. The mouse is nice. The mouse likes the bear. The mouse sees the bear. If the mouse eats the bear then the mouse is nice. If someone eats the mouse then they see the bear. If someone likes the mouse then the mouse is kind. If someone likes the mouse and the mouse likes the bear then they like the bear. If someone likes the bear then they like the mouse. If someone likes the mouse and the mouse eats the bear then the mouse is kind. If someone eats the mouse and they are blue then they are nice. If someone is kind and they like the bear then they see the bear.
The mouse eats the mouse.
@0: The bear likes the mouse.[(triple1)] The mouse eats the bear.[(triple2)] The mouse is blue.[(triple3)] The mouse is cold.[(triple4)] The mouse is nice.[(triple5 OR ((triple2) -> rule1))] The mouse likes the bear.[(triple6)] The mouse sees the bear.[(triple7 OR ((((triple1) -> rule3) triple6) -> rule8) OR ((((triple1 triple2) -> rule6) triple6) -> rule8) OR ((((((triple6) -> rule5)) -> rule3) triple6) -> rule8) OR ((((((triple6) -> rule5) triple2) -> rule6) triple6) -> rule8))] @1: The bear likes the bear.[(((triple1 triple6) -> rule4))] The mouse is kind.[(((triple1) -> rule3) OR ((triple1 triple2) -> rule6) OR ((((triple6) -> rule5)) -> rule3) OR ((((triple6) -> rule5) triple2) -> rule6))] The mouse likes the mouse.[(((triple6) -> rule5))]