The cow is big. The cow is red. The cow needs the squirrel. The rabbit chases the cow. The rabbit does not chase the squirrel. The rabbit eats the squirrel. The rabbit is green. The squirrel chases the cow. The squirrel chases the rabbit. The squirrel does not eat the rabbit. If something needs the squirrel then it is not kind. If something needs the rabbit and it is not red then the rabbit eats the squirrel. If the squirrel chases the cow and the squirrel chases the rabbit then the squirrel needs the rabbit.
The squirrel is red.
@0: The cow is big.[(triple1)] The cow is red.[(triple2)] The cow needs the squirrel.[(triple3)] The rabbit chases the cow.[(triple4)] The rabbit does not chase the squirrel.[(triple5)] The rabbit eats the squirrel.[(triple6)] The rabbit is green.[(triple7)] The squirrel chases the cow.[(triple8)] The squirrel chases the rabbit.[(triple9)] The squirrel does not eat the rabbit.[(triple10)] @1: The cow is not kind.[(((triple3) -> rule1))] The squirrel needs the rabbit.[(((triple8 triple9) -> rule3))]