Erin is round. Erin is smart. Erin is young. Gary is blue. Gary is cold. Gary is rough. Gary is not young. If someone is red and not cold then they are blue. If someone is round then they are smart.
Erin is not blue.
@0: Erin is round.[(triple1)] Erin is smart.[(triple2 OR ((triple1) -> rule2))] Erin is young.[(triple3)] Gary is blue.[(triple4)] Gary is cold.[(triple5)] Gary is not young.[(triple7)] Gary is rough.[(triple6)]