Erin is not blue. Erin is cold. Fiona is big. Big people are not red. If Erin is kind then Erin is cold. If someone is blue and not red then they are smart.
Fiona is not smart.
@0: Erin is cold.[(triple2)] Erin is not blue.[(triple1)] Fiona is big.[(triple3)] @1: Fiona is not red.[(((triple3) -> rule1))]