The cow is cold. The cow is nice. The cow likes the dog. The cow needs the dog. The cow sees the dog. The dog is not nice. The dog sees the cow. If someone needs the cow then they see the dog. If someone needs the dog then the dog needs the cow. If someone needs the dog then the dog sees the cow. If someone is green and not cold then they are big. If the dog likes the cow and the dog needs the cow then the dog is round. If someone sees the dog and they do not see the cow then they do not like the cow. If someone likes the cow then the cow is not nice. If the dog sees the cow and the dog does not need the cow then the cow sees the dog.
The dog is not big.
@0: The cow is cold.[(triple1)] The cow is nice.[(triple2)] The cow likes the dog.[(triple3)] The cow needs the dog.[(triple4)] The cow sees the dog.[(triple5)] The dog is not nice.[(triple6)] The dog sees the cow.[(triple7 OR ((triple4) -> rule3))] @1: The dog needs the cow.[(((triple4) -> rule2))] @2: The dog sees the dog.[(((((triple4) -> rule2)) -> rule1))]