The cat is big. The cow sees the dog. The dog chases the cat. The tiger needs the cat. If something sees the dog then it sees the cow. If something sees the cow then it does not need the cat.
The cow sees the cow.
@0: The cat is big.[(triple1)] The cow sees the dog.[(triple2)] The dog chases the cat.[(triple3)] The tiger needs the cat.[(triple4)] @1: The cow sees the cow.[(((triple2) -> rule1))] @2: The cow does not need the cat.[(((((triple2) -> rule1)) -> rule2))]