Anne is big. Anne is blue. Anne is green. Anne is not quiet. Anne is red. Anne is white. Anne is young. Dave is big. Dave is blue. Dave is green. Dave is red. Dave is young. White, quiet people are blue. Green people are young.
Dave is big.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is green.[(triple3)] Anne is not quiet.[(triple4)] Anne is red.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7 OR ((triple3) -> rule2))] Dave is big.[(triple8)] Dave is blue.[(triple9)] Dave is green.[(triple10)] Dave is red.[(triple11)] Dave is young.[(triple12 OR ((triple10) -> rule2))]