Anne is young. Gary is green. Harry is big. Young, quiet people are nice. If someone is round then they are blue. If someone is quiet and blue then they are green. If Anne is big and Anne is green then Anne is quiet. All big people are young. If Gary is nice and Gary is round then Gary is green.
Harry is big.
@0: Anne is young.[(triple1)] Gary is green.[(triple2)] Harry is big.[(triple3)] @1: Harry is young.[(((triple3) -> rule5))]