Anne is young. Harry is not red. If someone is young and not green then they are not nice. Red people are nice. If someone is green and not smart then they are nice. Green people are young. If someone is smart then they are not young. If Anne is red then Anne is blue.
Harry is blue.
@0: Anne is young.[(triple1)] Harry is not red.[(triple2)]