Anne is big. Bob is rough. Charlie is blue. Erin is kind. If someone is kind then they are rough. If someone is big then they are kind.
Bob is not kind.
@0: Anne is big.[(triple1)] Bob is rough.[(triple2)] Charlie is blue.[(triple3)] Erin is kind.[(triple4)] @1: Anne is kind.[(((triple1) -> rule2))] Erin is rough.[(((triple4) -> rule1))] @2: Anne is rough.[(((((triple1) -> rule2)) -> rule1))]