Bob is cold. Charlie is white. Dave is not young. Gary is kind. If something is white then it is round. If Charlie is not cold then Charlie is kind. If Dave is not round then Dave is cold. If something is blue and not cold then it is not rough. If Bob is rough and Bob is cold then Bob is kind. If something is kind and not blue then it is young.
Bob is not kind.
@0: Bob is cold.[(triple1)] Charlie is white.[(triple2)] Dave is not young.[(triple3)] Gary is kind.[(triple4)] @1: Charlie is round.[(((triple2) -> rule1))]