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