Bob is cold. Bob is green. Bob is kind. Bob is nice. Bob is rough. Bob is white. Bob is not young. If something is cold and kind then it is white. If something is cold then it is white. All young, kind things are not white. If something is young and not cold then it is green. Kind things are green. Young, kind things are nice. If Bob is rough then Bob is green. All cold, young things are kind.
Bob is not rough.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2 OR ((triple3) -> rule5) OR ((triple5) -> rule7))] Bob is kind.[(triple3)] Bob is nice.[(triple4)] Bob is not young.[(triple7)] Bob is rough.[(triple5)] Bob is white.[(triple6 OR ((triple1) -> rule2) OR ((triple1 triple3) -> rule1))]