The cat eats the tiger. The cat is nice. The cat does not need the rabbit. The rabbit needs the cat. The rabbit needs the tiger. The squirrel chases the cat. The squirrel chases the rabbit. The squirrel is big. The squirrel is blue. The squirrel is round. The squirrel needs the tiger. The tiger chases the cat. The tiger is blue. The tiger is round. The tiger needs the cat. If the tiger chases the cat then the tiger chases the squirrel. If something needs the tiger then the tiger eats the rabbit.
The squirrel is round.
@0: The cat does not need the rabbit.[(triple3)] The cat eats the tiger.[(triple1)] The cat is nice.[(triple2)] The rabbit needs the cat.[(triple4)] The rabbit needs the tiger.[(triple5)] The squirrel chases the cat.[(triple6)] The squirrel chases the rabbit.[(triple7)] The squirrel is big.[(triple8)] The squirrel is blue.[(triple9)] The squirrel is round.[(triple10)] The squirrel needs the tiger.[(triple11)] The tiger chases the cat.[(triple12)] The tiger is blue.[(triple13)] The tiger is round.[(triple14)] The tiger needs the cat.[(triple15)] @1: The tiger chases the squirrel.[(((triple12) -> rule1))] The tiger eats the rabbit.[(((triple11) -> rule2) OR ((triple5) -> rule2))]