Charlie is green. Charlie is red. Charlie is rough. Dave is green. Dave is nice. Dave is not red. Dave is rough. Dave is round. Dave is not smart. Dave is white. Nice people are not smart. Green people are rough. If someone is smart and not red then they are not rough. If someone is smart then they are green. All nice, white people are green. If someone is red and white then they are not round. If Charlie is round then Charlie is green. If Charlie is nice then Charlie is green.
Dave is not white.
@0: Charlie is green.[(triple1)] Charlie is red.[(triple2)] Charlie is rough.[(triple3 OR ((triple1) -> rule2))] Dave is green.[(triple4 OR ((triple5 triple10) -> rule5))] Dave is nice.[(triple5)] Dave is not red.[(triple6)] Dave is not smart.[(triple9 OR ((triple5) -> rule1))] Dave is rough.[(triple7 OR ((triple4) -> rule2) OR ((((triple5 triple10) -> rule5)) -> rule2))] Dave is round.[(triple8)] Dave is white.[(triple10)]