Bob is not blue. Bob is not nice. Bob is red. Bob is rough. Erin is furry. Harry is blue. Harry is not furry. Harry is kind. Harry is not nice. Harry is red. Harry is rough. Harry is white. Kind, blue people are rough.
Harry is nice.
@0: Bob is not blue.[(triple1)] Bob is not nice.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4)] Erin is furry.[(triple5)] Harry is blue.[(triple6)] Harry is kind.[(triple8)] Harry is not furry.[(triple7)] Harry is not nice.[(triple9)] Harry is red.[(triple10)] Harry is rough.[(triple11 OR ((triple8 triple6) -> rule1))] Harry is white.[(triple12)]