Anne is kind. Anne is not quiet. Anne is rough. Bob is blue. Bob is quiet. Bob is red. Bob is smart. Bob is white. Gary is blue. Gary is not kind. Gary is quiet. Gary is rough. If Bob is red and Bob is not rough then Bob is white. If Bob is rough and Bob is not blue then Bob is not white. If something is kind and not red then it is quiet. If something is white and rough then it is smart. If Gary is red then Gary is blue. If something is blue then it is white. If Bob is smart and Bob is kind then Bob is quiet. If Anne is red and Anne is not smart then Anne is quiet.
Gary is not red.
@0: Anne is kind.[(triple1)] Anne is not quiet.[(triple2)] Anne is rough.[(triple3)] Bob is blue.[(triple4)] Bob is quiet.[(triple5)] Bob is red.[(triple6)] Bob is smart.[(triple7)] Bob is white.[(triple8 OR ((triple4) -> rule6))] Gary is blue.[(triple9)] Gary is not kind.[(triple10)] Gary is quiet.[(triple11)] Gary is rough.[(triple12)] @1: Gary is white.[(((triple9) -> rule6))] @2: Gary is smart.[(((((triple9) -> rule6) triple12) -> rule4))]