The cow chases the rabbit. The cow does not chase the squirrel. The cow is cold. The cow is kind. The cow is not red. The cow is not rough. The cow likes the rabbit. The cow needs the rabbit. The cow does not need the squirrel. The rabbit does not chase the cow. The rabbit is not rough. The rabbit is round. The rabbit needs the cow. The rabbit needs the squirrel. The squirrel chases the rabbit. The squirrel needs the cow. If something is red then it likes the cow. If something is red then it likes the cow. If something is round and kind then it does not like the rabbit. If the cow is not red then the cow does not need the squirrel. If something likes the squirrel then it is not rough. If the cow is cold and the cow likes the squirrel then the squirrel chases the cow. If the squirrel does not like the cow then the cow needs the rabbit. If something chases the rabbit and it does not need the squirrel then it needs the cow.
The squirrel does not need the cow.
@0: The cow chases the rabbit.[(triple1)] The cow does not chase the squirrel.[(triple2)] The cow does not need the squirrel.[(triple9 OR ((triple5) -> rule4))] The cow is cold.[(triple3)] The cow is kind.[(triple4)] The cow is not red.[(triple5)] The cow is not rough.[(triple6)] The cow likes the rabbit.[(triple7)] The cow needs the rabbit.[(triple8)] The rabbit does not chase the cow.[(triple10)] The rabbit is not rough.[(triple11)] The rabbit is round.[(triple12)] The rabbit needs the cow.[(triple13)] The rabbit needs the squirrel.[(triple14)] The squirrel chases the rabbit.[(triple15)] The squirrel needs the cow.[(triple16)] @1: The cow needs the cow.[(((triple1 triple9) -> rule8) OR ((triple1 ((triple5) -> rule4)) -> rule8))]