Erin is young. If Erin is smart and Erin is nice then Erin is furry. All furry, white people are red. If someone is young then they are smart.
Erin is nice.
@0: Erin is young.[(triple1)] @1: Erin is smart.[(((triple1) -> rule3))]