Anne is big. Anne is blue. Anne is not green. Anne is nice. Anne is quiet. Anne is red. Anne is white. Dave is not big. Dave is blue. Dave is green. Dave is nice. Dave is quiet. Dave is red. Dave is white. If someone is quiet then they are red. All green people are nice.
Anne is not green.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is nice.[(triple4)] Anne is not green.[(triple3)] Anne is quiet.[(triple5)] Anne is red.[(triple6 OR ((triple5) -> rule1))] Anne is white.[(triple7)] Dave is blue.[(triple9)] Dave is green.[(triple10)] Dave is nice.[(triple11 OR ((triple10) -> rule2))] Dave is not big.[(triple8)] Dave is quiet.[(triple12)] Dave is red.[(triple13 OR ((triple12) -> rule1))] Dave is white.[(triple14)]