Charlie is kind. Charlie is quiet. Fiona is red. If something is red then it is round. All quiet things are rough. If something is rough and round then it is quiet.
Fiona is not quiet.
@0: Charlie is kind.[(triple1)] Charlie is quiet.[(triple2)] Fiona is red.[(triple3)] @1: Charlie is rough.[(((triple2) -> rule2))] Fiona is round.[(((triple3) -> rule1))]