Anne is big. Anne is not green. Anne is kind. Anne is quiet. Anne is red. Anne is not round. Anne is not white. Dave is big. Dave is green. Dave is kind. Dave is not red. Dave is white. Fiona is kind. Fiona is red. Harry is white. Big people are quiet.
Anne is not red.
@0: Anne is big.[(triple1)] Anne is kind.[(triple3)] Anne is not green.[(triple2)] Anne is not round.[(triple6)] Anne is not white.[(triple7)] Anne is quiet.[(triple4 OR ((triple1) -> rule1))] Anne is red.[(triple5)] Dave is big.[(triple8)] Dave is green.[(triple9)] Dave is kind.[(triple10)] Dave is not red.[(triple11)] Dave is white.[(triple12)] Fiona is kind.[(triple13)] Fiona is red.[(triple14)] Harry is white.[(triple15)] @1: Dave is quiet.[(((triple8) -> rule1))]