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