Erin is blue. Erin is kind. Erin is quiet. Erin is rough. Erin is white. Erin is young. Gary is not blue. Gary is quiet. Gary is red. Gary is young. Young, kind things are red. If Gary is blue and Gary is quiet then Gary is rough.
Erin is not red.
@0: Erin is blue.[(triple1)] Erin is kind.[(triple2)] Erin is quiet.[(triple3)] Erin is rough.[(triple4)] Erin is white.[(triple5)] Erin is young.[(triple6)] Gary is not blue.[(triple7)] Gary is quiet.[(triple8)] Gary is red.[(triple9)] Gary is young.[(triple10)] @1: Erin is red.[(((triple6 triple2) -> rule1))]