Anne is big. Anne is not blue. Anne is not cold. Anne is not furry. Anne is kind. Anne is quiet. Anne is white. Bob is blue. Bob is not white. Dave is blue. Dave is quiet. Fiona is big. Fiona is blue. Fiona is not cold. Fiona is furry. Fiona is quiet. If someone is kind and not quiet then they are cold. Quiet, kind people are not cold. All big people are kind. Cold, furry people are big. Blue people are big. If Fiona is blue and Fiona is not cold then Fiona is white.
Bob is not big.
@0: Anne is big.[(triple1)] Anne is kind.[(triple5 OR ((triple1) -> rule3))] Anne is not blue.[(triple2)] Anne is not cold.[(triple3 OR ((triple6 triple5) -> rule2) OR ((triple6 ((triple1) -> rule3)) -> rule2))] Anne is not furry.[(triple4)] Anne is quiet.[(triple6)] Anne is white.[(triple7)] Bob is blue.[(triple8)] Bob is not white.[(triple9)] Dave is blue.[(triple10)] Dave is quiet.[(triple11)] Fiona is big.[(triple12 OR ((triple13) -> rule5))] Fiona is blue.[(triple13)] Fiona is furry.[(triple15)] Fiona is not cold.[(triple14 OR ((triple16 ((triple12) -> rule3)) -> rule2) OR ((triple16 ((((triple13) -> rule5)) -> rule3)) -> rule2))] Fiona is quiet.[(triple16)] @1: Bob is big.[(((triple8) -> rule5))] Dave is big.[(((triple10) -> rule5))] Fiona is kind.[(((triple12) -> rule3) OR ((((triple13) -> rule5)) -> rule3))] Fiona is white.[(((triple13 triple14) -> rule6) OR ((triple13 ((triple16 ((triple12) -> rule3)) -> rule2)) -> rule6) OR ((triple13 ((triple16 ((((triple13) -> rule5)) -> rule3)) -> rule2)) -> rule6))] @2: Bob is kind.[(((((triple8) -> rule5)) -> rule3))] Dave is kind.[(((((triple10) -> rule5)) -> rule3))] @3: Dave is not cold.[(((triple11 ((((triple10) -> rule5)) -> rule3)) -> rule2))]