Anne is furry. Bob is blue. Bob is furry. Bob is nice. Bob is quiet. Bob is white. Dave is furry. Dave is nice. Dave is quiet. Dave is red. Dave is rough. Dave is white. If Anne is furry and Anne is white then Anne is nice. If Bob is red then Bob is blue. Quiet, white things are blue. All white, nice things are quiet. If Bob is blue and Bob is furry then Bob is nice. Furry, red things are rough. Red things are nice. All red, white things are nice.
Bob is not rough.
@0: Anne is furry.[(triple1)] Bob is blue.[(triple2 OR ((triple5 triple6) -> rule3) OR ((((triple6 triple4) -> rule4) triple6) -> rule3))] Bob is furry.[(triple3)] Bob is nice.[(triple4 OR ((triple2 triple3) -> rule5) OR ((((triple5 triple6) -> rule3) triple3) -> rule5))] Bob is quiet.[(triple5 OR ((triple6 triple4) -> rule4) OR ((triple6 ((triple2 triple3) -> rule5)) -> rule4))] Bob is white.[(triple6)] Dave is furry.[(triple7)] Dave is nice.[(triple8 OR ((triple10) -> rule7) OR ((triple10 triple12) -> rule8))] Dave is quiet.[(triple9 OR ((triple12 triple8) -> rule4) OR ((triple12 ((triple10) -> rule7)) -> rule4) OR ((triple12 ((triple10 triple12) -> rule8)) -> rule4))] Dave is red.[(triple10)] Dave is rough.[(triple11 OR ((triple7 triple10) -> rule6))] Dave is white.[(triple12)] @1: Dave is blue.[(((triple9 triple12) -> rule3) OR ((((triple12 triple8) -> rule4) triple12) -> rule3) OR ((((triple12 ((triple10) -> rule7)) -> rule4) triple12) -> rule3) OR ((((triple12 ((triple10 triple12) -> rule8)) -> rule4) triple12) -> rule3))]