Anne is green. Fiona is cold. Harry is big. If someone is green and quiet then they are cold. If someone is quiet then they are smart. Kind, big people are blue. If someone is quiet then they are green. If someone is big then they are quiet. If Harry is quiet then Harry is smart. Green, blue people are smart. Smart, quiet people are big.
Harry is cold.
@0: Anne is green.[(triple1)] Fiona is cold.[(triple2)] Harry is big.[(triple3)] @1: Harry is quiet.[(((triple3) -> rule5))] @2: Harry is green.[(((((triple3) -> rule5)) -> rule4))] Harry is smart.[(((((triple3) -> rule5)) -> rule2) OR ((((triple3) -> rule5)) -> rule6))] @3: Harry is cold.[(((((((triple3) -> rule5)) -> rule4) ((triple3) -> rule5)) -> rule1))]