Anne is big. Anne is kind. Anne is round. Anne is white. Harry is not green. Harry is kind. Harry is quiet. Harry is red. Harry is not round. Harry is white. If Anne is round then Anne is white. If Anne is quiet then Anne is round. If Anne is quiet then Anne is red.
Anne is not red.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is round.[(triple3)] Anne is white.[(triple4 OR ((triple3) -> rule1))] Harry is kind.[(triple6)] Harry is not green.[(triple5)] Harry is not round.[(triple9)] Harry is quiet.[(triple7)] Harry is red.[(triple8)] Harry is white.[(triple10)]