The bear is cold. The bear sees the tiger. The tiger sees the bear. If someone sees the tiger and they like the tiger then the tiger is red. All cold people are red. If someone likes the tiger and the tiger likes the bear then the bear sees the tiger. If someone likes the tiger and they visit the tiger then they like the bear. If someone likes the bear and they see the tiger then they like the tiger. If someone sees the bear and they see the tiger then the tiger likes the bear.
The bear is green.
@0: The bear is cold.[(triple1)] The bear sees the tiger.[(triple2)] The tiger sees the bear.[(triple3)] @1: The bear is red.[(((triple1) -> rule2))]