Anne is kind. Bob is red. Charlie is round. Erin is round. All quiet people are round. If someone is quiet and rough then they are kind. If someone is kind then they are rough.
Charlie is not rough.
@0: Anne is kind.[(triple1)] Bob is red.[(triple2)] Charlie is round.[(triple3)] Erin is round.[(triple4)] @1: Anne is rough.[(((triple1) -> rule3))]