Erin is kind. Erin is nice. Erin is smart. Cold things are smart. If Erin is smart then Erin is blue. If something is blue then it is quiet. If something is cold and kind then it is quiet. All cold things are not blue. If something is quiet and not kind then it is big. All kind things are big. All smart things are nice.
Erin is not smart.
@0: Erin is kind.[(triple1)] Erin is nice.[(triple2 OR ((triple3) -> rule8))] Erin is smart.[(triple3)] @1: Erin is big.[(((triple1) -> rule7))] Erin is blue.[(((triple3) -> rule2))] @2: Erin is quiet.[(((((triple3) -> rule2)) -> rule3))]