Erin is smart. If Erin is young then Erin is kind. If Erin is red then Erin is kind. All smart things are big. Kind, red things are smart. If Erin is smart then Erin is red. If something is kind and not big then it is quiet.
Erin is smart.
@0: Erin is smart.[(triple1)] @1: Erin is big.[(((triple1) -> rule3))] Erin is red.[(((triple1) -> rule5))] @2: Erin is kind.[(((((triple1) -> rule5)) -> rule2))]