The cow is young. The cow likes the dog. The dog is kind. If the dog is big then the dog does not like the cow. If something is red and it does not like the dog then the dog likes the cow. If something is kind then it needs the dog. If something is green and it does not like the dog then it needs the dog. If something is red and it sees the dog then the dog is kind. If something is red then it does not need the cow. If the cow is young then the cow needs the dog. If something needs the dog then it is not red.
The dog is not red.
@0: The cow is young.[(triple1)] The cow likes the dog.[(triple2)] The dog is kind.[(triple3)] @1: The cow needs the dog.[(((triple1) -> rule7))] The dog needs the dog.[(((triple3) -> rule3))] @2: The cow is not red.[(((((triple1) -> rule7)) -> rule8))] The dog is not red.[(((((triple3) -> rule3)) -> rule8))]