Charlie is cold. Charlie is green. Charlie is kind. Dave is not big. Dave is cold. Dave is green. Dave is kind. Dave is not round. Dave is white. Harry is big. Harry is cold. Harry is green. If someone is round and not green then they are big. If Harry is cold then Harry is white. If Harry is kind and Harry is big then Harry is not white. Kind, big people are cold. Quiet people are cold. If someone is white then they are quiet. If someone is big and not green then they are not kind. All cold people are not round.
Harry is not green.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Dave is cold.[(triple5 OR ((((triple9) -> rule6)) -> rule5))] Dave is green.[(triple6)] Dave is kind.[(triple7)] Dave is not big.[(triple4)] Dave is not round.[(triple8 OR ((triple5) -> rule8) OR ((((((triple9) -> rule6)) -> rule5)) -> rule8))] Dave is white.[(triple9)] Harry is big.[(triple10)] Harry is cold.[(triple11)] Harry is green.[(triple12)] @1: Charlie is not round.[(((triple1) -> rule8))] Dave is quiet.[(((triple9) -> rule6))] Harry is not round.[(((triple11) -> rule8))] Harry is white.[(((triple11) -> rule2))] @2: Harry is quiet.[(((((triple11) -> rule2)) -> rule6))]