The mouse is blue. The mouse is cold. The mouse is green. The mouse is red. The mouse likes the rabbit. The mouse needs the rabbit. The mouse visits the rabbit. The rabbit is green. The rabbit likes the mouse. The rabbit needs the mouse. If something is green and it needs the mouse then it is nice. If something is red then it likes the rabbit. If something visits the rabbit and it is nice then it needs the rabbit. If something visits the mouse and it needs the rabbit then it needs the mouse. If something needs the rabbit then the rabbit visits the mouse. If something likes the rabbit and the rabbit likes the mouse then it visits the mouse.
The rabbit is blue.
@0: The mouse is blue.[(triple1)] The mouse is cold.[(triple2)] The mouse is green.[(triple3)] The mouse is red.[(triple4)] The mouse likes the rabbit.[(triple5 OR ((triple4) -> rule2))] The mouse needs the rabbit.[(triple6)] The mouse visits the rabbit.[(triple7)] The rabbit is green.[(triple8)] The rabbit likes the mouse.[(triple9)] The rabbit needs the mouse.[(triple10)] @1: The mouse visits the mouse.[(((triple5 triple9) -> rule6) OR ((((triple4) -> rule2) triple9) -> rule6))] The rabbit is nice.[(((triple8 triple10) -> rule1))] The rabbit visits the mouse.[(((triple6) -> rule5))] @2: The mouse needs the mouse.[(((((triple5 triple9) -> rule6) triple6) -> rule4) OR ((((((triple4) -> rule2) triple9) -> rule6) triple6) -> rule4))] @3: The mouse is nice.[(((triple3 ((((triple5 triple9) -> rule6) triple6) -> rule4)) -> rule1) OR ((triple3 ((((((triple4) -> rule2) triple9) -> rule6) triple6) -> rule4)) -> rule1))]