Anne is quiet. Anne is red. Charlie is quiet. Charlie is rough. Dave is nice. Dave is rough. Dave is white. Gary is quiet. Gary is red. Gary is rough. Nice, rough people are blue. If someone is quiet and rough then they are blue. If Gary is furry then Gary is white. If someone is rough and white then they are furry. Furry people are quiet. If Gary is blue and Gary is quiet then Gary is white.
Gary is not red.
@0: Anne is quiet.[(triple1)] Anne is red.[(triple2)] Charlie is quiet.[(triple3)] Charlie is rough.[(triple4)] Dave is nice.[(triple5)] Dave is rough.[(triple6)] Dave is white.[(triple7)] Gary is quiet.[(triple8)] Gary is red.[(triple9)] Gary is rough.[(triple10)] @1: Charlie is blue.[(((triple3 triple4) -> rule2))] Dave is blue.[(((triple5 triple6) -> rule1) OR ((((((triple6 triple7) -> rule4)) -> rule5) triple6) -> rule2))] Dave is furry.[(((triple6 triple7) -> rule4))] Gary is blue.[(((triple8 triple10) -> rule2))] @2: Dave is quiet.[(((((triple6 triple7) -> rule4)) -> rule5))] Gary is white.[(((((triple8 triple10) -> rule2) triple8) -> rule6))] @3: Gary is furry.[(((triple10 ((((triple8 triple10) -> rule2) triple8) -> rule6)) -> rule4))]