Harry is blue. Harry is furry. Harry is kind. Harry is nice. Harry is quiet. Harry is red. Harry is rough. Red, kind people are quiet. If Harry is kind and Harry is nice then Harry is red. Nice, red people are rough. Rough people are nice. If Harry is furry and Harry is red then Harry is nice. Kind, nice people are rough.
Harry is not nice.
@0: Harry is blue.[(triple1)] Harry is furry.[(triple2)] Harry is kind.[(triple3)] Harry is nice.[(triple4 OR ((triple7) -> rule4) OR ((triple2 triple6) -> rule5))] Harry is quiet.[(triple5 OR ((triple6 triple3) -> rule1) OR ((((triple3 triple4) -> rule2) triple3) -> rule1) OR ((((triple3 ((triple7) -> rule4)) -> rule2) triple3) -> rule1))] Harry is red.[(triple6 OR ((triple3 triple4) -> rule2) OR ((triple3 ((triple7) -> rule4)) -> rule2))] Harry is rough.[(triple7 OR ((triple3 triple4) -> rule6) OR ((triple4 triple6) -> rule3) OR ((triple3 ((triple2 triple6) -> rule5)) -> rule6) OR ((triple4 ((triple3 triple4) -> rule2)) -> rule3) OR ((((triple2 triple6) -> rule5) triple6) -> rule3) OR ((((triple2 triple6) -> rule5) ((triple3 triple4) -> rule2)) -> rule3))]