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