Erin is young. All big people are not red. If Erin is furry then Erin is not young. Red, quiet people are not big. If someone is quiet and not furry then they are blue. All quiet people are blue. Quiet people are nice. If someone is young then they are nice. If someone is blue and not furry then they are young.
Erin is furry.
@0: Erin is young.[(triple1)] @1: Erin is nice.[(((triple1) -> rule7))]