Anne is young. Charlie is round. Gary is green. If someone is young and quiet then they are green. Young people are green. If Gary is round and Gary is red then Gary is nice. If someone is red then they are quiet. If someone is round then they are red. All white, green people are round.
Anne is not young.
@0: Anne is young.[(triple1)] Charlie is round.[(triple2)] Gary is green.[(triple3)] @1: Anne is green.[(((triple1) -> rule2))] Charlie is red.[(((triple2) -> rule5))] @2: Charlie is quiet.[(((((triple2) -> rule5)) -> rule4))]