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