Bob is nice. Bob is rough. Erin is kind. If someone is rough then they are quiet.
Erin is not quiet.
@0: Bob is nice.[(triple1)] Bob is rough.[(triple2)] Erin is kind.[(triple3)] @1: Bob is quiet.[(((triple2) -> rule1))]