Charlie is green. Erin is rough. Fiona is kind. All red, kind people are round. Green people are quiet.
Fiona is green.
@0: Charlie is green.[(triple1)] Erin is rough.[(triple2)] Fiona is kind.[(triple3)] @1: Charlie is quiet.[(((triple1) -> rule2))]