Anne is not big. Anne is blue. Anne is rough. Charlie is big. Charlie is blue. Charlie is rough. Dave is big. Dave is blue. Dave is kind. Dave is rough. Dave is not round. Erin is blue. White things are big. If something is white and not rough then it is round. All kind things are not round. If something is white then it is blue. If Anne is round and Anne is rough then Anne is kind. If something is blue and not white then it is cold. White things are not cold. If Dave is rough and Dave is not white then Dave is not blue.
Erin is not round.
@0: Anne is blue.[(triple2)] Anne is not big.[(triple1)] Anne is rough.[(triple3)] Charlie is big.[(triple4)] Charlie is blue.[(triple5)] Charlie is rough.[(triple6)] Dave is big.[(triple7)] Dave is blue.[(triple8)] Dave is kind.[(triple9)] Dave is not round.[(triple11 OR ((triple9) -> rule3))] Dave is rough.[(triple10)] Erin is blue.[(triple12)]