Dave is blue. Dave is cold. Dave is green. Dave is kind. Dave is nice. Dave is white. Dave is young. Gary is blue. Gary is cold. Gary is green. Gary is kind. Gary is nice. Gary is white. Gary is young. If something is young and nice then it is kind. All cold things are kind. If something is blue then it is kind.
Dave is not blue.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is green.[(triple3)] Dave is kind.[(triple4 OR ((triple1) -> rule3) OR ((triple2) -> rule2) OR ((triple7 triple5) -> rule1))] Dave is nice.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7)] Gary is blue.[(triple8)] Gary is cold.[(triple9)] Gary is green.[(triple10)] Gary is kind.[(triple11 OR ((triple8) -> rule3) OR ((triple9) -> rule2) OR ((triple14 triple12) -> rule1))] Gary is nice.[(triple12)] Gary is white.[(triple13)] Gary is young.[(triple14)]