Bob is blue. Bob is cold. Bob is nice. Bob is quiet. Bob is rough. Bob is not white. Bob is not young. Charlie is blue. Charlie is nice. Charlie is quiet. Charlie is not white. Charlie is young. If something is cold and young then it is not quiet. Cold things are blue. If something is white and not quiet then it is not rough.
Charlie is cold.
@0: Bob is blue.[(triple1 OR ((triple2) -> rule2))] Bob is cold.[(triple2)] Bob is nice.[(triple3)] Bob is not white.[(triple6)] Bob is not young.[(triple7)] Bob is quiet.[(triple4)] Bob is rough.[(triple5)] Charlie is blue.[(triple8)] Charlie is nice.[(triple9)] Charlie is not white.[(triple11)] Charlie is quiet.[(triple10)] Charlie is young.[(triple12)]