The bear is kind. The cow is big. The dog sees the tiger. The tiger is cold. If something is cold then it needs the bear. If something visits the dog then the dog is big. If something visits the tiger and it sees the dog then the dog sees the bear.
The dog sees the tiger.
@0: The bear is kind.[(triple1)] The cow is big.[(triple2)] The dog sees the tiger.[(triple3)] The tiger is cold.[(triple4)] @1: The tiger needs the bear.[(((triple4) -> rule1))]