The cow chases the rabbit. The cow does not need the rabbit. The cow does not need the squirrel. The rabbit does not chase the cow. The rabbit is blue. The rabbit is not rough. The rabbit needs the cow. The rabbit does not see the cow. The squirrel is blue. The squirrel needs the tiger. The tiger does not chase the cow. The tiger is big. If the rabbit does not chase the cow then the rabbit needs the squirrel. If something sees the tiger and it is not rough then the tiger does not need the rabbit. If something chases the tiger and it chases the squirrel then the squirrel does not see the tiger.
The tiger chases the cow.
@0: The cow chases the rabbit.[(triple1)] The cow does not need the rabbit.[(triple2)] The cow does not need the squirrel.[(triple3)] The rabbit does not chase the cow.[(triple4)] The rabbit does not see the cow.[(triple8)] The rabbit is blue.[(triple5)] The rabbit is not rough.[(triple6)] The rabbit needs the cow.[(triple7)] The squirrel is blue.[(triple9)] The squirrel needs the tiger.[(triple10)] The tiger does not chase the cow.[(triple11)] The tiger is big.[(triple12)] @1: The rabbit needs the squirrel.[(((triple4) -> rule1))]