Harry is blue. Harry is furry. Harry is kind. Harry is not nice. Harry is red. Harry is not round. Harry is young. If something is round then it is not blue. All nice things are not young. If Harry is kind then Harry is red. All young, blue things are kind. Round things are red. All young, nice things are round.
Harry is not kind.
@0: Harry is blue.[(triple1)] Harry is furry.[(triple2)] Harry is kind.[(triple3 OR ((triple7 triple1) -> rule4))] Harry is not nice.[(triple4)] Harry is not round.[(triple6)] Harry is red.[(triple5 OR ((triple3) -> rule3) OR ((((triple7 triple1) -> rule4)) -> rule3))] Harry is young.[(triple7)]