Charlie is big. Charlie is not blue. Charlie is not furry. Charlie is kind. Charlie is nice. Charlie is not round. Charlie is young. Dave is big. Dave is not blue. Dave is not furry. Dave is kind. Dave is not nice. Dave is not round. Dave is not young. If something is round then it is kind. All round things are not kind. If Dave is nice and Dave is not blue then Dave is round. Furry things are nice. Kind, round things are not nice. All blue, round things are nice. If Charlie is blue then Charlie is not round. If something is furry and not kind then it is big.
Charlie is furry.
@0: Charlie is big.[(triple1)] Charlie is kind.[(triple4)] Charlie is nice.[(triple5)] Charlie is not blue.[(triple2)] Charlie is not furry.[(triple3)] Charlie is not round.[(triple6)] Charlie is young.[(triple7)] Dave is big.[(triple8)] Dave is kind.[(triple11)] Dave is not blue.[(triple9)] Dave is not furry.[(triple10)] Dave is not nice.[(triple12)] Dave is not round.[(triple13)] Dave is not young.[(triple14)]