Erin is blue. Erin is nice. Erin is smart. If something is cold and white then it is green. Nice things are quiet. If something is nice and quiet then it is smart.
Erin is not smart.
@0: Erin is blue.[(triple1)] Erin is nice.[(triple2)] Erin is smart.[(triple3 OR ((triple2 ((triple2) -> rule2)) -> rule3))] @1: Erin is quiet.[(((triple2) -> rule2))]