Bob is kind. Gary is green. All kind people are not cold. All kind people are quiet. All cold people are green. If Gary is white and Gary is not kind then Gary is not quiet. White people are furry. If someone is cold then they are furry. If someone is blue and not green then they are white. If someone is kind and not cold then they are white.
Gary is not blue.
@0: Bob is kind.[(triple1)] Gary is green.[(triple2)] @1: Bob is not cold.[(((triple1) -> rule1))] Bob is quiet.[(((triple1) -> rule2))] @2: Bob is white.[(((triple1 ((triple1) -> rule1)) -> rule8))] @3: Bob is furry.[(((((triple1 ((triple1) -> rule1)) -> rule8)) -> rule5))]