The cow likes the squirrel. The dog is not green. The dog likes the cow. The dog needs the cow. The dog needs the squirrel. The squirrel chases the dog. The squirrel is blue. The squirrel is not cold. The squirrel is young. The squirrel needs the cow. If something likes the cow and it does not need the cow then it likes the squirrel. If something needs the cow and it is young then the cow likes the squirrel. If the squirrel is green then the squirrel likes the cow. If the squirrel is young then the squirrel is green. If something is cold and it likes the dog then the dog likes the cow. If something needs the cow and it does not need the squirrel then it is blue. If something likes the dog then the dog chases the cow. If something needs the cow and the cow is not red then it is young.
The dog is not blue.
@0: The cow likes the squirrel.[(triple1 OR ((triple10 triple9) -> rule2))] The dog is not green.[(triple2)] The dog likes the cow.[(triple3)] The dog needs the cow.[(triple4)] The dog needs the squirrel.[(triple5)] The squirrel chases the dog.[(triple6)] The squirrel is blue.[(triple7)] The squirrel is not cold.[(triple8)] The squirrel is young.[(triple9)] The squirrel needs the cow.[(triple10)] @1: The squirrel is green.[(((triple9) -> rule4))] @2: The squirrel likes the cow.[(((((triple9) -> rule4)) -> rule3))]