Charlie is green. Charlie is kind. Charlie is not white. Fiona is not blue. Fiona is kind. Fiona is white. Gary is nice. Harry is blue. Harry is cold. Harry is kind. If Charlie is red and Charlie is nice then Charlie is green. White people are not nice. If Harry is green and Harry is red then Harry is nice. If Fiona is kind then Fiona is cold. All nice, cold people are kind. Cold people are not red. All white people are not red. If Fiona is nice and Fiona is red then Fiona is not green.
Gary is kind.
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2)] Charlie is not white.[(triple3)] Fiona is kind.[(triple5)] Fiona is not blue.[(triple4)] Fiona is white.[(triple6)] Gary is nice.[(triple7)] Harry is blue.[(triple8)] Harry is cold.[(triple9)] Harry is kind.[(triple10)] @1: Fiona is cold.[(((triple5) -> rule4))] Fiona is not nice.[(((triple6) -> rule2))] Fiona is not red.[(((triple6) -> rule7) OR ((((triple5) -> rule4)) -> rule6))] Harry is not red.[(((triple9) -> rule6))]