Anne is big. Anne is furry. Charlie is round. Harry is big. Harry is blue. Harry is furry. Harry is smart. All cold, big things are smart. If something is smart and big then it is cold. If Charlie is furry and Charlie is big then Charlie is cold.
Anne is big.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Charlie is round.[(triple3)] Harry is big.[(triple4)] Harry is blue.[(triple5)] Harry is furry.[(triple6)] Harry is smart.[(triple7)] @1: Harry is cold.[(((triple7 triple4) -> rule2))]