Anne is kind. Charlie is white. Fiona is red. Young people are white. If someone is white then they are red. All red people are kind.
Anne is blue.
@0: Anne is kind.[(triple1)] Charlie is white.[(triple2)] Fiona is red.[(triple3)] @1: Charlie is red.[(((triple2) -> rule2))] Fiona is kind.[(((triple3) -> rule3))] @2: Charlie is kind.[(((((triple2) -> rule2)) -> rule3))]