Charlie is blue. Erin is not rough. Fiona is not big. If Fiona is not big then Fiona is blue. If something is blue and not big then it is not nice.
Erin is nice.
@0: Charlie is blue.[(triple1)] Erin is not rough.[(triple2)] Fiona is not big.[(triple3)] @1: Fiona is blue.[(((triple3) -> rule1))] @2: Fiona is not nice.[(((((triple3) -> rule1) triple3) -> rule2))]