Anne is green. Bob is kind. Green, blue people are smart. If someone is quiet then they are not smart. If Bob is nice then Bob is not smart. Blue, young people are not green. If someone is smart and young then they are green. All green, blue people are nice. Quiet people are not blue. If Bob is nice and Bob is young then Bob is not kind.
Bob is young.
@0: Anne is green.[(triple1)] Bob is kind.[(triple2)]