Bob is red. Gary is quiet. If Bob is red then Bob is not furry. If Bob is red and Bob is nice then Bob is cold. If Bob is nice and Bob is smart then Bob is cold. If someone is quiet and furry then they are cold. All nice people are furry. If someone is nice and not blue then they are smart.
Gary is not smart.
@0: Bob is red.[(triple1)] Gary is quiet.[(triple2)] @1: Bob is not furry.[(((triple1) -> rule1))]