Anne is furry. Anne is rough. Anne is white. Bob is nice. Bob is rough. Bob is white. Dave is rough. Dave is white. Fiona is furry. Fiona is quiet. All quiet, red people are furry. If Dave is green and Dave is nice then Dave is red. If Fiona is white and Fiona is green then Fiona is quiet. All nice people are furry. If someone is furry then they are green. If someone is furry and quiet then they are nice. If someone is green then they are quiet. All rough people are furry.
Dave is not nice.
@0: Anne is furry.[(triple1 OR ((triple2) -> rule8))] Anne is rough.[(triple2)] Anne is white.[(triple3)] Bob is nice.[(triple4 OR ((((triple5) -> rule8) ((((((triple5) -> rule8)) -> rule5)) -> rule7)) -> rule6))] Bob is rough.[(triple5)] Bob is white.[(triple6)] Dave is rough.[(triple7)] Dave is white.[(triple8)] Fiona is furry.[(triple9)] Fiona is quiet.[(triple10 OR ((((triple9) -> rule5)) -> rule7))] @1: Anne is green.[(((triple1) -> rule5) OR ((((triple2) -> rule8)) -> rule5))] Bob is furry.[(((triple4) -> rule4) OR ((triple5) -> rule8))] Dave is furry.[(((triple7) -> rule8))] Fiona is green.[(((triple9) -> rule5))] Fiona is nice.[(((triple9 triple10) -> rule6) OR ((triple9 ((((triple9) -> rule5)) -> rule7)) -> rule6))] @2: Anne is quiet.[(((((triple1) -> rule5)) -> rule7) OR ((((((triple2) -> rule8)) -> rule5)) -> rule7))] Bob is green.[(((((triple4) -> rule4)) -> rule5) OR ((((triple5) -> rule8)) -> rule5))] Dave is green.[(((((triple7) -> rule8)) -> rule5))] @3: Anne is nice.[(((triple1 ((((triple1) -> rule5)) -> rule7)) -> rule6) OR ((((triple2) -> rule8) ((((triple1) -> rule5)) -> rule7)) -> rule6) OR ((triple1 ((((((triple2) -> rule8)) -> rule5)) -> rule7)) -> rule6) OR ((((triple2) -> rule8) ((((((triple2) -> rule8)) -> rule5)) -> rule7)) -> rule6))] Bob is quiet.[(((((((triple4) -> rule4)) -> rule5)) -> rule7) OR ((((((triple5) -> rule8)) -> rule5)) -> rule7))] Dave is quiet.[(((((((triple7) -> rule8)) -> rule5)) -> rule7))] @4: Dave is nice.[(((((triple7) -> rule8) ((((((triple7) -> rule8)) -> rule5)) -> rule7)) -> rule6))] @5: Dave is red.[(((((((triple7) -> rule8)) -> rule5) ((((triple7) -> rule8) ((((((triple7) -> rule8)) -> rule5)) -> rule7)) -> rule6)) -> rule2))]