The cow is blue. The cow is kind. The cow visits the dog. The dog is blue. The dog is kind. The dog is young. The dog sees the cow. If something sees the cow then the cow needs the dog. If the cow needs the dog and the dog visits the cow then the cow visits the dog. If something is blue then it sees the cow. Blue things are cold. If something needs the cow then the cow sees the dog. If something sees the dog and it visits the cow then it is kind. If something needs the cow then it sees the cow. If the cow is cold then the cow is nice.
The dog needs the cow.
@0: The cow is blue.[(triple1)] The cow is kind.[(triple2)] The cow visits the dog.[(triple3)] The dog is blue.[(triple4)] The dog is kind.[(triple5)] The dog is young.[(triple6)] The dog sees the cow.[(triple7 OR ((triple4) -> rule3))] @1: The cow is cold.[(((triple1) -> rule4))] The cow needs the dog.[(((triple7) -> rule1) OR ((((triple1) -> rule3)) -> rule1) OR ((((triple4) -> rule3)) -> rule1))] The cow sees the cow.[(((triple1) -> rule3))] The dog is cold.[(((triple4) -> rule4))] @2: The cow is nice.[(((((triple1) -> rule4)) -> rule8))]