Charlie is not nice. Charlie is round. Charlie is smart. Dave is not green. Dave is nice. Dave is rough. Erin is rough. Erin is smart. Gary is round. Gary is white. If someone is red then they are white. Green people are not white. Smart people are round. If someone is white then they are round. If someone is green and nice then they are not red. If someone is nice then they are not red. All white people are smart. Rough people are not green.
Dave is not smart.
@0: Charlie is not nice.[(triple1)] Charlie is round.[(triple2 OR ((triple3) -> rule3))] Charlie is smart.[(triple3)] Dave is nice.[(triple5)] Dave is not green.[(triple4 OR ((triple6) -> rule8))] Dave is rough.[(triple6)] Erin is rough.[(triple7)] Erin is smart.[(triple8)] Gary is round.[(triple9 OR ((triple10) -> rule4) OR ((((triple10) -> rule7)) -> rule3))] Gary is white.[(triple10)] @1: Dave is not red.[(((triple5) -> rule6))] Erin is not green.[(((triple7) -> rule8))] Erin is round.[(((triple8) -> rule3))] Gary is smart.[(((triple10) -> rule7))]