Harry is big. Harry is not cold. Harry is green. Harry is nice. Harry is not quiet. Harry is red. Harry is not white. If Harry is big then Harry is nice. If someone is green and white then they are nice. All quiet, green people are nice. If someone is cold and nice then they are not quiet. If someone is green and not red then they are quiet. If someone is green then they are not quiet. If someone is white and not red then they are green. If someone is cold then they are white.
Harry is not red.
@0: Harry is big.[(triple1)] Harry is green.[(triple3)] Harry is nice.[(triple4 OR ((triple1) -> rule1))] Harry is not cold.[(triple2)] Harry is not quiet.[(triple5 OR ((triple3) -> rule6))] Harry is not white.[(triple7)] Harry is red.[(triple6)]