Harry is blue. Harry is furry. Harry is kind. Harry is red. Harry is rough. Harry is white. Harry is young. White, rough people are blue. All furry people are rough. All blue, white people are rough. All furry, young people are red. If Harry is young then Harry is furry. Kind people are red.
Harry is not red.
@0: Harry is blue.[(triple1 OR ((triple6 triple5) -> rule1) OR ((triple6 ((triple2) -> rule2)) -> rule1) OR ((triple6 ((((triple7) -> rule5)) -> rule2)) -> rule1))] Harry is furry.[(triple2 OR ((triple7) -> rule5))] Harry is kind.[(triple3)] Harry is red.[(triple4 OR ((triple3) -> rule6) OR ((triple2 triple7) -> rule4) OR ((((triple7) -> rule5) triple7) -> rule4))] Harry is rough.[(triple5 OR ((triple2) -> rule2) OR ((triple1 triple6) -> rule3) OR ((((triple7) -> rule5)) -> rule2))] Harry is white.[(triple6)] Harry is young.[(triple7)]