Bob is round. Charlie is round. Dave is red. Erin is rough. All rough things are not quiet.
Dave is big.
@0: Bob is round.[(triple1)] Charlie is round.[(triple2)] Dave is red.[(triple3)] Erin is rough.[(triple4)] @1: Erin is not quiet.[(((triple4) -> rule1))]