Dave is red. Harry is round. Round, big things are not kind. Green, big things are kind. All green, cold things are kind. If something is green and red then it is kind. Green things are not cold. If something is round then it is big. Kind, round things are not big. If Harry is round and Harry is cold then Harry is kind.
Harry is not big.
@0: Dave is red.[(triple1)] Harry is round.[(triple2)] @1: Harry is big.[(((triple2) -> rule6))] @2: Harry is not kind.[(((triple2 ((triple2) -> rule6)) -> rule1))]