Charlie is big. Fiona is rough. Fiona is smart. All rough things are blue.
Fiona is smart.
@0: Charlie is big.[(triple1)] Fiona is rough.[(triple2)] Fiona is smart.[(triple3)] @1: Fiona is blue.[(((triple2) -> rule1))]