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