The mouse eats the tiger. The mouse is cold. The mouse is nice. The mouse is round. The mouse is young. The mouse likes the tiger. The mouse visits the tiger. The tiger eats the mouse. The tiger is cold. The tiger is nice. The tiger is rough. The tiger is round. The tiger is young. The tiger likes the mouse. The tiger visits the mouse. If someone is young and they visit the mouse then the mouse likes the tiger. If someone eats the tiger then they are cold. If someone eats the tiger then they like the mouse. If the mouse is young and the mouse is nice then the mouse is round. If someone is young and they visit the mouse then the mouse is nice. If someone visits the tiger and they visit the mouse then they are nice.
The tiger is rough.
@0: The mouse eats the tiger.[(triple1)] The mouse is cold.[(triple2 OR ((triple1) -> rule2))] The mouse is nice.[(triple3 OR ((triple13 triple15) -> rule5))] The mouse is round.[(triple4 OR ((triple5 triple3) -> rule4) OR ((triple5 ((triple13 triple15) -> rule5)) -> rule4))] The mouse is young.[(triple5)] The mouse likes the tiger.[(triple6 OR ((triple13 triple15) -> rule1))] The mouse visits the tiger.[(triple7)] The tiger eats the mouse.[(triple8)] The tiger is cold.[(triple9)] The tiger is nice.[(triple10)] The tiger is rough.[(triple11)] The tiger is round.[(triple12)] The tiger is young.[(triple13)] The tiger likes the mouse.[(triple14)] The tiger visits the mouse.[(triple15)] @1: The mouse likes the mouse.[(((triple1) -> rule3))]