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