Harry is cold. Harry is green. Harry is nice. Harry is quiet. Harry is not rough. Harry is not smart. Harry is white. All nice, smart people are not white. If someone is white and not green then they are nice. If someone is white then they are not smart. Smart, quiet people are rough. If someone is white and cold then they are quiet. If someone is smart and not nice then they are not cold. All nice, white people are cold. If Harry is smart and Harry is cold then Harry is not quiet.
Harry is not green.
@0: Harry is cold.[(triple1 OR ((triple3 triple7) -> rule7))] Harry is green.[(triple2)] Harry is nice.[(triple3)] Harry is not rough.[(triple5)] Harry is not smart.[(triple6 OR ((triple7) -> rule3))] Harry is quiet.[(triple4 OR ((triple7 triple1) -> rule5) OR ((triple7 ((triple3 triple7) -> rule7)) -> rule5))] Harry is white.[(triple7)]