Harry is blue. Harry is green. Harry is kind. Harry is not nice. Harry is not red. Harry is not smart. Harry is white. If Harry is green then Harry is blue.
Harry is red.
@0: Harry is blue.[(triple1 OR ((triple2) -> rule1))] Harry is green.[(triple2)] Harry is kind.[(triple3)] Harry is not nice.[(triple4)] Harry is not red.[(triple5)] Harry is not smart.[(triple6)] Harry is white.[(triple7)]