Charlie is cold. Harry is round. Cold things are quiet. Blue, cold things are furry. If something is cold and big then it is quiet. If something is quiet then it is blue. If Harry is green and Harry is quiet then Harry is big. If Charlie is green then Charlie is cold.
Harry is not quiet.
@0: Charlie is cold.[(triple1)] Harry is round.[(triple2)] @1: Charlie is quiet.[(((triple1) -> rule1))] @2: Charlie is blue.[(((((triple1) -> rule1)) -> rule4))] @3: Charlie is furry.[(((((((triple1) -> rule1)) -> rule4) triple1) -> rule2))]