Erin is nice. Gary is green. Harry is big. If Harry is not round then Harry is not white. If something is young then it is not white. All big, round things are not green. All green, young things are big. If Erin is not big then Erin is not nice. If something is young and not white then it is quiet. All big things are nice. If something is white and quiet then it is nice.
Erin is green.
@0: Erin is nice.[(triple1)] Gary is green.[(triple2)] Harry is big.[(triple3)] @1: Harry is nice.[(((triple3) -> rule7))]