Anne is blue. Anne is furry. Anne is green. Anne is white. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is kind. Harry is blue. Harry is cold. Harry is furry. Harry is green. Harry is kind. Harry is red. Harry is white. If something is white and blue then it is red. All furry, red things are kind. Kind, blue things are white. If something is blue then it is kind. If Fiona is furry and Fiona is white then Fiona is green. If Harry is blue and Harry is white then Harry is kind. If something is blue and white then it is red. All red, white things are kind.
Fiona is not blue.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is white.[(triple4 OR ((((triple1) -> rule4) triple1) -> rule3))] Fiona is blue.[(triple5)] Fiona is cold.[(triple6)] Fiona is furry.[(triple7)] Fiona is kind.[(triple8 OR ((triple5) -> rule4))] Harry is blue.[(triple9)] Harry is cold.[(triple10)] Harry is furry.[(triple11)] Harry is green.[(triple12)] Harry is kind.[(triple13 OR ((triple9) -> rule4) OR ((triple11 triple14) -> rule2) OR ((triple14 triple15) -> rule8) OR ((triple9 triple15) -> rule6) OR ((triple11 ((triple15 triple9) -> rule1)) -> rule2) OR ((triple11 ((triple9 triple15) -> rule7)) -> rule2) OR ((((triple15 triple9) -> rule1) triple15) -> rule8) OR ((((triple9 triple15) -> rule7) triple15) -> rule8))] Harry is red.[(triple14 OR ((triple15 triple9) -> rule1) OR ((triple9 triple15) -> rule7) OR ((triple9 ((triple13 triple9) -> rule3)) -> rule7) OR ((((triple13 triple9) -> rule3) triple9) -> rule1) OR ((triple9 ((((triple9) -> rule4) triple9) -> rule3)) -> rule7) OR ((((((triple9) -> rule4) triple9) -> rule3) triple9) -> rule1))] Harry is white.[(triple15 OR ((triple13 triple9) -> rule3) OR ((((triple9) -> rule4) triple9) -> rule3) OR ((((triple11 triple14) -> rule2) triple9) -> rule3))] @1: Anne is kind.[(((triple1) -> rule4) OR ((triple2 ((triple1 triple4) -> rule7)) -> rule2) OR ((triple2 ((triple4 triple1) -> rule1)) -> rule2) OR ((((triple1 triple4) -> rule7) triple4) -> rule8) OR ((((triple4 triple1) -> rule1) triple4) -> rule8))] Anne is red.[(((triple1 triple4) -> rule7) OR ((triple4 triple1) -> rule1) OR ((triple1 ((((triple1) -> rule4) triple1) -> rule3)) -> rule7) OR ((((((triple1) -> rule4) triple1) -> rule3) triple1) -> rule1))] Fiona is white.[(((triple8 triple5) -> rule3) OR ((((triple5) -> rule4) triple5) -> rule3))] @2: Fiona is green.[(((triple7 ((triple8 triple5) -> rule3)) -> rule5) OR ((triple7 ((((triple5) -> rule4) triple5) -> rule3)) -> rule5))] Fiona is red.[(((triple5 ((triple8 triple5) -> rule3)) -> rule7) OR ((((triple8 triple5) -> rule3) triple5) -> rule1) OR ((triple5 ((((triple5) -> rule4) triple5) -> rule3)) -> rule7) OR ((((((triple5) -> rule4) triple5) -> rule3) triple5) -> rule1))]