Anne is red. Erin is young. Fiona is kind. All white things are red. If something is quiet and white then it is kind. If something is quiet then it is red. If something is red then it is rough. All rough things are blue. All young things are blue.
Anne is not blue.
@0: Anne is red.[(triple1)] Erin is young.[(triple2)] Fiona is kind.[(triple3)] @1: Anne is rough.[(((triple1) -> rule4))] Erin is blue.[(((triple2) -> rule6))] @2: Anne is blue.[(((((triple1) -> rule4)) -> rule5))]