The bear is blue. The bear is cold. The bear is round. Green people are blue. If someone is round and cold then they are red.
The bear likes the bear.
@0: The bear is blue.[(triple1)] The bear is cold.[(triple2)] The bear is round.[(triple3)] @1: The bear is red.[(((triple3 triple2) -> rule2))]