Bob is round. Charlie is red. Dave is not red. All round people are white. All smart, round people are white. If someone is smart and not green then they are white. Rough, green people are blue. Smart, red people are not round. Red people are not round.
Charlie is not red.
@0: Bob is round.[(triple1)] Charlie is red.[(triple2)] Dave is not red.[(triple3)] @1: Bob is white.[(((triple1) -> rule1))] Charlie is not round.[(((triple2) -> rule6))]