Charlie is kind. Charlie is red. Charlie is white. Charlie is young. Dave is cold. Dave is kind. Dave is red. Dave is not rough. Dave is white. Dave is young. Rough, white things are cold. White things are kind. If Charlie is not cold then Charlie is young. If something is rough then it is not young. If something is cold and not red then it is young. If something is white and kind then it is young. If Charlie is not white then Charlie is kind. If Charlie is young then Charlie is kind.
Charlie is not cold.
@0: Charlie is kind.[(triple1 OR ((triple3) -> rule2) OR ((triple4) -> rule8))] Charlie is red.[(triple2)] Charlie is white.[(triple3)] Charlie is young.[(triple4 OR ((triple3 triple1) -> rule6) OR ((triple3 ((triple3) -> rule2)) -> rule6))] Dave is cold.[(triple5)] Dave is kind.[(triple6 OR ((triple9) -> rule2))] Dave is not rough.[(triple8)] Dave is red.[(triple7)] Dave is white.[(triple9)] Dave is young.[(triple10 OR ((triple9 triple6) -> rule6) OR ((triple9 ((triple9) -> rule2)) -> rule6))]