Anne is not cold. Anne is kind. Anne is red. Anne is not smart. Charlie is not kind. Charlie is red. Charlie is white. Gary is kind. Gary is red. Gary is rough. Gary is round. Gary is smart. Harry is not cold. Harry is red. Harry is smart. Harry is white. Cold, kind people are white. If Harry is cold and Harry is smart then Harry is rough. Smart people are round.
Harry is not white.
@0: Anne is kind.[(triple2)] Anne is not cold.[(triple1)] Anne is not smart.[(triple4)] Anne is red.[(triple3)] Charlie is not kind.[(triple5)] Charlie is red.[(triple6)] Charlie is white.[(triple7)] Gary is kind.[(triple8)] Gary is red.[(triple9)] Gary is rough.[(triple10)] Gary is round.[(triple11 OR ((triple12) -> rule3))] Gary is smart.[(triple12)] Harry is not cold.[(triple13)] Harry is red.[(triple14)] Harry is smart.[(triple15)] Harry is white.[(triple16)] @1: Harry is round.[(((triple15) -> rule3))]