Harry is big. Harry is blue. Harry is not cold. Harry is quiet. Harry is red. Harry is not white. Harry is young. If someone is red and not big then they are blue. If someone is red and not cold then they are blue. If Harry is white then Harry is not red. If someone is blue then they are quiet. If Harry is not quiet then Harry is not young. If someone is red and not quiet then they are young.
Harry is big.
@0: Harry is big.[(triple1)] Harry is blue.[(triple2 OR ((triple5 triple3) -> rule2))] Harry is not cold.[(triple3)] Harry is not white.[(triple6)] Harry is quiet.[(triple4 OR ((triple2) -> rule4) OR ((((triple5 triple3) -> rule2)) -> rule4))] Harry is red.[(triple5)] Harry is young.[(triple7)]