Erin is kind. Erin is round. Fiona is nice. Round things are cold.
Fiona is not cold.
@0: Erin is kind.[(triple1)] Erin is round.[(triple2)] Fiona is nice.[(triple3)] @1: Erin is cold.[(((triple2) -> rule1))]