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