Charlie is not blue. Charlie is not green. Charlie is white. Charlie is not young. Dave is not furry. Dave is not green. Dave is round. Dave is young. Gary is not blue. Gary is not green. Gary is round. Gary is smart. Smart things are young. Green things are young. All young things are white. Green, young things are not blue. If something is young and not blue then it is furry. If something is blue then it is not round. If something is white and not young then it is not round. If Charlie is furry then Charlie is round.
Dave is furry.
@0: Charlie is not blue.[(triple1)] Charlie is not green.[(triple2)] Charlie is not young.[(triple4)] Charlie is white.[(triple3)] Dave is not furry.[(triple5)] Dave is not green.[(triple6)] Dave is round.[(triple7)] Dave is young.[(triple8)] Gary is not blue.[(triple9)] Gary is not green.[(triple10)] Gary is round.[(triple11)] Gary is smart.[(triple12)] @1: Charlie is not round.[(((triple3 triple4) -> rule7))] Dave is white.[(((triple8) -> rule3))] Gary is young.[(((triple12) -> rule1))] @2: Gary is furry.[(((((triple12) -> rule1) triple9) -> rule5))] Gary is white.[(((((triple12) -> rule1)) -> rule3))]