Erin is nice. All big, red things are blue. Nice things are quiet. If something is blue and nice then it is cold. If Erin is quiet then Erin is blue. All red things are big. If something is big and quiet then it is smart. If something is red then it is quiet. If Erin is red and Erin is blue then Erin is nice.
Erin is quiet.
@0: Erin is nice.[(triple1)] @1: Erin is quiet.[(((triple1) -> rule2))] @2: Erin is blue.[(((((triple1) -> rule2)) -> rule4))] @3: Erin is cold.[(((((((triple1) -> rule2)) -> rule4) triple1) -> rule3))]