Bob is blue. Bob is cold. Bob is not kind. Bob is not red. Bob is rough. Bob is not smart. Bob is young. If Bob is red then Bob is young. If Bob is red and Bob is rough then Bob is not blue. If Bob is rough and Bob is red then Bob is cold. If something is rough then it is young. If something is rough then it is young. If something is kind and not young then it is not cold.
Bob is not kind.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is not kind.[(triple3)] Bob is not red.[(triple4)] Bob is not smart.[(triple6)] Bob is rough.[(triple5)] Bob is young.[(triple7 OR ((triple5) -> rule4) OR ((triple5) -> rule5))]