The cow is cold. The dog is cold. The dog likes the cow. If someone is big and nice then they need the dog. If someone chases the cow then the cow does not need the dog. If the cow needs the dog and the dog likes the cow then the cow chases the dog. If someone likes the cow then they do not chase the cow. If someone chases the dog and they are not green then they are nice. If someone needs the cow then the cow is not young. If the dog does not chase the cow then the cow likes the dog. If someone likes the dog then the dog needs the cow.
The cow likes the cow.
@0: The cow is cold.[(triple1)] The dog is cold.[(triple2)] The dog likes the cow.[(triple3)] @1: The dog does not chase the cow.[(((triple3) -> rule4))] @2: The cow likes the dog.[(((((triple3) -> rule4)) -> rule7))] @3: The dog needs the cow.[(((((((triple3) -> rule4)) -> rule7)) -> rule8))] @4: The cow is not young.[(((((((((triple3) -> rule4)) -> rule7)) -> rule8)) -> rule6))]