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