Bob is white. Charlie is round. Dave is green. Erin is rough. White people are green.
Charlie is not round.
@0: Bob is white.[(triple1)] Charlie is round.[(triple2)] Dave is green.[(triple3)] Erin is rough.[(triple4)] @1: Bob is green.[(((triple1) -> rule1))]