Bob is white. Charlie is kind. Charlie is young. Dave is furry. Gary is furry. Gary is round. Gary is young. If someone is cold and not young then they are white. Furry, quiet people are white. Cold people are not furry. If someone is quiet then they are furry. White people are not quiet. If Charlie is round then Charlie is cold.
Charlie is not white.
@0: Bob is white.[(triple1)] Charlie is kind.[(triple2)] Charlie is young.[(triple3)] Dave is furry.[(triple4)] Gary is furry.[(triple5)] Gary is round.[(triple6)] Gary is young.[(triple7)] @1: Bob is not quiet.[(((triple1) -> rule5))]