Harry is not cold. Harry is green. Harry is nice. Harry is quiet. Harry is round. Harry is not smart. Harry is young. Cold people are not nice. If someone is cold then they are smart. If someone is round then they are young. All round, quiet people are green. If someone is quiet and not nice then they are not green. If someone is cold then they are round. All green people are round. If someone is round and nice then they are quiet.
Harry is not nice.
@0: Harry is green.[(triple2 OR ((triple5 triple4) -> rule4) OR ((triple5 ((triple5 triple3) -> rule8)) -> rule4))] Harry is nice.[(triple3)] Harry is not cold.[(triple1)] Harry is not smart.[(triple6)] Harry is quiet.[(triple4 OR ((triple5 triple3) -> rule8) OR ((((triple2) -> rule7) triple3) -> rule8))] Harry is round.[(triple5 OR ((triple2) -> rule7))] Harry is young.[(triple7 OR ((triple5) -> rule3) OR ((((triple2) -> rule7)) -> rule3))]