The cow sees the dog. The dog is young. The dog likes the cow. If the dog sees the cow then the cow is red. If something is young then it sees the cow.
The cow is not red.
@0: The cow sees the dog.[(triple1)] The dog is young.[(triple2)] The dog likes the cow.[(triple3)] @1: The dog sees the cow.[(((triple2) -> rule2))] @2: The cow is red.[(((((triple2) -> rule2)) -> rule1))]