Bob is blue. Bob is nice. Erin is nice. Erin is quiet. Erin is round. Erin is not young. Gary is red. Round, rough things are young. All quiet things are blue.
Gary is not young.
@0: Bob is blue.[(triple1)] Bob is nice.[(triple2)] Erin is nice.[(triple3)] Erin is not young.[(triple6)] Erin is quiet.[(triple4)] Erin is round.[(triple5)] Gary is red.[(triple7)] @1: Erin is blue.[(((triple4) -> rule2))]