Erin is furry. Erin is green. Erin is kind. Erin is nice. Erin is quiet. Erin is red. Erin is rough. If someone is furry and not rough then they are quiet. If someone is furry and rough then they are quiet. If Erin is not furry then Erin is not green. If someone is quiet and not furry then they are not kind. All furry, nice people are green. Furry people are green.
Erin is quiet.
@0: Erin is furry.[(triple1)] Erin is green.[(triple2 OR ((triple1) -> rule6) OR ((triple1 triple4) -> rule5))] Erin is kind.[(triple3)] Erin is nice.[(triple4)] Erin is quiet.[(triple5 OR ((triple1 triple7) -> rule2))] Erin is red.[(triple6)] Erin is rough.[(triple7)]