Anne is green. Dave is big. Dave is rough. If someone is big then they are white. Quiet people are rough.
Dave is big.
@0: Anne is green.[(triple1)] Dave is big.[(triple2)] Dave is rough.[(triple3)] @1: Dave is white.[(((triple2) -> rule1))]