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