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