Anne is big. Anne is furry. Anne is green. Anne is not quiet. Anne is red. Anne is round. Anne is white. Harry is big. Harry is not furry. Harry is green. Harry is not quiet. Harry is red. Harry is round. Harry is white. All big things are white.
Anne is not round.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is not quiet.[(triple4)] Anne is red.[(triple5)] Anne is round.[(triple6)] Anne is white.[(triple7 OR ((triple1) -> rule1))] Harry is big.[(triple8)] Harry is green.[(triple10)] Harry is not furry.[(triple9)] Harry is not quiet.[(triple11)] Harry is red.[(triple12)] Harry is round.[(triple13)] Harry is white.[(triple14 OR ((triple8) -> rule1))]