Charlie is big. Charlie is quiet. Fiona is smart. If Fiona is kind then Fiona is quiet. If something is big then it is red.
Fiona is quiet.
@0: Charlie is big.[(triple1)] Charlie is quiet.[(triple2)] Fiona is smart.[(triple3)] @1: Charlie is red.[(((triple1) -> rule2))]