Anne is not quiet. Bob is green. Charlie is nice. Fiona is big. All big people are rough. If someone is rough then they are not round.
Fiona is not rough.
@0: Anne is not quiet.[(triple1)] Bob is green.[(triple2)] Charlie is nice.[(triple3)] Fiona is big.[(triple4)] @1: Fiona is rough.[(((triple4) -> rule1))] @2: Fiona is not round.[(((((triple4) -> rule1)) -> rule2))]