Anne is white. Bob is big. Fiona is nice. If something is white then it is young.
Fiona is not nice.
@0: Anne is white.[(triple1)] Bob is big.[(triple2)] Fiona is nice.[(triple3)] @1: Anne is young.[(((triple1) -> rule1))]