Harry is not blue. Harry is cold. Harry is furry. Harry is green. Harry is nice. Harry is smart. Harry is young. If Harry is smart then Harry is nice. If Harry is blue and Harry is smart then Harry is nice. All smart, green things are furry. All young things are furry. If something is smart and not cold then it is young. All smart things are green.
Harry is not smart.
@0: Harry is cold.[(triple2)] Harry is furry.[(triple3 OR ((triple7) -> rule4) OR ((triple6 triple4) -> rule3) OR ((triple6 ((triple6) -> rule6)) -> rule3))] Harry is green.[(triple4 OR ((triple6) -> rule6))] Harry is nice.[(triple5 OR ((triple6) -> rule1))] Harry is not blue.[(triple1)] Harry is smart.[(triple6)] Harry is young.[(triple7)]