Anne is cold. Anne is nice. Anne is rough. Anne is round. Anne is white. Charlie is blue. Charlie is cold. Charlie is round. Charlie is white. Dave is blue. Dave is cold. Dave is nice. Dave is quiet. Dave is rough. Dave is white. Nice, blue people are rough. If someone is quiet then they are rough.
Anne is not round.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is rough.[(triple3)] Anne is round.[(triple4)] Anne is white.[(triple5)] Charlie is blue.[(triple6)] Charlie is cold.[(triple7)] Charlie is round.[(triple8)] Charlie is white.[(triple9)] Dave is blue.[(triple10)] Dave is cold.[(triple11)] Dave is nice.[(triple12)] Dave is quiet.[(triple13)] Dave is rough.[(triple14 OR ((triple13) -> rule2) OR ((triple12 triple10) -> rule1))] Dave is white.[(triple15)]