Anne is young. Charlie is rough. Fiona is green. Nice people are young. All young people are big. If Charlie is smart then Charlie is quiet.
Charlie is not big.
@0: Anne is young.[(triple1)] Charlie is rough.[(triple2)] Fiona is green.[(triple3)] @1: Anne is big.[(((triple1) -> rule2))]