Bob is smart. Charlie is kind. Dave is furry. Gary is not nice. If Gary is quiet and Gary is not furry then Gary is kind. Quiet people are white. Kind people are quiet. If Gary is smart and Gary is not furry then Gary is cold. Smart, cold people are nice. All furry, kind people are cold. If someone is smart and not white then they are cold. All white people are not cold.
Bob is not white.
@0: Bob is smart.[(triple1)] Charlie is kind.[(triple2)] Dave is furry.[(triple3)] Gary is not nice.[(triple4)] @1: Charlie is quiet.[(((triple2) -> rule3))] @2: Charlie is white.[(((((triple2) -> rule3)) -> rule2))] @3: Charlie is not cold.[(((((((triple2) -> rule3)) -> rule2)) -> rule8))]