Anne is cold. Anne is green. Anne is kind. Anne is nice. Anne is white. Anne is young. Bob is not green. Bob is white. Bob is young. Dave is blue. Dave is cold. Dave is green. Dave is kind. Dave is not nice. Dave is white. Dave is young. If Bob is green and Bob is not cold then Bob is kind. If Bob is not cold then Bob is not young. If something is blue then it is not nice. If something is green and not white then it is nice. Nice things are green. If something is blue and not young then it is kind.
Bob is cold.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2 OR ((triple4) -> rule5))] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is white.[(triple5)] Anne is young.[(triple6)] Bob is not green.[(triple7)] Bob is white.[(triple8)] Bob is young.[(triple9)] Dave is blue.[(triple10)] Dave is cold.[(triple11)] Dave is green.[(triple12)] Dave is kind.[(triple13)] Dave is not nice.[(triple14 OR ((triple10) -> rule3))] Dave is white.[(triple15)] Dave is young.[(triple16)]