Anne is furry. Anne is red. Anne is smart. All red, smart things are round. If something is cold then it is big.
Anne is red.
@0: Anne is furry.[(triple1)] Anne is red.[(triple2)] Anne is smart.[(triple3)] @1: Anne is round.[(((triple2 triple3) -> rule1))]