Anne is cold. Anne is kind. Charlie is blue. Charlie is round. Dave is blue. Fiona is not green. Fiona is kind. If Charlie is cold then Charlie is quiet. If Charlie is big then Charlie is not green. If Anne is kind then Anne is big. All big people are blue. Blue people are quiet. If Dave is kind then Dave is cold. If someone is round then they are green. Quiet people are round. If someone is kind and not blue then they are round.
Dave is not green.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Charlie is blue.[(triple3)] Charlie is round.[(triple4 OR ((((triple3) -> rule5)) -> rule8))] Dave is blue.[(triple5)] Fiona is kind.[(triple7)] Fiona is not green.[(triple6)] @1: Anne is big.[(((triple2) -> rule3))] Charlie is green.[(((triple4) -> rule7) OR ((((((triple3) -> rule5)) -> rule8)) -> rule7))] Charlie is quiet.[(((triple3) -> rule5))] Dave is quiet.[(((triple5) -> rule5))] @2: Anne is blue.[(((((triple2) -> rule3)) -> rule4))] Dave is round.[(((((triple5) -> rule5)) -> rule8))] @3: Anne is quiet.[(((((((triple2) -> rule3)) -> rule4)) -> rule5))] Dave is green.[(((((((triple5) -> rule5)) -> rule8)) -> rule7))] @4: Anne is round.[(((((((((triple2) -> rule3)) -> rule4)) -> rule5)) -> rule8))] @5: Anne is green.[(((((((((((triple2) -> rule3)) -> rule4)) -> rule5)) -> rule8)) -> rule7))]