The cow chases the rabbit. The cow chases the squirrel. The cow eats the rabbit. The cow is rough. The rabbit does not chase the squirrel. The rabbit does not eat the cow. The rabbit is nice. The rabbit needs the cow. The rabbit needs the squirrel. The rabbit needs the tiger. The squirrel chases the cow. The squirrel does not chase the tiger. The tiger does not chase the squirrel. The tiger is rough. The tiger needs the squirrel. If something is red then it chases the tiger. If the squirrel eats the rabbit and the squirrel needs the rabbit then the rabbit does not need the tiger. If something eats the tiger and the tiger is rough then it does not eat the cow. If something chases the rabbit and the rabbit eats the cow then it is not rough. If something needs the squirrel then the squirrel is blue. If something is rough then it eats the tiger.
The rabbit does not eat the tiger.
@0: The cow chases the rabbit.[(triple1)] The cow chases the squirrel.[(triple2)] The cow eats the rabbit.[(triple3)] The cow is rough.[(triple4)] The rabbit does not chase the squirrel.[(triple5)] The rabbit does not eat the cow.[(triple6)] The rabbit is nice.[(triple7)] The rabbit needs the cow.[(triple8)] The rabbit needs the squirrel.[(triple9)] The rabbit needs the tiger.[(triple10)] The squirrel chases the cow.[(triple11)] The squirrel does not chase the tiger.[(triple12)] The tiger does not chase the squirrel.[(triple13)] The tiger is rough.[(triple14)] The tiger needs the squirrel.[(triple15)] @1: The cow eats the tiger.[(((triple4) -> rule6))] The squirrel is blue.[(((triple15) -> rule5) OR ((triple9) -> rule5))] The tiger eats the tiger.[(((triple14) -> rule6))] @2: The cow does not eat the cow.[(((((triple4) -> rule6) triple14) -> rule3))] The tiger does not eat the cow.[(((((triple14) -> rule6) triple14) -> rule3))]