Anne is green. Charlie is nice. Fiona is nice. All rough, nice things are quiet. If Fiona is kind and Fiona is rough then Fiona is big. All green, rough things are quiet. Green things are big. Kind, nice things are rough. All kind things are green.
Fiona is kind.
@0: Anne is green.[(triple1)] Charlie is nice.[(triple2)] Fiona is nice.[(triple3)] @1: Anne is big.[(((triple1) -> rule4))]