Anne is quiet. Anne is smart. Charlie is kind. Charlie is red. Charlie is round. Dave is cold. Dave is green. Dave is kind. Dave is red. Harry is cold. Harry is green. Harry is kind. Harry is quiet. Harry is red. Harry is smart. If Anne is kind then Anne is smart. If someone is kind then they are red. If Dave is quiet then Dave is red. Round, green people are cold. All green people are kind. All kind people are quiet. If someone is cold and smart then they are round. Quiet, kind people are green.
Dave is not cold.
@0: Anne is quiet.[(triple1)] Anne is smart.[(triple2)] Charlie is kind.[(triple3)] Charlie is red.[(triple4 OR ((triple3) -> rule2))] Charlie is round.[(triple5)] Dave is cold.[(triple6)] Dave is green.[(triple7 OR ((((triple8) -> rule6) triple8) -> rule8))] Dave is kind.[(triple8 OR ((triple7) -> rule5))] Dave is red.[(triple9 OR ((triple8) -> rule2) OR ((((triple7) -> rule5)) -> rule2) OR ((((triple8) -> rule6)) -> rule3) OR ((((((triple7) -> rule5)) -> rule6)) -> rule3))] Harry is cold.[(triple10)] Harry is green.[(triple11 OR ((triple13 triple12) -> rule8) OR ((((triple12) -> rule6) triple12) -> rule8))] Harry is kind.[(triple12 OR ((triple11) -> rule5))] Harry is quiet.[(triple13 OR ((triple12) -> rule6) OR ((((triple11) -> rule5)) -> rule6))] Harry is red.[(triple14 OR ((triple12) -> rule2) OR ((((triple11) -> rule5)) -> rule2))] Harry is smart.[(triple15)] @1: Charlie is quiet.[(((triple3) -> rule6))] Dave is quiet.[(((triple8) -> rule6) OR ((((triple7) -> rule5)) -> rule6))] Harry is round.[(((triple10 triple15) -> rule7))] @2: Charlie is green.[(((((triple3) -> rule6) triple3) -> rule8))] @3: Charlie is cold.[(((triple5 ((((triple3) -> rule6) triple3) -> rule8)) -> rule4))]