The bear sees the tiger. The tiger is round. The tiger sees the bear. If someone likes the bear and they are round then they do not eat the tiger. If someone sees the tiger then the tiger likes the bear. If someone sees the bear then they are cold.
The bear is rough.
@0: The bear sees the tiger.[(triple1)] The tiger is round.[(triple2)] The tiger sees the bear.[(triple3)] @1: The tiger is cold.[(((triple3) -> rule3))] The tiger likes the bear.[(((triple1) -> rule2))] @2: The tiger does not eat the tiger.[(((((triple1) -> rule2) triple2) -> rule1))]