The cat needs the cow. The cow is cold. The dog is young. The squirrel needs the dog. If something likes the squirrel and the squirrel needs the cow then the squirrel needs the dog. If something needs the dog then it likes the cat. If something is blue and it likes the cow then it chases the cat. If something needs the cat and the cat chases the cow then the cow likes the squirrel. If something chases the squirrel and it needs the squirrel then the squirrel likes the cow. If the cow is cold then the cow is round. If something is cold and it chases the cat then it chases the dog. If something likes the cow and the cow needs the cat then it chases the cow.
The cat does not need the cow.
@0: The cat needs the cow.[(triple1)] The cow is cold.[(triple2)] The dog is young.[(triple3)] The squirrel needs the dog.[(triple4)] @1: The cow is round.[(((triple2) -> rule6))] The squirrel likes the cat.[(((triple4) -> rule2))]