Erin is red. Big people are furry. If someone is nice and smart then they are red. If Erin is smart and Erin is furry then Erin is white. If Erin is red then Erin is big. If Erin is red and Erin is white then Erin is smart. If someone is nice then they are red.
Erin is red.
@0: Erin is red.[(triple1)] @1: Erin is big.[(((triple1) -> rule4))] @2: Erin is furry.[(((((triple1) -> rule4)) -> rule1))]