Charlie is red. Charlie is not white. Fiona is kind. Fiona is nice. Fiona is smart. Gary is nice. Gary is quiet. Gary is smart. Harry is cold. Harry is kind. Harry is nice. Harry is quiet. If something is quiet and not nice then it is kind. All red things are kind. Cold things are red. All kind things are cold. If Gary is red and Gary is not quiet then Gary is kind. If Harry is quiet and Harry is nice then Harry is not white. If something is red and not kind then it is not smart. Kind, red things are smart.
Gary is nice.
@0: Charlie is not white.[(triple2)] Charlie is red.[(triple1)] Fiona is kind.[(triple3)] Fiona is nice.[(triple4)] Fiona is smart.[(triple5 OR ((triple3 ((((triple3) -> rule4)) -> rule3)) -> rule8))] Gary is nice.[(triple6)] Gary is quiet.[(triple7)] Gary is smart.[(triple8)] Harry is cold.[(triple9 OR ((triple10) -> rule4))] Harry is kind.[(triple10 OR ((((triple9) -> rule3)) -> rule2))] Harry is nice.[(triple11)] Harry is quiet.[(triple12)] @1: Charlie is kind.[(((triple1) -> rule2))] Fiona is cold.[(((triple3) -> rule4))] Harry is not white.[(((triple12 triple11) -> rule6))] Harry is red.[(((triple9) -> rule3) OR ((((triple10) -> rule4)) -> rule3))] @2: Charlie is cold.[(((((triple1) -> rule2)) -> rule4))] Charlie is smart.[(((((triple1) -> rule2) triple1) -> rule8))] Fiona is red.[(((((triple3) -> rule4)) -> rule3))] Harry is smart.[(((triple10 ((triple9) -> rule3)) -> rule8) OR ((triple10 ((((triple10) -> rule4)) -> rule3)) -> rule8) OR ((((((triple9) -> rule3)) -> rule2) ((triple9) -> rule3)) -> rule8) OR ((((((triple9) -> rule3)) -> rule2) ((((triple10) -> rule4)) -> rule3)) -> rule8))]