Harry is blue. Harry is white. Harry is young. All blue people are not green. All red people are young. If someone is young then they are not red. Smart people are red. If someone is smart and not green then they are not white. If someone is young then they are white. If someone is white and not smart then they are rough. Blue people are not rough.
Harry is white.
@0: Harry is blue.[(triple1)] Harry is white.[(triple2 OR ((triple3) -> rule6))] Harry is young.[(triple3)] @1: Harry is not green.[(((triple1) -> rule1))] Harry is not red.[(((triple3) -> rule3))] Harry is not rough.[(((triple1) -> rule8))]