Erin is round. Gary is green. Harry is rough. Quiet, nice things are furry. If something is rough and smart then it is furry. All green things are furry. If Erin is quiet and Erin is not green then Erin is furry. If something is rough then it is nice. If Gary is round and Gary is not rough then Gary is not nice.
Harry is round.
@0: Erin is round.[(triple1)] Gary is green.[(triple2)] Harry is rough.[(triple3)] @1: Gary is furry.[(((triple2) -> rule3))] Harry is nice.[(((triple3) -> rule5))]