The bear sees the cat. The cat sees the bear. If something is cold and it sees the cat then the cat is round. If something sees the cat then the cat is big.
The cat is big.
@0: The bear sees the cat.[(triple1)] The cat sees the bear.[(triple2)] @1: The cat is big.[(((triple1) -> rule2))]