Anne is white. Dave is not kind. Erin is rough. Fiona is young. If someone is rough and young then they are not quiet. If someone is white then they are rough. If someone is young then they are white. Kind, rough people are white. White, young people are cold. All cold, quiet people are young.
Erin is cold.
@0: Anne is white.[(triple1)] Dave is not kind.[(triple2)] Erin is rough.[(triple3)] Fiona is young.[(triple4)] @1: Anne is rough.[(((triple1) -> rule2))] Fiona is white.[(((triple4) -> rule3))] @2: Fiona is cold.[(((((triple4) -> rule3) triple4) -> rule5))] Fiona is rough.[(((((triple4) -> rule3)) -> rule2))] @3: Fiona is not quiet.[(((((((triple4) -> rule3)) -> rule2) triple4) -> rule1))]