Erin is blue. Erin is not rough. Fiona is smart. If Erin is green then Erin is not blue. If something is smart then it is not cold. If Erin is smart then Erin is white.
Erin is cold.
@0: Erin is blue.[(triple1)] Erin is not rough.[(triple2)] Fiona is smart.[(triple3)] @1: Fiona is not cold.[(((triple3) -> rule2))]