Dave is blue. Dave is cold. Dave is not white. Dave is young. Gary is blue. Gary is cold. Gary is furry. Gary is rough. Gary is not white. Gary is young. All white people are not young. All blue people are young. Rough people are young. Rough people are big. All white people are big. If Dave is blue and Dave is white then Dave is not big.
Dave is not big.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is not white.[(triple3)] Dave is young.[(triple4 OR ((triple1) -> rule2))] Gary is blue.[(triple5)] Gary is cold.[(triple6)] Gary is furry.[(triple7)] Gary is not white.[(triple9)] Gary is rough.[(triple8)] Gary is young.[(triple10 OR ((triple5) -> rule2) OR ((triple8) -> rule3))] @1: Gary is big.[(((triple8) -> rule4))]