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