Anne is red. Charlie is not cold. Fiona is not red. Red people are smart.
Fiona is not red.
@0: Anne is red.[(triple1)] Charlie is not cold.[(triple2)] Fiona is not red.[(triple3)] @1: Anne is smart.[(((triple1) -> rule1))]