Anne is quiet. Anne is young. Charlie is blue. All white, cold people are red. All blue people are rough. All quiet people are red.
Charlie is blue.
@0: Anne is quiet.[(triple1)] Anne is young.[(triple2)] Charlie is blue.[(triple3)] @1: Anne is red.[(((triple1) -> rule3))] Charlie is rough.[(((triple3) -> rule2))]