Anne is blue. Anne is white. Dave is blue. Erin is blue. Erin is cold. Erin is red. Erin is white. Gary is big. Gary is blue. Gary is kind. Kind, red people are blue. Red people are cold. If someone is kind then they are red. All blue people are kind. All cold, red people are white. If Dave is green and Dave is red then Dave is kind. If Dave is blue then Dave is green. If Dave is white then Dave is big. If someone is white then they are red.
Dave is not white.
@0: Anne is blue.[(triple1)] Anne is white.[(triple2 OR ((((((((triple1) -> rule4)) -> rule3)) -> rule2) ((((triple1) -> rule4)) -> rule3)) -> rule5))] Dave is blue.[(triple3)] Erin is blue.[(triple4)] Erin is cold.[(triple5 OR ((triple6) -> rule2) OR ((((triple7) -> rule9)) -> rule2) OR ((((((triple4) -> rule4)) -> rule3)) -> rule2))] Erin is red.[(triple6 OR ((triple7) -> rule9) OR ((((triple4) -> rule4)) -> rule3))] Erin is white.[(triple7 OR ((triple5 triple6) -> rule5) OR ((((triple6) -> rule2) triple6) -> rule5) OR ((triple5 ((((triple4) -> rule4)) -> rule3)) -> rule5) OR ((((triple6) -> rule2) ((((triple4) -> rule4)) -> rule3)) -> rule5) OR ((((((((triple4) -> rule4)) -> rule3)) -> rule2) triple6) -> rule5) OR ((((((((triple4) -> rule4)) -> rule3)) -> rule2) ((((triple4) -> rule4)) -> rule3)) -> rule5))] Gary is big.[(triple8)] Gary is blue.[(triple9 OR ((triple10 ((triple10) -> rule3)) -> rule1))] Gary is kind.[(triple10 OR ((triple9) -> rule4))] @1: Anne is kind.[(((triple1) -> rule4))] Anne is red.[(((triple2) -> rule9) OR ((((triple1) -> rule4)) -> rule3))] Dave is green.[(((triple3) -> rule7))] Dave is kind.[(((triple3) -> rule4))] Erin is kind.[(((triple4) -> rule4))] Gary is red.[(((triple10) -> rule3) OR ((((triple9) -> rule4)) -> rule3))] @2: Anne is cold.[(((((triple2) -> rule9)) -> rule2) OR ((((((triple1) -> rule4)) -> rule3)) -> rule2))] Dave is red.[(((((triple3) -> rule4)) -> rule3))] Gary is cold.[(((((triple10) -> rule3)) -> rule2) OR ((((((triple9) -> rule4)) -> rule3)) -> rule2))] @3: Dave is cold.[(((((((triple3) -> rule4)) -> rule3)) -> rule2))] Gary is white.[(((((((triple10) -> rule3)) -> rule2) ((triple10) -> rule3)) -> rule5) OR ((((((triple10) -> rule3)) -> rule2) ((((triple9) -> rule4)) -> rule3)) -> rule5) OR ((((((((triple9) -> rule4)) -> rule3)) -> rule2) ((triple10) -> rule3)) -> rule5) OR ((((((((triple9) -> rule4)) -> rule3)) -> rule2) ((((triple9) -> rule4)) -> rule3)) -> rule5))] @4: Dave is white.[(((((((((triple3) -> rule4)) -> rule3)) -> rule2) ((((triple3) -> rule4)) -> rule3)) -> rule5))] @5: Dave is big.[(((((((((((triple3) -> rule4)) -> rule3)) -> rule2) ((((triple3) -> rule4)) -> rule3)) -> rule5)) -> rule8))]