Charlie is furry. Erin is nice. Gary is quiet. All nice things are not quiet. If Gary is round then Gary is red.
Erin is not quiet.
@0: Charlie is furry.[(triple1)] Erin is nice.[(triple2)] Gary is quiet.[(triple3)] @1: Erin is not quiet.[(((triple2) -> rule1))]