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