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