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