Anne is red. Erin is furry. Erin is nice. Erin is quiet. Gary is furry. Gary is young. Harry is red. If something is quiet and rough then it is young. Red things are round. Rough things are red.
Anne is quiet.
@0: Anne is red.[(triple1)] Erin is furry.[(triple2)] Erin is nice.[(triple3)] Erin is quiet.[(triple4)] Gary is furry.[(triple5)] Gary is young.[(triple6)] Harry is red.[(triple7)] @1: Anne is round.[(((triple1) -> rule2))] Harry is round.[(((triple7) -> rule2))]