Anne is smart. Charlie is quiet. Fiona is cold. All nice people are big. If Charlie is nice then Charlie is big. Nice people are green. All big people are nice. Cold people are smart. If someone is big then they are blue.
Charlie is not smart.
@0: Anne is smart.[(triple1)] Charlie is quiet.[(triple2)] Fiona is cold.[(triple3)] @1: Fiona is smart.[(((triple3) -> rule5))]