Anne is kind. Anne is red. Anne is not white. Bob is blue. Bob is furry. Bob is kind. Bob is not red. Bob is rough. Bob is white. Gary is furry. Gary is not kind. Gary is white. Harry is blue. Harry is kind. Harry is red. Harry is white. If someone is smart and kind then they are not rough. If Anne is not kind and Anne is not white then Anne is rough. If Harry is not red and Harry is not kind then Harry is smart.
Gary is rough.
@0: Anne is kind.[(triple1)] Anne is not white.[(triple3)] Anne is red.[(triple2)] Bob is blue.[(triple4)] Bob is furry.[(triple5)] Bob is kind.[(triple6)] Bob is not red.[(triple7)] Bob is rough.[(triple8)] Bob is white.[(triple9)] Gary is furry.[(triple10)] Gary is not kind.[(triple11)] Gary is white.[(triple12)] Harry is blue.[(triple13)] Harry is kind.[(triple14)] Harry is red.[(triple15)] Harry is white.[(triple16)]