Erin is blue. Erin is cold. Erin is red. Erin is rough. Erin is round. Erin is young. Gary is red. Gary is rough. Gary is round. Gary is young. Red things are round. Rough things are young.
Erin is not rough.
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2)] Erin is red.[(triple3)] Erin is rough.[(triple4)] Erin is round.[(triple5 OR ((triple3) -> rule1))] Erin is young.[(triple6 OR ((triple4) -> rule2))] Gary is red.[(triple7)] Gary is rough.[(triple8)] Gary is round.[(triple9 OR ((triple7) -> rule1))] Gary is young.[(triple10 OR ((triple8) -> rule2))]