Charlie is white. Dave is blue. Dave is furry. Gary is not blue. Gary is furry. Gary is green. Gary is round. Gary is white. Harry is not furry. Harry is not red. All round things are furry. Red, green things are not furry. If Charlie is round then Charlie is not blue. All young things are green. All blue, green things are white. If Gary is green and Gary is round then Gary is young.
Gary is not young.
@0: Charlie is white.[(triple1)] Dave is blue.[(triple2)] Dave is furry.[(triple3)] Gary is furry.[(triple5 OR ((triple7) -> rule1))] Gary is green.[(triple6)] Gary is not blue.[(triple4)] Gary is round.[(triple7)] Gary is white.[(triple8)] Harry is not furry.[(triple9)] Harry is not red.[(triple10)] @1: Gary is young.[(((triple6 triple7) -> rule6))]