The squirrel chases the tiger. The squirrel eats the tiger. The squirrel is big. The squirrel is cold. The squirrel is green. The squirrel is red. The squirrel is round. The squirrel likes the tiger. The tiger chases the squirrel. The tiger eats the squirrel. The tiger is big. The tiger is cold. The tiger is green. The tiger is red. The tiger is round. The tiger likes the squirrel. If something likes the tiger and the tiger chases the squirrel then the squirrel chases the tiger. Big things are red.
The squirrel does not eat the tiger.
@0: The squirrel chases the tiger.[(triple1 OR ((triple8 triple9) -> rule1))] The squirrel eats the tiger.[(triple2)] The squirrel is big.[(triple3)] The squirrel is cold.[(triple4)] The squirrel is green.[(triple5)] The squirrel is red.[(triple6 OR ((triple3) -> rule2))] The squirrel is round.[(triple7)] The squirrel likes the tiger.[(triple8)] The tiger chases the squirrel.[(triple9)] The tiger eats the squirrel.[(triple10)] The tiger is big.[(triple11)] The tiger is cold.[(triple12)] The tiger is green.[(triple13)] The tiger is red.[(triple14 OR ((triple11) -> rule2))] The tiger is round.[(triple15)] The tiger likes the squirrel.[(triple16)]