Dave is big. Dave is blue. Dave is red. Dave is rough. Dave is young. Erin is big. Erin is blue. Erin is rough. Erin is smart. Erin is young. Gary is big. Gary is blue. Gary is green. Gary is red. Gary is smart. Gary is young. Young, smart people are rough. All rough people are green. If Erin is rough and Erin is blue then Erin is smart.
Gary is not big.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is red.[(triple3)] Dave is rough.[(triple4)] Dave is young.[(triple5)] Erin is big.[(triple6)] Erin is blue.[(triple7)] Erin is rough.[(triple8 OR ((triple10 triple9) -> rule1))] Erin is smart.[(triple9 OR ((triple8 triple7) -> rule3))] Erin is young.[(triple10)] Gary is big.[(triple11)] Gary is blue.[(triple12)] Gary is green.[(triple13 OR ((((triple16 triple15) -> rule1)) -> rule2))] Gary is red.[(triple14)] Gary is smart.[(triple15)] Gary is young.[(triple16)] @1: Dave is green.[(((triple4) -> rule2))] Erin is green.[(((triple8) -> rule2) OR ((((triple10 triple9) -> rule1)) -> rule2))] Gary is rough.[(((triple16 triple15) -> rule1))]