The mouse eats the tiger. The mouse is kind. The mouse is nice. The mouse is red. The mouse is round. The mouse is young. The mouse likes the tiger. The mouse sees the tiger. The tiger eats the mouse. The tiger is kind. The tiger is nice. The tiger is red. The tiger is round. The tiger likes the mouse. The tiger sees the mouse. If something is kind then it likes the tiger. If something likes the mouse then it eats the mouse. If something likes the tiger and the tiger eats the mouse then it eats the tiger.
The tiger does not like the tiger.
@0: The mouse eats the tiger.[(triple1 OR ((triple7 triple9) -> rule3) OR ((triple7 ((triple14) -> rule2)) -> rule3) OR ((((triple2) -> rule1) triple9) -> rule3) OR ((((triple2) -> rule1) ((triple14) -> rule2)) -> rule3))] The mouse is kind.[(triple2)] The mouse is nice.[(triple3)] The mouse is red.[(triple4)] The mouse is round.[(triple5)] The mouse is young.[(triple6)] The mouse likes the tiger.[(triple7 OR ((triple2) -> rule1))] The mouse sees the tiger.[(triple8)] The tiger eats the mouse.[(triple9 OR ((triple14) -> rule2))] The tiger is kind.[(triple10)] The tiger is nice.[(triple11)] The tiger is red.[(triple12)] The tiger is round.[(triple13)] The tiger likes the mouse.[(triple14)] The tiger sees the mouse.[(triple15)] @1: The tiger likes the tiger.[(((triple10) -> rule1))] @2: The tiger eats the tiger.[(((((triple10) -> rule1) triple9) -> rule3) OR ((((triple10) -> rule1) ((triple14) -> rule2)) -> rule3))]