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