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