The mouse chases the tiger. The mouse eats the tiger. The mouse is big. The mouse is green. The mouse is red. The mouse is round. 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 green. The tiger is red. The tiger is round. The tiger likes the mouse. If the mouse likes the tiger and the mouse chases the tiger then the tiger likes the mouse. If the mouse chases the tiger then the tiger is cold.
The tiger eats the mouse.
@0: The mouse chases the tiger.[(triple1)] The mouse eats the tiger.[(triple2)] The mouse is big.[(triple3)] The mouse is green.[(triple4)] The mouse is red.[(triple5)] The mouse is round.[(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 OR ((triple1) -> rule2))] The tiger is green.[(triple12)] The tiger is red.[(triple13)] The tiger is round.[(triple14)] The tiger likes the mouse.[(triple15 OR ((triple7 triple1) -> rule1))]