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