The mouse eats the tiger. The mouse is big. The mouse is nice. The mouse likes the tiger. The mouse sees the tiger. The tiger eats the mouse. The tiger is big. If the mouse is big then the mouse eats the tiger. If something is cold then it sees the tiger. If something is nice and it sees the mouse then it sees the tiger. If the mouse eats the tiger then the tiger is nice. If the tiger eats the mouse then the mouse eats the tiger. If something is nice then it is cold. If something eats the mouse then it is round. If the mouse is big and the mouse is nice then the mouse sees the tiger.
The tiger sees the tiger.
@0: The mouse eats the tiger.[(triple1 OR ((triple2) -> rule1) OR ((triple6) -> rule5))] The mouse is big.[(triple2)] The mouse is nice.[(triple3)] The mouse likes the tiger.[(triple4)] The mouse sees the tiger.[(triple5 OR ((triple2 triple3) -> rule8) OR ((((triple3) -> rule6)) -> rule2))] The tiger eats the mouse.[(triple6)] The tiger is big.[(triple7)] @1: The mouse is cold.[(((triple3) -> rule6))] The tiger is nice.[(((triple1) -> rule4) OR ((((triple2) -> rule1)) -> rule4) OR ((((triple6) -> rule5)) -> rule4))] The tiger is round.[(((triple6) -> rule7))] @2: The tiger is cold.[(((((triple1) -> rule4)) -> rule6) OR ((((((triple2) -> rule1)) -> rule4)) -> rule6) OR ((((((triple6) -> rule5)) -> rule4)) -> rule6))] @3: The tiger sees the tiger.[(((((((triple1) -> rule4)) -> rule6)) -> rule2) OR ((((((((triple2) -> rule1)) -> rule4)) -> rule6)) -> rule2) OR ((((((((triple6) -> rule5)) -> rule4)) -> rule6)) -> rule2))]