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