Anne is big. Anne is blue. Anne is cold. Anne is smart. Anne is white. Anne is young. Dave is big. Dave is blue. Dave is cold. Dave is smart. Dave is white. Dave is young. Fiona is blue. Fiona is smart. Fiona is young. All smart, kind things are cold. Cold, smart things are kind. All white, smart things are kind. If something is big and cold then it is white. If something is young and blue then it is white. If Dave is blue then Dave is kind.
Fiona is not white.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is cold.[(triple3 OR ((triple4 ((triple5 triple4) -> rule3)) -> rule1) OR ((triple4 ((((triple6 triple2) -> rule5) triple4) -> rule3)) -> rule1))] Anne is smart.[(triple4)] Anne is white.[(triple5 OR ((triple1 triple3) -> rule4) OR ((triple6 triple2) -> rule5))] Anne is young.[(triple6)] Dave is big.[(triple7)] Dave is blue.[(triple8)] Dave is cold.[(triple9 OR ((triple10 ((triple8) -> rule6)) -> rule1) OR ((triple10 ((triple11 triple10) -> rule3)) -> rule1) OR ((triple10 ((((triple12 triple8) -> rule5) triple10) -> rule3)) -> rule1))] Dave is smart.[(triple10)] Dave is white.[(triple11 OR ((triple12 triple8) -> rule5) OR ((triple7 triple9) -> rule4) OR ((triple7 ((triple10 ((triple8) -> rule6)) -> rule1)) -> rule4))] Dave is young.[(triple12)] Fiona is blue.[(triple13)] Fiona is smart.[(triple14)] Fiona is young.[(triple15)] @1: Anne is kind.[(((triple3 triple4) -> rule2) OR ((triple5 triple4) -> rule3) OR ((((triple1 triple3) -> rule4) triple4) -> rule3) OR ((((triple6 triple2) -> rule5) triple4) -> rule3))] Dave is kind.[(((triple8) -> rule6) OR ((triple11 triple10) -> rule3) OR ((triple9 triple10) -> rule2) OR ((((triple12 triple8) -> rule5) triple10) -> rule3) OR ((((triple7 triple9) -> rule4) triple10) -> rule3))] Fiona is white.[(((triple15 triple13) -> rule5))] @2: Fiona is kind.[(((((triple15 triple13) -> rule5) triple14) -> rule3))] @3: Fiona is cold.[(((triple14 ((((triple15 triple13) -> rule5) triple14) -> rule3)) -> rule1))]