Anne is kind. Bob is rough. Erin is kind. If something is quiet and white then it is kind. If Anne is white then Anne is quiet. All rough things are white.
Anne is not round.
@0: Anne is kind.[(triple1)] Bob is rough.[(triple2)] Erin is kind.[(triple3)] @1: Bob is white.[(((triple2) -> rule3))]