Dave is big. Erin is smart. If something is furry then it is not blue. Nice things are not cold. Furry things are cold. White things are cold. If something is cold then it is not white. Smart things are furry.
Dave is nice.
@0: Dave is big.[(triple1)] Erin is smart.[(triple2)] @1: Erin is furry.[(((triple2) -> rule6))] @2: Erin is cold.[(((((triple2) -> rule6)) -> rule3))] Erin is not blue.[(((((triple2) -> rule6)) -> rule1))] @3: Erin is not white.[(((((((triple2) -> rule6)) -> rule3)) -> rule5))]