Dave is big. Dave is kind. Dave is nice. Dave is smart. Dave is white. Dave is young. Gary is big. Gary is nice. Gary is round. Gary is smart. Gary is white. Gary is young. Smart people are young. Round people are smart.
Dave is white.
@0: Dave is big.[(triple1)] Dave is kind.[(triple2)] Dave is nice.[(triple3)] Dave is smart.[(triple4)] Dave is white.[(triple5)] Dave is young.[(triple6 OR ((triple4) -> rule1))] Gary is big.[(triple7)] Gary is nice.[(triple8)] Gary is round.[(triple9)] Gary is smart.[(triple10 OR ((triple9) -> rule2))] Gary is white.[(triple11)] Gary is young.[(triple12 OR ((triple10) -> rule1) OR ((((triple9) -> rule2)) -> rule1))]