Erin is big. Erin is green. Erin is red. Erin is round. Erin is young. Gary is blue. Gary is green. Gary is red. Gary is round. Gary is young. All big people are green.
Gary is green.
@0: Erin is big.[(triple1)] Erin is green.[(triple2 OR ((triple1) -> rule1))] Erin is red.[(triple3)] Erin is round.[(triple4)] Erin is young.[(triple5)] Gary is blue.[(triple6)] Gary is green.[(triple7)] Gary is red.[(triple8)] Gary is round.[(triple9)] Gary is young.[(triple10)]