Anne is blue. Anne is kind. Anne is round. Anne is smart. Anne is not white. Bob is green. Bob is smart. Bob is white. Charlie is not blue. Charlie is furry. Charlie is kind. Charlie is round. Charlie is not smart. Fiona is not blue. Fiona is green. Fiona is kind. All smart things are kind. All green things are round. White things are smart. If something is smart then it is furry. If something is blue and green then it is white. If something is round and green then it is white.
Fiona is not white.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2 OR ((triple4) -> rule1))] Anne is not white.[(triple5)] Anne is round.[(triple3)] Anne is smart.[(triple4)] Bob is green.[(triple6)] Bob is smart.[(triple7 OR ((triple8) -> rule3) OR ((((((triple6) -> rule2) triple6) -> rule6)) -> rule3))] Bob is white.[(triple8 OR ((((triple6) -> rule2) triple6) -> rule6))] Charlie is furry.[(triple10)] Charlie is kind.[(triple11)] Charlie is not blue.[(triple9)] Charlie is not smart.[(triple13)] Charlie is round.[(triple12)] Fiona is green.[(triple15)] Fiona is kind.[(triple16 OR ((((((((triple15) -> rule2) triple15) -> rule6)) -> rule3)) -> rule1))] Fiona is not blue.[(triple14)] @1: Anne is furry.[(((triple4) -> rule4))] Bob is furry.[(((triple7) -> rule4) OR ((((triple8) -> rule3)) -> rule4) OR ((((((((triple6) -> rule2) triple6) -> rule6)) -> rule3)) -> rule4))] Bob is kind.[(((triple7) -> rule1) OR ((((triple8) -> rule3)) -> rule1) OR ((((((((triple6) -> rule2) triple6) -> rule6)) -> rule3)) -> rule1))] Bob is round.[(((triple6) -> rule2))] Fiona is round.[(((triple15) -> rule2))] @2: Fiona is white.[(((((triple15) -> rule2) triple15) -> rule6))] @3: Fiona is smart.[(((((((triple15) -> rule2) triple15) -> rule6)) -> rule3))] @4: Fiona is furry.[(((((((((triple15) -> rule2) triple15) -> rule6)) -> rule3)) -> rule4))]