Anne is smart. Bob is smart. Erin is not white. Fiona is not rough. All smart things are cold. If Erin is not quiet and Erin is not rough then Erin is not smart. All cold things are furry.
Bob is not smart.
@0: Anne is smart.[(triple1)] Bob is smart.[(triple2)] Erin is not white.[(triple3)] Fiona is not rough.[(triple4)] @1: Anne is cold.[(((triple1) -> rule1))] Bob is cold.[(((triple2) -> rule1))] @2: Anne is furry.[(((((triple1) -> rule1)) -> rule3))] Bob is furry.[(((((triple2) -> rule1)) -> rule3))]