Bob is not blue. Bob is not cold. Bob is kind. Bob is nice. Bob is not quiet. Bob is rough. Bob is not young. If Bob is cold then Bob is young. Quiet, kind things are not cold. Nice, quiet things are rough. If something is kind and not nice then it is blue. All young, rough things are quiet. If Bob is rough then Bob is not cold.
Bob is not cold.
@0: Bob is kind.[(triple3)] Bob is nice.[(triple4)] Bob is not blue.[(triple1)] Bob is not cold.[(triple2 OR ((triple6) -> rule6))] Bob is not quiet.[(triple5)] Bob is not young.[(triple7)] Bob is rough.[(triple6)]