Charlie is blue. Charlie is not cold. Charlie is not furry. Charlie is kind. Charlie is not red. Charlie is young. Dave is blue. Dave is cold. Dave is furry. Dave is not kind. Dave is white. Dave is young. Gary is cold. Gary is not furry. Gary is kind. Gary is young. Red things are not cold. Red things are not cold. If Charlie is furry then Charlie is red. Kind things are white. Red things are not white. If Dave is young and Dave is not white then Dave is blue. Cold, young things are blue. If something is furry and not cold then it is not blue.
Charlie is young.
@0: Charlie is blue.[(triple1)] Charlie is kind.[(triple4)] Charlie is not cold.[(triple2)] Charlie is not furry.[(triple3)] Charlie is not red.[(triple5)] Charlie is young.[(triple6)] Dave is blue.[(triple7 OR ((triple8 triple12) -> rule7))] Dave is cold.[(triple8)] Dave is furry.[(triple9)] Dave is not kind.[(triple10)] Dave is white.[(triple11)] Dave is young.[(triple12)] Gary is cold.[(triple13)] Gary is kind.[(triple15)] Gary is not furry.[(triple14)] Gary is young.[(triple16)] @1: Charlie is white.[(((triple4) -> rule4))] Gary is blue.[(((triple13 triple16) -> rule7))] Gary is white.[(((triple15) -> rule4))]