Anne is quiet. Anne is white. Dave is kind. Erin is quiet. Gary is furry. Gary is quiet. Gary is white. All quiet things are young. Kind, young things are nice. If something is young and red then it is furry. All red, nice things are quiet. All furry things are red. If something is nice then it is young.
Anne is white.
@0: Anne is quiet.[(triple1)] Anne is white.[(triple2)] Dave is kind.[(triple3)] Erin is quiet.[(triple4)] Gary is furry.[(triple5)] Gary is quiet.[(triple6)] Gary is white.[(triple7)] @1: Anne is young.[(((triple1) -> rule1))] Erin is young.[(((triple4) -> rule1))] Gary is red.[(((triple5) -> rule5))] Gary is young.[(((triple6) -> rule1))]