The cow is not green. The cow does not like the dog. The dog is cold. The dog is nice. The dog is young. The dog likes the cow. The dog visits the cow. If someone visits the dog then they are cold. If someone visits the cow then the cow visits the dog. If the dog visits the cow then the cow visits the dog. If the dog visits the cow then the dog is cold. If the cow sees the dog then the dog visits the cow. If someone is cold then they see the cow.
The cow is not cold.
@0: The cow does not like the dog.[(triple2)] The cow is not green.[(triple1)] The dog is cold.[(triple3 OR ((triple7) -> rule4))] The dog is nice.[(triple4)] The dog is young.[(triple5)] The dog likes the cow.[(triple6)] The dog visits the cow.[(triple7)] @1: The cow visits the dog.[(((triple7) -> rule2) OR ((triple7) -> rule3))] The dog sees the cow.[(((triple3) -> rule6) OR ((((triple7) -> rule4)) -> rule6))] @2: The cow is cold.[(((((triple7) -> rule2)) -> rule1) OR ((((triple7) -> rule3)) -> rule1))] @3: The cow sees the cow.[(((((((triple7) -> rule2)) -> rule1)) -> rule6) OR ((((((triple7) -> rule3)) -> rule1)) -> rule6))]