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 round.
@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))]