The bear is green. The cat sees the dog. The dog is kind. If something is green then it needs the dog. If something needs the bear and the bear is rough then it likes the cat. If the bear needs the dog then the dog is green.
The dog does not like the cat.
@0: The bear is green.[(triple1)] The cat sees the dog.[(triple2)] The dog is kind.[(triple3)] @1: The bear needs the dog.[(((triple1) -> rule1))] @2: The dog is green.[(((((triple1) -> rule1)) -> rule3))] @3: The dog needs the dog.[(((((((triple1) -> rule1)) -> rule3)) -> rule1))]