Erin is furry. If someone is kind then they are blue. If Erin is furry then Erin is nice. All furry people are kind. Young, furry people are quiet. All furry, blue people are quiet. If Erin is red then Erin is quiet. If someone is kind then they are not young. If someone is kind and not young then they are nice.
Erin is furry.
@0: Erin is furry.[(triple1)] @1: Erin is kind.[(((triple1) -> rule3))] Erin is nice.[(((triple1) -> rule2) OR ((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule7)) -> rule8))] @2: Erin is blue.[(((((triple1) -> rule3)) -> rule1))] Erin is not young.[(((((triple1) -> rule3)) -> rule7))] @3: Erin is quiet.[(((triple1 ((((triple1) -> rule3)) -> rule1)) -> rule5))]