Anne is furry. Anne is nice. Anne is white. Anne is young. Charlie is red. Gary is furry. Gary is young. All nice things are quiet. Nice, young things are rough. Quiet things are red.
Anne is red.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Anne is white.[(triple3)] Anne is young.[(triple4)] Charlie is red.[(triple5)] Gary is furry.[(triple6)] Gary is young.[(triple7)] @1: Anne is quiet.[(((triple2) -> rule1))] Anne is rough.[(((triple2 triple4) -> rule2))] @2: Anne is red.[(((((triple2) -> rule1)) -> rule3))]