Dave is big. Dave is furry. Dave is smart. Dave is white. Dave is young. Gary is big. Gary is cold. Gary is furry. Gary is green. Gary is white. If Dave is smart then Dave is white.
Dave is furry.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Dave is smart.[(triple3)] Dave is white.[(triple4 OR ((triple3) -> rule1))] Dave is young.[(triple5)] Gary is big.[(triple6)] Gary is cold.[(triple7)] Gary is furry.[(triple8)] Gary is green.[(triple9)] Gary is white.[(triple10)]