Anne is rough. Anne is white. Charlie is big. Charlie is cold. Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is round. Charlie is white. Dave is big. Dave is cold. Dave is kind. Dave is quiet. Dave is rough. Dave is round. Dave is white. If Anne is kind then Anne is not cold. Cold, white things are quiet. Big things are round.
Anne is kind.
@0: Anne is rough.[(triple1)] Anne is white.[(triple2)] Charlie is big.[(triple3)] Charlie is cold.[(triple4)] Charlie is kind.[(triple5)] Charlie is quiet.[(triple6 OR ((triple4 triple9) -> rule2))] Charlie is rough.[(triple7)] Charlie is round.[(triple8 OR ((triple3) -> rule3))] Charlie is white.[(triple9)] Dave is big.[(triple10)] Dave is cold.[(triple11)] Dave is kind.[(triple12)] Dave is quiet.[(triple13 OR ((triple11 triple16) -> rule2))] Dave is rough.[(triple14)] Dave is round.[(triple15 OR ((triple10) -> rule3))] Dave is white.[(triple16)]