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.
Bob is quiet.
@0: Anne is big.[(triple1)] Bob is not round.[(triple2)] Charlie is quiet.[(triple3)] @1: Charlie is round.[(((triple3) -> rule1))]