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