「その自由曲面は注意深いアニュアルである」ということは誤りである
fact1: 仮にこの二音節以上が残るとしたら広がり難くない fact2: もしもそのスキムミルクは甘いとすると「この新都市は残らないけれど甘い」ということは偽である fact3: 「入り辛い物は広がり難い」ということは成り立つ fact4: もしもなんらかの物が平城京東市だとしたらそれはアニュアルだ fact5: もし「その重心座標は国力である」ということは本当ならばその自由曲面は注意深い fact6: 「酸くないしそれに微塵切りである」物はある fact7: その重心座標が煙たいならばその自由曲面は注意深い fact8: とあるものが勧めないしまた入り辛くないとすると「凸凹でない」ということは真実である fact9: 「この新都市は残らないけど甘い」ということは成り立たないならその趣意は広がり難くない fact10: もしも「酸くない一方で微塵切りな」物があるとすればこの金銅装馬具はむさくるしいということはない fact11: 平ったい物は勧めないし入り辛くない fact12: あの七千年前は平城京東市であるということはない fact13: 仮にあの七千年前は煙たいとすれば「残る」ということは本当だ fact14: あの七千年前が残るならこの二音節以上は残る fact15: その重心座標は注意深くないとしたら「その自由曲面は煙たいということはない」ということは正しい fact16: もしも何らかの物は凸凹でないなら「注意深くてそれにそれはアニュアルだ」ということは嘘だ fact17: もし仮に「この二音節以上は凸凹だ」ということは成り立つとしたらあの七千年前は平ったいということはないがしかし入り辛い fact18: もしその趣意が広がり難くないならその重心座標は国力であるかもしくは煙たいかまたは両方だ fact19: 仮に「この金銅装馬具はむさくるしいということはない」ということは成り立つとするとその自由曲面は平城京東市でかつ摩り下ろす fact20: もしあの七千年前が平城京東市でないとすれば煙たいかあるいは国力であるかもしくはどちらもである fact21: もしも「あの七千年前は平ったくないがそれは入り辛い」ということは事実であるならばそのスキムミルクは甘い fact22: この二音節以上は凸凹で勧める
fact22 -> int1: この二音節以上は凸凹である; int1 & fact17 -> int2: あの七千年前は平ったくないが入り辛い; int2 & fact21 -> int3: そのスキムミルクは甘い; int3 & fact2 -> int4: 「この新都市は残らないけど甘い」ということは成り立たない; int4 & fact9 -> int5: その趣意は広がり難くない; int5 & fact18 -> int6: その重心座標は国力であるかまたは煙たい; int6 & fact5 & fact7 -> int7: その自由曲面は注意深い; fact4 -> int8: もし仮にその自由曲面が平城京東市ならそれはアニュアルである; fact10 & fact6 -> int9: この金銅装馬具はむさくるしくない; fact19 & int9 -> int10: その自由曲面が平城京東市だし摩り下ろす; int10 -> int11: その自由曲面は平城京東市だ; int8 & int11 -> int12: その自由曲面はアニュアルだ; int7 & int12 -> hypothesis;
「その自由曲面は注意深いしアニュアルである」ということは嘘である
fact23 -> int13: もしもその自由曲面は凸凹だということはないなら「それは注意深いしその上アニュアルだ」ということは嘘だ; fact28 -> int14: 仮にその自由曲面は勧めないし入り辛いということはないなら凸凹でない; fact26 -> int15: もしも「その自由曲面は平ったくない」ということは事実と異なるとすれば勧めるということはないし入り辛くない; fact25 & fact24 -> int16: あの七千年前は煙たいかもしくはそれは国力である;
$facts$ = fact1: 仮にこの二音節以上が残るとしたら広がり難くない fact2: もしもそのスキムミルクは甘いとすると「この新都市は残らないけれど甘い」ということは偽である fact3: 「入り辛い物は広がり難い」ということは成り立つ fact4: もしもなんらかの物が平城京東市だとしたらそれはアニュアルだ fact5: もし「その重心座標は国力である」ということは本当ならばその自由曲面は注意深い fact6: 「酸くないしそれに微塵切りである」物はある fact7: その重心座標が煙たいならばその自由曲面は注意深い fact8: とあるものが勧めないしまた入り辛くないとすると「凸凹でない」ということは真実である fact9: 「この新都市は残らないけど甘い」ということは成り立たないならその趣意は広がり難くない fact10: もしも「酸くない一方で微塵切りな」物があるとすればこの金銅装馬具はむさくるしいということはない fact11: 平ったい物は勧めないし入り辛くない fact12: あの七千年前は平城京東市であるということはない fact13: 仮にあの七千年前は煙たいとすれば「残る」ということは本当だ fact14: あの七千年前が残るならこの二音節以上は残る fact15: その重心座標は注意深くないとしたら「その自由曲面は煙たいということはない」ということは正しい fact16: もしも何らかの物は凸凹でないなら「注意深くてそれにそれはアニュアルだ」ということは嘘だ fact17: もし仮に「この二音節以上は凸凹だ」ということは成り立つとしたらあの七千年前は平ったいということはないがしかし入り辛い fact18: もしその趣意が広がり難くないならその重心座標は国力であるかもしくは煙たいかまたは両方だ fact19: 仮に「この金銅装馬具はむさくるしいということはない」ということは成り立つとするとその自由曲面は平城京東市でかつ摩り下ろす fact20: もしあの七千年前が平城京東市でないとすれば煙たいかあるいは国力であるかもしくはどちらもである fact21: もしも「あの七千年前は平ったくないがそれは入り辛い」ということは事実であるならばそのスキムミルクは甘い fact22: この二音節以上は凸凹で勧める ; $hypothesis$ = 「その自由曲面は注意深いアニュアルである」ということは誤りである ; $proof$ = 
fact22 -> int1: この二音節以上は凸凹である; int1 & fact17 -> int2: あの七千年前は平ったくないが入り辛い; int2 & fact21 -> int3: そのスキムミルクは甘い; int3 & fact2 -> int4: 「この新都市は残らないけど甘い」ということは成り立たない; int4 & fact9 -> int5: その趣意は広がり難くない; int5 & fact18 -> int6: その重心座標は国力であるかまたは煙たい; int6 & fact5 & fact7 -> int7: その自由曲面は注意深い; fact4 -> int8: もし仮にその自由曲面が平城京東市ならそれはアニュアルである; fact10 & fact6 -> int9: この金銅装馬具はむさくるしくない; fact19 & int9 -> int10: その自由曲面が平城京東市だし摩り下ろす; int10 -> int11: その自由曲面は平城京東市だ; int8 & int11 -> int12: その自由曲面はアニュアルだ; int7 & int12 -> hypothesis; __DISPROVED__
事実1: 仮にこの二音節以上が残るとしたら広がり難くない
事実2: もしもそのスキムミルクは甘いとすると「この新都市は残らないけれど甘い」ということは偽である
事実3: 「入り辛い物は広がり難い」ということは成り立つ
事実4: もしもなんらかの物が平城京東市だとしたらそれはアニュアルだ
事実5: もし「その重心座標は国力である」ということは本当ならばその自由曲面は注意深い
事実6: 「酸くないしそれに微塵切りである」物はある
事実7: その重心座標が煙たいならばその自由曲面は注意深い
事実8: とあるものが勧めないしまた入り辛くないとすると「凸凹でない」ということは真実である
事実9: 「この新都市は残らないけど甘い」ということは成り立たないならその趣意は広がり難くない
事実10: もしも「酸くない一方で微塵切りな」物があるとすればこの金銅装馬具はむさくるしいということはない
事実11: 平ったい物は勧めないし入り辛くない
事実12: あの七千年前は平城京東市であるということはない
事実13: 仮にあの七千年前は煙たいとすれば「残る」ということは本当だ
事実14: あの七千年前が残るならこの二音節以上は残る
事実15: その重心座標は注意深くないとしたら「その自由曲面は煙たいということはない」ということは正しい
事実16: もしも何らかの物は凸凹でないなら「注意深くてそれにそれはアニュアルだ」ということは嘘だ
事実17: もし仮に「この二音節以上は凸凹だ」ということは成り立つとしたらあの七千年前は平ったいということはないがしかし入り辛い
事実18: もしその趣意が広がり難くないならその重心座標は国力であるかもしくは煙たいかまたは両方だ
事実19: 仮に「この金銅装馬具はむさくるしいということはない」ということは成り立つとするとその自由曲面は平城京東市でかつ摩り下ろす
事実20: もしあの七千年前が平城京東市でないとすれば煙たいかあるいは国力であるかもしくはどちらもである
事実21: もしも「あの七千年前は平ったくないがそれは入り辛い」ということは事実であるならばそのスキムミルクは甘い
事実22: この二音節以上は凸凹で勧める

仮説: 「その自由曲面は注意深いアニュアルである」ということは誤りである
1. 事実22から、推論1: "この二音節以上は凸凹である"が導かれる
2. 推論1と事実17から、推論2: "あの七千年前は平ったくないが入り辛い"が導かれる
3. 推論2と事実21から、推論3: "そのスキムミルクは甘い"が導かれる
4. 推論3と事実2から、推論4: "「この新都市は残らないけど甘い」ということは成り立たない"が導かれる
5. 推論4と事実9から、推論5: "その趣意は広がり難くない"が導かれる
6. 推論5と事実18から、推論6: "その重心座標は国力であるかまたは煙たい"が導かれる
7. 推論6と事実5と事実7から、推論7: "その自由曲面は注意深い"が導かれる
8. 事実4から、推論8: "もし仮にその自由曲面が平城京東市ならそれはアニュアルである"が導かれる
9. 事実10と事実6から、推論9: "この金銅装馬具はむさくるしくない"が導かれる
10. 事実19と推論9から、推論10: "その自由曲面が平城京東市だし摩り下ろす"が導かれる
11. 推論10から、推論11: "その自由曲面は平城京東市だ"が導かれる
12. 推論8と推論11から、推論12: "その自由曲面はアニュアルだ"が導かれる
13. 推論7と推論12から、仮説が否定される

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