Charlie is nice. Charlie is not smart. Fiona is smart. If someone is red and round then they are not green. Nice people are quiet.
Fiona is round.
@0: Charlie is nice.[(triple1)] Charlie is not smart.[(triple2)] Fiona is smart.[(triple3)] @1: Charlie is quiet.[(((triple1) -> rule2))]