Anne is kind. Anne is red. Anne is white. Fiona is cold. Fiona is kind. Gary is cold. Harry is kind. If someone is kind and cold then they are red. If someone is cold then they are white. All white people are blue. White people are blue. If someone is furry and cold then they are kind. White, furry people are kind. If Anne is cold and Anne is white then Anne is kind. If Anne is white and Anne is red then Anne is kind. All blue, white people are furry.
Fiona is not blue.
@0: Anne is kind.[(triple1 OR ((triple3 triple2) -> rule8) OR ((triple3 ((((triple3) -> rule3) triple3) -> rule9)) -> rule6) OR ((triple3 ((((triple3) -> rule4) triple3) -> rule9)) -> rule6))] Anne is red.[(triple2)] Anne is white.[(triple3)] Fiona is cold.[(triple4)] Fiona is kind.[(triple5 OR ((((((((triple4) -> rule2)) -> rule3) ((triple4) -> rule2)) -> rule9) triple4) -> rule5) OR ((((((((triple4) -> rule2)) -> rule4) ((triple4) -> rule2)) -> rule9) triple4) -> rule5) OR ((((triple4) -> rule2) ((((((triple4) -> rule2)) -> rule3) ((triple4) -> rule2)) -> rule9)) -> rule6) OR ((((triple4) -> rule2) ((((((triple4) -> rule2)) -> rule4) ((triple4) -> rule2)) -> rule9)) -> rule6))] Gary is cold.[(triple6)] Harry is kind.[(triple7)] @1: Anne is blue.[(((triple3) -> rule3) OR ((triple3) -> rule4))] Fiona is red.[(((triple5 triple4) -> rule1) OR ((((((((((triple4) -> rule2)) -> rule3) ((triple4) -> rule2)) -> rule9) triple4) -> rule5) triple4) -> rule1) OR ((((((((((triple4) -> rule2)) -> rule4) ((triple4) -> rule2)) -> rule9) triple4) -> rule5) triple4) -> rule1) OR ((((((triple4) -> rule2) ((((((triple4) -> rule2)) -> rule3) ((triple4) -> rule2)) -> rule9)) -> rule6) triple4) -> rule1) OR ((((((triple4) -> rule2) ((((((triple4) -> rule2)) -> rule4) ((triple4) -> rule2)) -> rule9)) -> rule6) triple4) -> rule1))] Fiona is white.[(((triple4) -> rule2))] Gary is white.[(((triple6) -> rule2))] @2: Anne is furry.[(((((triple3) -> rule3) triple3) -> rule9) OR ((((triple3) -> rule4) triple3) -> rule9))] Fiona is blue.[(((((triple4) -> rule2)) -> rule3) OR ((((triple4) -> rule2)) -> rule4))] Gary is blue.[(((((triple6) -> rule2)) -> rule3) OR ((((triple6) -> rule2)) -> rule4))] @3: Fiona is furry.[(((((((triple4) -> rule2)) -> rule3) ((triple4) -> rule2)) -> rule9) OR ((((((triple4) -> rule2)) -> rule4) ((triple4) -> rule2)) -> rule9))] Gary is furry.[(((((((triple6) -> rule2)) -> rule3) ((triple6) -> rule2)) -> rule9) OR ((((((triple6) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule9))] @4: Gary is kind.[(((((((((triple6) -> rule2)) -> rule3) ((triple6) -> rule2)) -> rule9) triple6) -> rule5) OR ((((((((triple6) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule9) triple6) -> rule5) OR ((((triple6) -> rule2) ((((((triple6) -> rule2)) -> rule3) ((triple6) -> rule2)) -> rule9)) -> rule6) OR ((((triple6) -> rule2) ((((((triple6) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule9)) -> rule6))] @5: Gary is red.[(((((((((((triple6) -> rule2)) -> rule3) ((triple6) -> rule2)) -> rule9) triple6) -> rule5) triple6) -> rule1) OR ((((((((((triple6) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule9) triple6) -> rule5) triple6) -> rule1) OR ((((((triple6) -> rule2) ((((((triple6) -> rule2)) -> rule3) ((triple6) -> rule2)) -> rule9)) -> rule6) triple6) -> rule1) OR ((((((triple6) -> rule2) ((((((triple6) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule9)) -> rule6) triple6) -> rule1))]