Anne is cold. Anne is kind. Anne is nice. Anne is quiet. Anne is rough. Anne is white. Anne is young. Dave is cold. Dave is kind. Dave is nice. Dave is quiet. Dave is rough. Dave is white. Dave is young. If something is white and kind then it is rough.
Anne is white.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4)] Anne is rough.[(triple5 OR ((triple6 triple2) -> rule1))] Anne is white.[(triple6)] Anne is young.[(triple7)] Dave is cold.[(triple8)] Dave is kind.[(triple9)] Dave is nice.[(triple10)] Dave is quiet.[(triple11)] Dave is rough.[(triple12 OR ((triple13 triple9) -> rule1))] Dave is white.[(triple13)] Dave is young.[(triple14)]