Anne is smart. Bob is red. Dave is furry. If Bob is quiet then Bob is not big. If Anne is furry then Anne is not cold. If someone is big then they are cold. Furry, white people are not cold. If someone is white and red then they are smart. All furry, cold people are smart. If someone is red then they are big. If someone is smart then they are red.
Bob is not white.
@0: Anne is smart.[(triple1)] Bob is red.[(triple2)] Dave is furry.[(triple3)] @1: Anne is red.[(((triple1) -> rule8))] Bob is big.[(((triple2) -> rule7))] @2: Anne is big.[(((((triple1) -> rule8)) -> rule7))] Bob is cold.[(((((triple2) -> rule7)) -> rule3))] @3: Anne is cold.[(((((((triple1) -> rule8)) -> rule7)) -> rule3))]