Erin is furry. Erin is kind. Erin is round. If something is white then it is nice. All furry things are nice. If Erin is white then Erin is furry. If Erin is nice and Erin is round then Erin is smart. If something is round and not furry then it is kind. Smart, kind things are round. All white things are not round. If Erin is smart and Erin is not round then Erin is green.
Erin is white.
@0: Erin is furry.[(triple1)] Erin is kind.[(triple2)] Erin is round.[(triple3)] @1: Erin is nice.[(((triple1) -> rule2))] @2: Erin is smart.[(((((triple1) -> rule2) triple3) -> rule4))]