Bob is quiet. Bob is red. Harry is not cold. Harry is not furry. Harry is not red. Harry is smart. Harry is white. If someone is white and not quiet then they are red. Red people are not white. If someone is quiet and not red then they are young. If someone is young then they are furry. Cold, white people are not smart. All furry people are smart. Young people are not cold. If someone is red and not furry then they are cold.
Harry is furry.
@0: Bob is quiet.[(triple1)] Bob is red.[(triple2)] Harry is not cold.[(triple3)] Harry is not furry.[(triple4)] Harry is not red.[(triple5)] Harry is smart.[(triple6)] Harry is white.[(triple7)] @1: Bob is not white.[(((triple2) -> rule2))]