このピラミッド建設は遣り辛いということはない
fact1: このピラミッド建設は御豆だ fact2: もしもこのピラミッド建設は御豆であるとすれば遣り辛い
$facts$ = fact1: このピラミッド建設は御豆だ fact2: もしもこのピラミッド建設は御豆であるとすれば遣り辛い ; $hypothesis$ = このピラミッド建設は遣り辛いということはない ; $proof$ = 
事実1: このピラミッド建設は御豆だ
事実2: もしもこのピラミッド建設は御豆であるとすれば遣り辛い

仮説: このピラミッド建設は遣り辛いということはない