Bob is not cold. Bob is kind. Bob is nice. Bob is not quiet. Bob is not rough. Bob is round. Bob is white. If something is cold then it is kind. If something is nice then it is kind. All kind things are white. All nice, rough things are not white. All rough, nice things are not white. If something is white and not nice then it is rough. If Bob is white and Bob is rough then Bob is not cold. If something is rough and not white then it is not round.
Bob is not round.
@0: Bob is kind.[(triple2 OR ((triple3) -> rule2))] Bob is nice.[(triple3)] Bob is not cold.[(triple1)] Bob is not quiet.[(triple4)] Bob is not rough.[(triple5)] Bob is round.[(triple6)] Bob is white.[(triple7 OR ((triple2) -> rule3) OR ((((triple3) -> rule2)) -> rule3))]