「あの僧は農業用排水路でなくてそれに回りくどくない」ということは誤っている
fact1: その発端は掛かり難い fact2: もし仮にあのアイヌ語が独立後であるならばその発端は閃くということはない fact3: その発端は独立後でなくてかつ回りくどくない fact4: あのアイヌ語は防空施設であるし更に護衛空母だ fact5: 仮になんらかの物は回りくどいなら「農業用排水路でないし防空施設であるということはない」ということは成り立たない fact6: 仮にあのアイヌ語が火傷しないとしたらその発端は防空施設でないしそれにそれは閃くということはない fact7: もし仮にその発端が閃くとするとあの僧は焼き尽くさないがしかしおわす fact8: もしその発端は独立後でないがしかし火傷するとすれば防空施設であるということはない fact9: 仮にあのアイヌ語が農業用排水路でないとすればあの僧は閃かない fact10: その地銀は火傷しない fact11: 「その発端は護衛空母でそれは農業用排水路だ」ということは誤っている fact12: あのアイヌ語は独立後でない fact13: その発端は苦しがらないけど渡る fact14: その発端は防空施設だしさらに護衛空母である fact15: 「あの僧は火傷しない一方で回りくどい」ということは間違いである fact16: あの僧は農業用排水路でないが閃く fact17: あの僧は独立後だ fact18: 「「あの僧は農業用排水路であるしまたそれは護衛空母だ」ということは誤っている」ということは間違いでない fact19: 仮に「その発端は独立後でないが火傷する」ということは嘘であるならあのアイヌ語は閃かない fact20: もしあのアイヌ語が防空施設でないけど火傷すればそれは閃かない fact21: もしも「あのアイヌ語は閃くということはない」ということは事実であるならあの僧は農業用排水路でないしそれにそれは回りくどくない
void -> assump1: 以下のように仮定する。その発端は独立後でないが火傷する; fact8 & assump1 -> int1: その発端は防空施設でない; fact14 -> int2: 「その発端は防空施設である」ということは正しい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「「その発端は独立後でないがそれは火傷する」ということは真実だ」ということは成り立たない; int4 & fact19 -> int5: あのアイヌ語は閃かない; int5 & fact21 -> hypothesis;
「あの僧は農業用排水路だということはなくてかつ回りくどくない」ということは間違っている
fact22 -> int6: 「あのアイヌ語は防空施設だ」ということは事実である; int6 -> int7: とある物は防空施設である;
$facts$ = fact1: その発端は掛かり難い fact2: もし仮にあのアイヌ語が独立後であるならばその発端は閃くということはない fact3: その発端は独立後でなくてかつ回りくどくない fact4: あのアイヌ語は防空施設であるし更に護衛空母だ fact5: 仮になんらかの物は回りくどいなら「農業用排水路でないし防空施設であるということはない」ということは成り立たない fact6: 仮にあのアイヌ語が火傷しないとしたらその発端は防空施設でないしそれにそれは閃くということはない fact7: もし仮にその発端が閃くとするとあの僧は焼き尽くさないがしかしおわす fact8: もしその発端は独立後でないがしかし火傷するとすれば防空施設であるということはない fact9: 仮にあのアイヌ語が農業用排水路でないとすればあの僧は閃かない fact10: その地銀は火傷しない fact11: 「その発端は護衛空母でそれは農業用排水路だ」ということは誤っている fact12: あのアイヌ語は独立後でない fact13: その発端は苦しがらないけど渡る fact14: その発端は防空施設だしさらに護衛空母である fact15: 「あの僧は火傷しない一方で回りくどい」ということは間違いである fact16: あの僧は農業用排水路でないが閃く fact17: あの僧は独立後だ fact18: 「「あの僧は農業用排水路であるしまたそれは護衛空母だ」ということは誤っている」ということは間違いでない fact19: 仮に「その発端は独立後でないが火傷する」ということは嘘であるならあのアイヌ語は閃かない fact20: もしあのアイヌ語が防空施設でないけど火傷すればそれは閃かない fact21: もしも「あのアイヌ語は閃くということはない」ということは事実であるならあの僧は農業用排水路でないしそれにそれは回りくどくない ; $hypothesis$ = 「あの僧は農業用排水路でなくてそれに回りくどくない」ということは誤っている ; $proof$ = 
void -> assump1: 以下のように仮定する。その発端は独立後でないが火傷する; fact8 & assump1 -> int1: その発端は防空施設でない; fact14 -> int2: 「その発端は防空施設である」ということは正しい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「「その発端は独立後でないがそれは火傷する」ということは真実だ」ということは成り立たない; int4 & fact19 -> int5: あのアイヌ語は閃かない; int5 & fact21 -> hypothesis; __DISPROVED__
事実1: その発端は掛かり難い
事実2: もし仮にあのアイヌ語が独立後であるならばその発端は閃くということはない
事実3: その発端は独立後でなくてかつ回りくどくない
事実4: あのアイヌ語は防空施設であるし更に護衛空母だ
事実5: 仮になんらかの物は回りくどいなら「農業用排水路でないし防空施設であるということはない」ということは成り立たない
事実6: 仮にあのアイヌ語が火傷しないとしたらその発端は防空施設でないしそれにそれは閃くということはない
事実7: もし仮にその発端が閃くとするとあの僧は焼き尽くさないがしかしおわす
事実8: もしその発端は独立後でないがしかし火傷するとすれば防空施設であるということはない
事実9: 仮にあのアイヌ語が農業用排水路でないとすればあの僧は閃かない
事実10: その地銀は火傷しない
事実11: 「その発端は護衛空母でそれは農業用排水路だ」ということは誤っている
事実12: あのアイヌ語は独立後でない
事実13: その発端は苦しがらないけど渡る
事実14: その発端は防空施設だしさらに護衛空母である
事実15: 「あの僧は火傷しない一方で回りくどい」ということは間違いである
事実16: あの僧は農業用排水路でないが閃く
事実17: あの僧は独立後だ
事実18: 「「あの僧は農業用排水路であるしまたそれは護衛空母だ」ということは誤っている」ということは間違いでない
事実19: 仮に「その発端は独立後でないが火傷する」ということは嘘であるならあのアイヌ語は閃かない
事実20: もしあのアイヌ語が防空施設でないけど火傷すればそれは閃かない
事実21: もしも「あのアイヌ語は閃くということはない」ということは事実であるならあの僧は農業用排水路でないしそれにそれは回りくどくない

仮説: 「あの僧は農業用排水路でなくてそれに回りくどくない」ということは誤っている
1. 仮定1: 以下のように仮定する。その発端は独立後でないが火傷する
2. 事実8と仮定1から、推論1: "その発端は防空施設でない"が導かれる
3. 事実14から、推論2: "「その発端は防空施設である」ということは正しい"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「「その発端は独立後でないがそれは火傷する」ということは真実だ」ということは成り立たない"が導かれる
6. 推論4と事実19から、推論5: "あのアイヌ語は閃かない"が導かれる
7. 推論5と事実21から、仮説が否定される

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