Anne is big. Charlie is round. Dave is red. All round things are cold. Cold, round things are big.
Dave is cold.
@0: Anne is big.[(triple1)] Charlie is round.[(triple2)] Dave is red.[(triple3)] @1: Charlie is cold.[(((triple2) -> rule1))] @2: Charlie is big.[(((((triple2) -> rule1) triple2) -> rule2))]