The bear is red. The tiger sees the bear. If someone visits the bear then the bear visits the tiger. If someone sees the bear then the bear is big. If someone likes the bear then the bear sees the tiger.
The bear is not big.
@0: The bear is red.[(triple1)] The tiger sees the bear.[(triple2)] @1: The bear is big.[(((triple2) -> rule2))]