Bob is not blue. Bob is not furry. Bob is nice. Charlie is not nice. Charlie is red. Gary is nice. Gary is red. Gary is rough. Gary is not white. Harry is blue. Harry is furry. Harry is nice. Harry is quiet. Harry is red. Harry is not rough. Harry is white. All white, quiet people are blue. If someone is furry and not rough then they are white.
Gary is not nice.
@0: Bob is nice.[(triple3)] Bob is not blue.[(triple1)] Bob is not furry.[(triple2)] Charlie is not nice.[(triple4)] Charlie is red.[(triple5)] Gary is nice.[(triple6)] Gary is not white.[(triple9)] Gary is red.[(triple7)] Gary is rough.[(triple8)] Harry is blue.[(triple10 OR ((triple16 triple13) -> rule1) OR ((((triple11 triple15) -> rule2) triple13) -> rule1))] Harry is furry.[(triple11)] Harry is nice.[(triple12)] Harry is not rough.[(triple15)] Harry is quiet.[(triple13)] Harry is red.[(triple14)] Harry is white.[(triple16 OR ((triple11 triple15) -> rule2))]