Harry is cold. Harry is green. Harry is kind. Harry is quiet. Harry is round. Harry is smart. Harry is white. If Harry is cold and Harry is round then Harry is white. If Harry is kind then Harry is green. If Harry is green and Harry is kind then Harry is white. All smart, round things are green. If something is cold then it is round. All green things are round.
Harry is not green.
@0: Harry is cold.[(triple1)] Harry is green.[(triple2 OR ((triple3) -> rule2) OR ((triple6 triple5) -> rule4) OR ((triple6 ((triple1) -> rule5)) -> rule4))] Harry is kind.[(triple3)] Harry is quiet.[(triple4)] Harry is round.[(triple5 OR ((triple1) -> rule5) OR ((triple2) -> rule6) OR ((((triple3) -> rule2)) -> rule6))] Harry is smart.[(triple6)] Harry is white.[(triple7 OR ((triple1 triple5) -> rule1) OR ((triple2 triple3) -> rule3) OR ((triple1 ((triple1) -> rule5)) -> rule1) OR ((triple1 ((triple2) -> rule6)) -> rule1) OR ((((triple3) -> rule2) triple3) -> rule3) OR ((((triple6 triple5) -> rule4) triple3) -> rule3) OR ((triple1 ((((triple3) -> rule2)) -> rule6)) -> rule1) OR ((((triple6 ((triple1) -> rule5)) -> rule4) triple3) -> rule3))]