Erin is smart. If something is white then it is cold. Green things are cold. All furry, white things are smart. If Erin is green and Erin is not furry then Erin is red. Smart, big things are green. All furry, smart things are not big. Smart things are big. If something is cold then it is red.
Erin is not white.
@0: Erin is smart.[(triple1)] @1: Erin is big.[(((triple1) -> rule7))] @2: Erin is green.[(((triple1 ((triple1) -> rule7)) -> rule5))] @3: Erin is cold.[(((((triple1 ((triple1) -> rule7)) -> rule5)) -> rule2))] @4: Erin is red.[(((((((triple1 ((triple1) -> rule7)) -> rule5)) -> rule2)) -> rule8))]