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 is round.
@0: The bear is blue.[(triple1)] The bear is cold.[(triple2)] The bear is round.[(triple3)] @1: The bear is red.[(((triple3 triple2) -> rule2))]