Harry is blue. Harry is not cold. Harry is furry. Harry is nice. Harry is quiet. Harry is red. Harry is not round. Quiet, blue people are furry. If Harry is red then Harry is quiet. Blue, cold people are red. If someone is blue and not nice then they are cold. Round, furry people are blue. All cold people are round.
Harry is not nice.
@0: Harry is blue.[(triple1)] Harry is furry.[(triple3 OR ((triple5 triple1) -> rule1) OR ((((triple6) -> rule2) triple1) -> rule1))] Harry is nice.[(triple4)] Harry is not cold.[(triple2)] Harry is not round.[(triple7)] Harry is quiet.[(triple5 OR ((triple6) -> rule2))] Harry is red.[(triple6)]