Anne is furry. Gary is big. Gary is furry. Gary is rough. Gary is round. Harry is big. Harry is green. All furry people are quiet.
Harry is green.
@0: Anne is furry.[(triple1)] Gary is big.[(triple2)] Gary is furry.[(triple3)] Gary is rough.[(triple4)] Gary is round.[(triple5)] Harry is big.[(triple6)] Harry is green.[(triple7)] @1: Anne is quiet.[(((triple1) -> rule1))] Gary is quiet.[(((triple3) -> rule1))]