Harry is big. Harry is blue. Harry is cold. Harry is furry. Harry is quiet. Harry is rough. Harry is not white. If someone is blue and not cold then they are furry. If someone is rough then they are furry. Cold people are furry. If someone is cold then they are blue. If Harry is furry and Harry is white then Harry is rough. If Harry is blue then Harry is rough. All cold people are quiet. If Harry is cold and Harry is not rough then Harry is big.
Harry is not cold.
@0: Harry is big.[(triple1)] Harry is blue.[(triple2 OR ((triple3) -> rule4))] Harry is cold.[(triple3)] Harry is furry.[(triple4 OR ((triple3) -> rule3) OR ((triple6) -> rule2) OR ((((triple2) -> rule6)) -> rule2) OR ((((((triple3) -> rule4)) -> rule6)) -> rule2))] Harry is not white.[(triple7)] Harry is quiet.[(triple5 OR ((triple3) -> rule7))] Harry is rough.[(triple6 OR ((triple2) -> rule6) OR ((((triple3) -> rule4)) -> rule6))]