Charlie is kind. Charlie is nice. Dave is kind. Dave is nice. Dave is not quiet. Dave is young. Gary is young. If Gary is not quiet then Gary is round. If Gary is young then Gary is furry. If Charlie is quiet then Charlie is white. If Dave is white then Dave is round. If someone is nice and not furry then they are white. All furry, young people are not white.
Dave is furry.
@0: Charlie is kind.[(triple1)] Charlie is nice.[(triple2)] Dave is kind.[(triple3)] Dave is nice.[(triple4)] Dave is not quiet.[(triple5)] Dave is young.[(triple6)] Gary is young.[(triple7)] @1: Gary is furry.[(((triple7) -> rule2))] @2: Gary is not white.[(((((triple7) -> rule2) triple7) -> rule6))]