Anne is not blue. Anne is kind. Bob is nice. Bob is young. Gary is quiet. Harry is quiet. Harry is young. If Anne is quiet then Anne is rough. All green, rough people are not blue. Green people are nice.
Harry is young.
@0: Anne is kind.[(triple2)] Anne is not blue.[(triple1)] Bob is nice.[(triple3)] Bob is young.[(triple4)] Gary is quiet.[(triple5)] Harry is quiet.[(triple6)] Harry is young.[(triple7)]