Anne is quiet. Gary is quiet. Harry is smart. If something is smart then it is round. All smart things are not kind. All red things are not big.
Harry is furry.
@0: Anne is quiet.[(triple1)] Gary is quiet.[(triple2)] Harry is smart.[(triple3)] @1: Harry is not kind.[(((triple3) -> rule2))] Harry is round.[(((triple3) -> rule1))]