Harry is cold. Harry is not green. Harry is nice. Harry is red. Harry is rough. Harry is white. Harry is young. If Harry is green and Harry is not young then Harry is cold. If Harry is not young then Harry is red. Red, nice things are rough. If something is green and not red then it is rough. If something is white and not red then it is nice. All young, red things are nice.
Harry is white.
@0: Harry is cold.[(triple1)] Harry is nice.[(triple3 OR ((triple7 triple4) -> rule6))] Harry is not green.[(triple2)] Harry is red.[(triple4)] Harry is rough.[(triple5 OR ((triple4 triple3) -> rule3) OR ((triple4 ((triple7 triple4) -> rule6)) -> rule3))] Harry is white.[(triple6)] Harry is young.[(triple7)]