Dave is big. Erin is big. Erin is not kind. Erin is rough. Fiona is big. Gary is nice. Gary is rough. If something is big and rough then it is not quiet.
Dave is not quiet.
@0: Dave is big.[(triple1)] Erin is big.[(triple2)] Erin is not kind.[(triple3)] Erin is rough.[(triple4)] Fiona is big.[(triple5)] Gary is nice.[(triple6)] Gary is rough.[(triple7)] @1: Erin is not quiet.[(((triple2 triple4) -> rule1))]