Charlie is not cold. Charlie is kind. Dave is cold. Gary is round. Harry is cold. Harry is kind. Harry is not nice. All kind, cold things are not nice. Red things are smart. Nice things are not smart. All nice, round things are not white. All kind things are white. If something is white and not cold then it is red. If Harry is kind then Harry is white. White things are round.
Charlie is not cold.
@0: Charlie is kind.[(triple2)] Charlie is not cold.[(triple1)] Dave is cold.[(triple3)] Gary is round.[(triple4)] Harry is cold.[(triple5)] Harry is kind.[(triple6)] Harry is not nice.[(triple7 OR ((triple6 triple5) -> rule1))] @1: Charlie is white.[(((triple2) -> rule5))] Harry is white.[(((triple6) -> rule5) OR ((triple6) -> rule7))] @2: Charlie is red.[(((((triple2) -> rule5) triple1) -> rule6))] Charlie is round.[(((((triple2) -> rule5)) -> rule8))] Harry is round.[(((((triple6) -> rule5)) -> rule8) OR ((((triple6) -> rule7)) -> rule8))] @3: Charlie is smart.[(((((((triple2) -> rule5) triple1) -> rule6)) -> rule2))]