Anne is big. Anne is furry. Anne is green. Anne is kind. Anne is round. Anne is smart. Anne is white. Dave is big. Dave is furry. Dave is green. Dave is kind. Dave is round. Dave is smart. Dave is white. If something is smart then it is kind.
Dave is not white.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is kind.[(triple4 OR ((triple6) -> rule1))] Anne is round.[(triple5)] Anne is smart.[(triple6)] Anne is white.[(triple7)] Dave is big.[(triple8)] Dave is furry.[(triple9)] Dave is green.[(triple10)] Dave is kind.[(triple11 OR ((triple13) -> rule1))] Dave is round.[(triple12)] Dave is smart.[(triple13)] Dave is white.[(triple14)]