Erin is not blue. Erin is furry. Erin is kind. Erin is not nice. Erin is quiet. Erin is rough. Harry is blue. Harry is furry. Harry is kind. Harry is nice. Harry is quiet. Harry is rough. If Erin is kind then Erin is not blue. If Harry is kind and Harry is not furry then Harry is blue. If something is kind and not green then it is not rough. Furry, green things are rough. Green things are kind. If Harry is furry and Harry is nice then Harry is rough.
Harry is not nice.
@0: Erin is furry.[(triple2)] Erin is kind.[(triple3)] Erin is not blue.[(triple1 OR ((triple3) -> rule1))] Erin is not nice.[(triple4)] Erin is quiet.[(triple5)] Erin is rough.[(triple6)] Harry is blue.[(triple7)] Harry is furry.[(triple8)] Harry is kind.[(triple9)] Harry is nice.[(triple10)] Harry is quiet.[(triple11)] Harry is rough.[(triple12 OR ((triple8 triple10) -> rule6))]