Charlie is kind. Charlie is nice. Charlie is rough. Charlie is round. Charlie is smart. Dave is kind. Dave is nice. Dave is red. Dave is round. Dave is smart. Erin is kind. Erin is nice. Erin is red. Erin is round. Erin is smart. Erin is white. If Charlie is round then Charlie is white. All nice people are smart.
Charlie is not red.
@0: Charlie is kind.[(triple1)] Charlie is nice.[(triple2)] Charlie is rough.[(triple3)] Charlie is round.[(triple4)] Charlie is smart.[(triple5 OR ((triple2) -> rule2))] Dave is kind.[(triple6)] Dave is nice.[(triple7)] Dave is red.[(triple8)] Dave is round.[(triple9)] Dave is smart.[(triple10 OR ((triple7) -> rule2))] Erin is kind.[(triple11)] Erin is nice.[(triple12)] Erin is red.[(triple13)] Erin is round.[(triple14)] Erin is smart.[(triple15 OR ((triple12) -> rule2))] Erin is white.[(triple16)] @1: Charlie is white.[(((triple4) -> rule1))]