Anne is big. Anne is green. Anne is kind. Anne is not nice. Anne is round. Anne is white. Dave is cold. Dave is nice. Dave is not white. Gary is white. Green people are round.
Dave is not white.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is not nice.[(triple4)] Anne is round.[(triple5 OR ((triple2) -> rule1))] Anne is white.[(triple6)] Dave is cold.[(triple7)] Dave is nice.[(triple8)] Dave is not white.[(triple9)] Gary is white.[(triple10)]