Anne is green. Dave is kind. Gary is red. Harry is smart. If something is blue then it is not furry. All red, rough things are not furry. If Harry is green then Harry is red.
Anne is smart.
@0: Anne is green.[(triple1)] Dave is kind.[(triple2)] Gary is red.[(triple3)] Harry is smart.[(triple4)]