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