The cow is nice. The cow is round. The cow likes the tiger. The cow sees the tiger. The cow visits the tiger. The tiger likes the cow. The tiger visits the cow. If something sees the cow then it does not like the cow. If something likes the tiger and it visits the tiger then it sees the cow.
The cow does not see the cow.
@0: The cow is nice.[(triple1)] The cow is round.[(triple2)] The cow likes the tiger.[(triple3)] The cow sees the tiger.[(triple4)] The cow visits the tiger.[(triple5)] The tiger likes the cow.[(triple6)] The tiger visits the cow.[(triple7)] @1: The cow sees the cow.[(((triple3 triple5) -> rule2))] @2: The cow does not like the cow.[(((((triple3 triple5) -> rule2)) -> rule1))]