Anne is big. Bob is not round. Charlie is quiet. All quiet things are round. All green, round things are not quiet. If something is smart then it is not green.
Anne is not round.
@0: Anne is big.[(triple1)] Bob is not round.[(triple2)] Charlie is quiet.[(triple3)] @1: Charlie is round.[(((triple3) -> rule1))]