Erin is cold. Erin is green. Erin is round. Green people are quiet. If Erin is blue and Erin is rough then Erin is cold.
Erin is not blue.
@0: Erin is cold.[(triple1)] Erin is green.[(triple2)] Erin is round.[(triple3)] @1: Erin is quiet.[(((triple2) -> rule1))]