Erin is cold. Erin is not nice. Erin is red. Erin is smart. Fiona is cold. Fiona is nice. Fiona is quiet. All red things are young. All red things are quiet. Nice things are red.
Erin is not blue.
@0: Erin is cold.[(triple1)] Erin is not nice.[(triple2)] Erin is red.[(triple3)] Erin is smart.[(triple4)] Fiona is cold.[(triple5)] Fiona is nice.[(triple6)] Fiona is quiet.[(triple7 OR ((((triple6) -> rule3)) -> rule2))] @1: Erin is quiet.[(((triple3) -> rule2))] Erin is young.[(((triple3) -> rule1))] Fiona is red.[(((triple6) -> rule3))] @2: Fiona is young.[(((((triple6) -> rule3)) -> rule1))]