Erin is red. Erin is rough. Erin is not white. If Erin is blue and Erin is quiet then Erin is rough. If Erin is rough then Erin is furry. All quiet people are blue. All rough, furry people are not white. If Erin is red then Erin is not white. Rough, furry people are quiet.
Erin is not blue.
@0: Erin is not white.[(triple3 OR ((triple1) -> rule5) OR ((triple2 ((triple2) -> rule2)) -> rule4))] Erin is red.[(triple1)] Erin is rough.[(triple2)] @1: Erin is furry.[(((triple2) -> rule2))] @2: Erin is quiet.[(((triple2 ((triple2) -> rule2)) -> rule6))] @3: Erin is blue.[(((((triple2 ((triple2) -> rule2)) -> rule6)) -> rule3))]