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