Anne is nice. Anne is white. Anne is young. Bob is not big. Gary is big. Gary is nice. Gary is young. Young, nice things are quiet.
Anne is big.
@0: Anne is nice.[(triple1)] Anne is white.[(triple2)] Anne is young.[(triple3)] Bob is not big.[(triple4)] Gary is big.[(triple5)] Gary is nice.[(triple6)] Gary is young.[(triple7)] @1: Anne is quiet.[(((triple3 triple1) -> rule1))] Gary is quiet.[(((triple7 triple6) -> rule1))]