Harry is blue. Harry is furry. Harry is green. Harry is kind. Harry is round. Harry is smart. Harry is white. If someone is white and kind then they are furry. If someone is kind then they are furry. Kind people are green. If someone is blue and not white then they are not smart. All smart, white people are blue. All white people are blue.
Harry is not furry.
@0: Harry is blue.[(triple1 OR ((triple7) -> rule6) OR ((triple6 triple7) -> rule5))] Harry is furry.[(triple2 OR ((triple4) -> rule2) OR ((triple7 triple4) -> rule1))] Harry is green.[(triple3 OR ((triple4) -> rule3))] Harry is kind.[(triple4)] Harry is round.[(triple5)] Harry is smart.[(triple6)] Harry is white.[(triple7)]