Charlie is big. Charlie is not cold. Charlie is smart. Dave is big. Dave is cold. Dave is kind. Dave is round. Dave is not smart. Dave is not young. Gary is smart. If Charlie is white and Charlie is not round then Charlie is big. All big, young things are not kind. If Dave is kind then Dave is round.
Gary is not kind.
@0: Charlie is big.[(triple1)] Charlie is not cold.[(triple2)] Charlie is smart.[(triple3)] Dave is big.[(triple4)] Dave is cold.[(triple5)] Dave is kind.[(triple6)] Dave is not smart.[(triple8)] Dave is not young.[(triple9)] Dave is round.[(triple7 OR ((triple6) -> rule3))] Gary is smart.[(triple10)]