Anne is quiet. Charlie is red. All kind, cold things are blue. Quiet things are red. Blue, furry things are quiet.
Anne is big.
@0: Anne is quiet.[(triple1)] Charlie is red.[(triple2)] @1: Anne is red.[(((triple1) -> rule2))]