Harry is quiet. If something is quiet then it is white. Smart, kind things are white. All smart, white things are big. White things are big. Green, kind things are rough. If Harry is white and Harry is green then Harry is smart.
Harry is not smart.
@0: Harry is quiet.[(triple1)] @1: Harry is white.[(((triple1) -> rule1))] @2: Harry is big.[(((((triple1) -> rule1)) -> rule4))]