The bear visits the cat. The cat visits the cow. The cow sees the rabbit. The rabbit needs the cat. If something needs the cat then the cat is green. If something is green then it needs the rabbit.
The cat is not green.
@0: The bear visits the cat.[(triple1)] The cat visits the cow.[(triple2)] The cow sees the rabbit.[(triple3)] The rabbit needs the cat.[(triple4)] @1: The cat is green.[(((triple4) -> rule1))] @2: The cat needs the rabbit.[(((((triple4) -> rule1)) -> rule2))]