Bob is not white. Dave is green. Harry is nice. Nice people are white. If Harry is big then Harry is nice. If Dave is rough and Dave is green then Dave is big. If Harry is white and Harry is not nice then Harry is rough. If someone is rough and not quiet then they are green. All white people are green.
Dave is not big.
@0: Bob is not white.[(triple1)] Dave is green.[(triple2)] Harry is nice.[(triple3)] @1: Harry is white.[(((triple3) -> rule1))] @2: Harry is green.[(((((triple3) -> rule1)) -> rule6))]