Bob is green. Bob is white. Charlie is smart. Charlie is white. Dave is rough. Dave is smart. Fiona is green. Blue, young people are smart. If someone is rough and smart then they are green. If Charlie is green and Charlie is young then Charlie is big.
Bob is not white.
@0: Bob is green.[(triple1)] Bob is white.[(triple2)] Charlie is smart.[(triple3)] Charlie is white.[(triple4)] Dave is rough.[(triple5)] Dave is smart.[(triple6)] Fiona is green.[(triple7)] @1: Dave is green.[(((triple5 triple6) -> rule2))]