The mouse chases the tiger. The mouse eats the tiger. The mouse is blue. The mouse is cold. The mouse is kind. The mouse is rough. The mouse visits the tiger. The tiger chases the mouse. The tiger eats the mouse. The tiger is blue. The tiger is cold. The tiger is kind. The tiger is rough. The tiger is young. The tiger visits the mouse. If something visits the mouse and the mouse chases the tiger then the tiger visits the mouse. If something visits the mouse then it is cold. If the mouse visits the tiger then the mouse is kind. If something is rough then it visits the mouse. If something is kind then it is young. If something is cold then it visits the tiger.
The tiger eats the tiger.
@0: The mouse chases the tiger.[(triple1)] The mouse eats the tiger.[(triple2)] The mouse is blue.[(triple3)] The mouse is cold.[(triple4 OR ((((triple6) -> rule4)) -> rule2))] The mouse is kind.[(triple5 OR ((triple7) -> rule3) OR ((((triple4) -> rule6)) -> rule3) OR ((((((((triple6) -> rule4)) -> rule2)) -> rule6)) -> rule3))] The mouse is rough.[(triple6)] The mouse visits the tiger.[(triple7 OR ((triple4) -> rule6) OR ((((((triple6) -> rule4)) -> rule2)) -> rule6))] The tiger chases the mouse.[(triple8)] The tiger eats the mouse.[(triple9)] The tiger is blue.[(triple10)] The tiger is cold.[(triple11 OR ((triple15) -> rule2) OR ((((triple13) -> rule4)) -> rule2) OR ((((((triple6) -> rule4) triple1) -> rule1)) -> rule2))] The tiger is kind.[(triple12)] The tiger is rough.[(triple13)] The tiger is young.[(triple14 OR ((triple12) -> rule5))] The tiger visits the mouse.[(triple15 OR ((triple13) -> rule4) OR ((((triple6) -> rule4) triple1) -> rule1))] @1: The mouse is young.[(((triple5) -> rule5) OR ((((triple7) -> rule3)) -> rule5) OR ((((((triple4) -> rule6)) -> rule3)) -> rule5) OR ((((((((((triple6) -> rule4)) -> rule2)) -> rule6)) -> rule3)) -> rule5))] The mouse visits the mouse.[(((triple6) -> rule4))] The tiger visits the tiger.[(((triple11) -> rule6) OR ((((triple15) -> rule2)) -> rule6) OR ((((((triple13) -> rule4)) -> rule2)) -> rule6) OR ((((((((triple6) -> rule4) triple1) -> rule1)) -> rule2)) -> rule6))]