Anne is blue. Anne is green. Anne is kind. Anne is nice. Anne is quiet. Anne is rough. Anne is white. Dave is blue. Dave is green. Dave is kind. Dave is nice. Dave is quiet. Dave is rough. Dave is white. All blue, rough things are kind. If something is green then it is nice. If something is white and green then it is quiet.
Anne is rough.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3 OR ((triple1 triple6) -> rule1))] Anne is nice.[(triple4 OR ((triple2) -> rule2))] Anne is quiet.[(triple5 OR ((triple7 triple2) -> rule3))] Anne is rough.[(triple6)] Anne is white.[(triple7)] Dave is blue.[(triple8)] Dave is green.[(triple9)] Dave is kind.[(triple10 OR ((triple8 triple13) -> rule1))] Dave is nice.[(triple11 OR ((triple9) -> rule2))] Dave is quiet.[(triple12 OR ((triple14 triple9) -> rule3))] Dave is rough.[(triple13)] Dave is white.[(triple14)]