Anne is quiet. Anne is red. Charlie is blue. Blue people are young. All big people are quiet. All smart, blue people are young. If Anne is round then Anne is big. If someone is young and smart then they are red. If Charlie is quiet then Charlie is young.
Anne is quiet.
@0: Anne is quiet.[(triple1)] Anne is red.[(triple2)] Charlie is blue.[(triple3)] @1: Charlie is young.[(((triple3) -> rule1))]