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.
Bob is not nice.
@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))]