Harry is red. Smart, green things are white. If Harry is quiet and Harry is smart then Harry is big. If Harry is quiet then Harry is big. If Harry is white then Harry is red. Green things are white. All cold, smart things are red. If Harry is red then Harry is green. If something is green and smart then it is cold.
Harry is quiet.
@0: Harry is red.[(triple1)] @1: Harry is green.[(((triple1) -> rule7))] @2: Harry is white.[(((((triple1) -> rule7)) -> rule5))]