The lion is cold. The lion sees the mouse. The lion visits the mouse. The mouse eats the lion. The mouse is nice. The mouse sees the lion. The mouse visits the lion. If something sees the lion and the lion sees the mouse then the lion visits the mouse. If something sees the lion then the lion eats the mouse. If the lion eats the mouse then the lion is blue. If the lion eats the mouse and the lion sees the mouse then the mouse sees the lion. If something visits the lion and it eats the mouse then it eats the lion. If something is blue and it eats the mouse then the mouse is blue.
The lion is blue.
@0: The lion is cold.[(triple1)] The lion sees the mouse.[(triple2)] The lion visits the mouse.[(triple3 OR ((triple6 triple2) -> rule1))] The mouse eats the lion.[(triple4)] The mouse is nice.[(triple5)] The mouse sees the lion.[(triple6)] The mouse visits the lion.[(triple7)] @1: The lion eats the mouse.[(((triple6) -> rule2))] @2: The lion is blue.[(((((triple6) -> rule2)) -> rule3))] @3: The mouse is blue.[(((((((triple6) -> rule2)) -> rule3) ((triple6) -> rule2)) -> rule6))]