Bob is red. Charlie is young. Dave is nice. If Bob is nice and Bob is blue then Bob is kind. If something is furry and not blue then it is nice. If something is young and white then it is not nice. If something is blue and not white then it is nice. If something is red and not blue then it is furry. All young, furry things are not kind.
Charlie is not young.
@0: Bob is red.[(triple1)] Charlie is young.[(triple2)] Dave is nice.[(triple3)]