Charlie is blue. Charlie is not green. Charlie is kind. Charlie is nice. Charlie is round. Charlie is not white. Dave is round. Dave is smart. Fiona is not blue. Fiona is green. Fiona is white. Gary is blue. Gary is nice. Gary is not round. Gary is smart. Gary is white. If Charlie is blue then Charlie is smart.
Dave is not green.
@0: Charlie is blue.[(triple1)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Charlie is not green.[(triple2)] Charlie is not white.[(triple6)] Charlie is round.[(triple5)] Dave is round.[(triple7)] Dave is smart.[(triple8)] Fiona is green.[(triple10)] Fiona is not blue.[(triple9)] Fiona is white.[(triple11)] Gary is blue.[(triple12)] Gary is nice.[(triple13)] Gary is not round.[(triple14)] Gary is smart.[(triple15)] Gary is white.[(triple16)] @1: Charlie is smart.[(((triple1) -> rule1))]