The mouse chases the tiger. The mouse eats the tiger. The mouse is kind. The mouse is rough. The mouse is young. The mouse likes the tiger. The tiger chases the mouse. The tiger eats the mouse. The tiger is kind. The tiger likes the mouse. If the tiger chases the mouse and the mouse chases the tiger then the tiger is young. If something eats the tiger then it chases the tiger. If something eats the tiger then it likes the mouse.
The mouse is kind.
@0: The mouse chases the tiger.[(triple1 OR ((triple2) -> rule2))] The mouse eats the tiger.[(triple2)] The mouse is kind.[(triple3)] The mouse is rough.[(triple4)] The mouse is young.[(triple5)] The mouse likes the tiger.[(triple6)] The tiger chases the mouse.[(triple7)] The tiger eats the mouse.[(triple8)] The tiger is kind.[(triple9)] The tiger likes the mouse.[(triple10)] @1: The mouse likes the mouse.[(((triple2) -> rule3))] The tiger is young.[(((triple7 triple1) -> rule1) OR ((triple7 ((triple2) -> rule2)) -> rule1))]