「仮にあのスマートドゥーＣが次期であるとするとあの東宮大夫はしつこい」ということは誤りである
fact1: もしも「その読み手・聞き手はおっかなくないがしかしそれは現われ易い」ということは事実と異なれば「この現品はアメリカ人だ」ということは事実と異ならない fact2: もしも「なにがしかのものは丸める」ということは確かならば私利私欲でないが淡い fact3: あのスマートドゥーＣが次期ならその特記事項無しは二日深夜である fact4: もしその特記事項無しがしつこいとするとあのスマートドゥーＣは現われ易くないしアメリカ人でない fact5: もし仮にその特記事項無しは二日深夜だとすれば「その読み手・聞き手はおっかないということはない一方で現われ易い」ということは成り立たない fact6: おっかなくないものは二日深夜であるかあるいは次期であるかまたは両方ともだ fact7: 「もしも現われ易いということはない物はアメリカ人であるということはないとしたら「それはおっかなくない」ということは成り立つ」ということは成り立つ fact8: もし仮にこの現品がアメリカ人だとするとあの東宮大夫はしつこい fact9: 仮にその読み手・聞き手が次期であるとしたらあのスマートドゥーＣはおっかない fact10: もし仮にその読み手・聞き手がおっかないとしたらこの現品はアメリカ人である fact11: 仮にその特記事項無しは二日深夜であるならば「その読み手・聞き手はおっかなくて現われ易い」ということは成り立たない fact12: もしその特記事項無しが淡いとしたらしつこい
void -> assump1: 以下のように仮定する。あのスマートドゥーＣは次期だ; fact3 & assump1 -> int1: その特記事項無しは二日深夜だ; int1 & fact5 -> int2: 「「その読み手・聞き手はおっかなくないがそれは現われ易い」ということは間違っている」ということは事実である; int2 & fact1 -> int3: この現品はアメリカ人だ; int3 & fact8 -> int4: あの東宮大夫はしつこい; [assump1] & int4 -> hypothesis;
あの東宮大夫は二日深夜である
fact15 -> int5: もしあのスマートドゥーＣがおっかなくないとすれば二日深夜であるかまたは次期である; fact16 -> int6: もしもあのスマートドゥーＣが現われ易くないしさらにアメリカ人でないとすればそれはおっかなくない; fact13 -> int7: もしもその特記事項無しが丸めるとしたらそれは私利私欲でなくて更にそれは淡い;
$facts$ = fact1: もしも「その読み手・聞き手はおっかなくないがしかしそれは現われ易い」ということは事実と異なれば「この現品はアメリカ人だ」ということは事実と異ならない fact2: もしも「なにがしかのものは丸める」ということは確かならば私利私欲でないが淡い fact3: あのスマートドゥーＣが次期ならその特記事項無しは二日深夜である fact4: もしその特記事項無しがしつこいとするとあのスマートドゥーＣは現われ易くないしアメリカ人でない fact5: もし仮にその特記事項無しは二日深夜だとすれば「その読み手・聞き手はおっかないということはない一方で現われ易い」ということは成り立たない fact6: おっかなくないものは二日深夜であるかあるいは次期であるかまたは両方ともだ fact7: 「もしも現われ易いということはない物はアメリカ人であるということはないとしたら「それはおっかなくない」ということは成り立つ」ということは成り立つ fact8: もし仮にこの現品がアメリカ人だとするとあの東宮大夫はしつこい fact9: 仮にその読み手・聞き手が次期であるとしたらあのスマートドゥーＣはおっかない fact10: もし仮にその読み手・聞き手がおっかないとしたらこの現品はアメリカ人である fact11: 仮にその特記事項無しは二日深夜であるならば「その読み手・聞き手はおっかなくて現われ易い」ということは成り立たない fact12: もしその特記事項無しが淡いとしたらしつこい ; $hypothesis$ = 「仮にあのスマートドゥーＣが次期であるとするとあの東宮大夫はしつこい」ということは誤りである ; $proof$ = 
void -> assump1: 以下のように仮定する。あのスマートドゥーＣは次期だ; fact3 & assump1 -> int1: その特記事項無しは二日深夜だ; int1 & fact5 -> int2: 「「その読み手・聞き手はおっかなくないがそれは現われ易い」ということは間違っている」ということは事実である; int2 & fact1 -> int3: この現品はアメリカ人だ; int3 & fact8 -> int4: あの東宮大夫はしつこい; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: もしも「その読み手・聞き手はおっかなくないがしかしそれは現われ易い」ということは事実と異なれば「この現品はアメリカ人だ」ということは事実と異ならない
事実2: もしも「なにがしかのものは丸める」ということは確かならば私利私欲でないが淡い
事実3: あのスマートドゥーＣが次期ならその特記事項無しは二日深夜である
事実4: もしその特記事項無しがしつこいとするとあのスマートドゥーＣは現われ易くないしアメリカ人でない
事実5: もし仮にその特記事項無しは二日深夜だとすれば「その読み手・聞き手はおっかないということはない一方で現われ易い」ということは成り立たない
事実6: おっかなくないものは二日深夜であるかあるいは次期であるかまたは両方ともだ
事実7: 「もしも現われ易いということはない物はアメリカ人であるということはないとしたら「それはおっかなくない」ということは成り立つ」ということは成り立つ
事実8: もし仮にこの現品がアメリカ人だとするとあの東宮大夫はしつこい
事実9: 仮にその読み手・聞き手が次期であるとしたらあのスマートドゥーＣはおっかない
事実10: もし仮にその読み手・聞き手がおっかないとしたらこの現品はアメリカ人である
事実11: 仮にその特記事項無しは二日深夜であるならば「その読み手・聞き手はおっかなくて現われ易い」ということは成り立たない
事実12: もしその特記事項無しが淡いとしたらしつこい

仮説: 「仮にあのスマートドゥーＣが次期であるとするとあの東宮大夫はしつこい」ということは誤りである
1. 仮定1: 以下のように仮定する。あのスマートドゥーＣは次期だ
2. 事実3と仮定1から、推論1: "その特記事項無しは二日深夜だ"が導かれる
3. 推論1と事実5から、推論2: "「「その読み手・聞き手はおっかなくないがそれは現われ易い」ということは間違っている」ということは事実である"が導かれる
4. 推論2と事実1から、推論3: "この現品はアメリカ人だ"が導かれる
5. 推論3と事実8から、推論4: "あの東宮大夫はしつこい"が導かれる
6. [仮定1]と推論4から、仮説が否定される

よって、仮説が否定されました。