Erin is young. Fiona is big. If something is big then it is not kind. If Fiona is round and Fiona is not big then Fiona is young. If Fiona is not kind then Fiona is cold. If Erin is big and Erin is not kind then Erin is young. If something is round and not cold then it is young. If something is young and kind then it is not blue.
Erin is blue.
@0: Erin is young.[(triple1)] Fiona is big.[(triple2)] @1: Fiona is not kind.[(((triple2) -> rule1))] @2: Fiona is cold.[(((((triple2) -> rule1)) -> rule3))]