Erin is round. All round things are smart. All big, round things are smart. If something is young and round then it is big. All red, white things are cold. Cold things are smart. All round, white things are red.
Erin is round.
@0: Erin is round.[(triple1)] @1: Erin is smart.[(((triple1) -> rule1))]