（私と付き合う）⇒｛（頭が良い）∧（数学ができる）∧（かっこいい）∧（独創的）｝
（Ann.of Mathに論文書く）⇒（私と付き合う）

（Ann.of Mathに論文書く）⇒｛（頭が良い）∧（数学ができる）∧（かっこいい）∧（独創的）｝