Harry is cold. Harry is furry. Harry is green. Harry is not kind. Harry is not red. Harry is rough. Harry is round. All round, red people are cold. If someone is furry and not kind then they are cold. If someone is round and kind then they are rough. If someone is cold and not round then they are rough. If Harry is kind then Harry is rough. If Harry is not round then Harry is not green. All green, rough people are furry. Red people are green.
Harry is red.
@0: Harry is cold.[(triple1 OR ((triple2 triple4) -> rule2) OR ((((triple3 triple6) -> rule7) triple4) -> rule2))] Harry is furry.[(triple2 OR ((triple3 triple6) -> rule7))] Harry is green.[(triple3)] Harry is not kind.[(triple4)] Harry is not red.[(triple5)] Harry is rough.[(triple6)] Harry is round.[(triple7)]