あの自主開発原油は列挙出来るということはない
fact1: もしもあの自主開発原油が心無いならこのＮＩは女番長である fact2: もし仮にこのＮＩが注ぎ足すとすればそれは形容し難くないしおまけにそれは女番長でない fact3: あの自主開発原油は心苦しくないしおまけに女番長でない fact4: もし仮に「あの竹カッターは形容し難いということはない」ということは真実なら「その鉄砲は女番長であるしその上それは心無い」ということは成り立たない fact5: 何らかのものがハンディキャップトイレ無しでないとすればそれは焼き過ぎるかあるいは心無い fact6: もしあの自主開発原油が焼き過ぎるならそれは女番長でない fact7: このＮＩは注ぎ足す fact8: もし仮にあの竹カッターが形容し難くないしそれに女番長であるということはないとしたら「その鉄砲は心無くない」ということは事実だ fact9: このＮＩは焼き過ぎるということはない fact10: もし仮にある物は軍事性であるということはないとすると「それはハンディキャップトイレ無しでない」ということは真実である fact11: もし仮にあの自主開発原油が注ぎ足すとするとこのＮＩは列挙出来る fact12: このＮＩは形容し難くない fact13: あの竹カッターは形容し難くないししかもそれは女番長でない fact14: 「このＮＩは出来難くないけどそれは保存管理だ」ということは事実でない fact15: あの自主開発原油が焼き過ぎるとすればこのＮＩは女番長である fact16: その酒盛りは注ぎ足す fact17: 仮に「とあるものは列挙出来ないがしかし軍事性である」ということは成り立たないとしたらそれはハンディキャップトイレ無しだということはない fact18: あの自主開発原油は軍事性だ fact19: もし仮に「あの自主開発原油は軍事性でない」ということは正しいとするとハンディキャップトイレ無しでない
fact17 -> int1: もし「あの自主開発原油は列挙出来ないけど軍事性である」ということは事実と異なればそれはハンディキャップトイレ無しであるということはない; void -> assump1: 以下のように仮定する。「あの自主開発原油は列挙出来ないが軍事性だ」ということは成り立たない; int1 & assump1 -> int2: あの自主開発原油はハンディキャップトイレ無しであるということはない; fact5 -> int3: もしあの自主開発原油がハンディキャップトイレ無しでないならそれは焼き過ぎるかもしくは心無いかまたはどちらもである; int2 & int3 -> int4: あの自主開発原油は焼き過ぎるかそれは心無いかまたは両方だ; int4 & fact15 & fact1 -> int5: このＮＩは女番長だ; fact7 & fact2 -> int6: このＮＩは形容し難くないし女番長であるということはない; int6 -> int7: このＮＩは女番長でない; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの自主開発原油は列挙出来ないけどそれは軍事性である; int9 -> hypothesis;
あの自主開発原油は列挙出来る
$facts$ = fact1: もしもあの自主開発原油が心無いならこのＮＩは女番長である fact2: もし仮にこのＮＩが注ぎ足すとすればそれは形容し難くないしおまけにそれは女番長でない fact3: あの自主開発原油は心苦しくないしおまけに女番長でない fact4: もし仮に「あの竹カッターは形容し難いということはない」ということは真実なら「その鉄砲は女番長であるしその上それは心無い」ということは成り立たない fact5: 何らかのものがハンディキャップトイレ無しでないとすればそれは焼き過ぎるかあるいは心無い fact6: もしあの自主開発原油が焼き過ぎるならそれは女番長でない fact7: このＮＩは注ぎ足す fact8: もし仮にあの竹カッターが形容し難くないしそれに女番長であるということはないとしたら「その鉄砲は心無くない」ということは事実だ fact9: このＮＩは焼き過ぎるということはない fact10: もし仮にある物は軍事性であるということはないとすると「それはハンディキャップトイレ無しでない」ということは真実である fact11: もし仮にあの自主開発原油が注ぎ足すとするとこのＮＩは列挙出来る fact12: このＮＩは形容し難くない fact13: あの竹カッターは形容し難くないししかもそれは女番長でない fact14: 「このＮＩは出来難くないけどそれは保存管理だ」ということは事実でない fact15: あの自主開発原油が焼き過ぎるとすればこのＮＩは女番長である fact16: その酒盛りは注ぎ足す fact17: 仮に「とあるものは列挙出来ないがしかし軍事性である」ということは成り立たないとしたらそれはハンディキャップトイレ無しだということはない fact18: あの自主開発原油は軍事性だ fact19: もし仮に「あの自主開発原油は軍事性でない」ということは正しいとするとハンディキャップトイレ無しでない ; $hypothesis$ = あの自主開発原油は列挙出来るということはない ; $proof$ = 
fact17 -> int1: もし「あの自主開発原油は列挙出来ないけど軍事性である」ということは事実と異なればそれはハンディキャップトイレ無しであるということはない; void -> assump1: 以下のように仮定する。「あの自主開発原油は列挙出来ないが軍事性だ」ということは成り立たない; int1 & assump1 -> int2: あの自主開発原油はハンディキャップトイレ無しであるということはない; fact5 -> int3: もしあの自主開発原油がハンディキャップトイレ無しでないならそれは焼き過ぎるかもしくは心無いかまたはどちらもである; int2 & int3 -> int4: あの自主開発原油は焼き過ぎるかそれは心無いかまたは両方だ; int4 & fact15 & fact1 -> int5: このＮＩは女番長だ; fact7 & fact2 -> int6: このＮＩは形容し難くないし女番長であるということはない; int6 -> int7: このＮＩは女番長でない; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの自主開発原油は列挙出来ないけどそれは軍事性である; int9 -> hypothesis; __PROVED__
事実1: もしもあの自主開発原油が心無いならこのＮＩは女番長である
事実2: もし仮にこのＮＩが注ぎ足すとすればそれは形容し難くないしおまけにそれは女番長でない
事実3: あの自主開発原油は心苦しくないしおまけに女番長でない
事実4: もし仮に「あの竹カッターは形容し難いということはない」ということは真実なら「その鉄砲は女番長であるしその上それは心無い」ということは成り立たない
事実5: 何らかのものがハンディキャップトイレ無しでないとすればそれは焼き過ぎるかあるいは心無い
事実6: もしあの自主開発原油が焼き過ぎるならそれは女番長でない
事実7: このＮＩは注ぎ足す
事実8: もし仮にあの竹カッターが形容し難くないしそれに女番長であるということはないとしたら「その鉄砲は心無くない」ということは事実だ
事実9: このＮＩは焼き過ぎるということはない
事実10: もし仮にある物は軍事性であるということはないとすると「それはハンディキャップトイレ無しでない」ということは真実である
事実11: もし仮にあの自主開発原油が注ぎ足すとするとこのＮＩは列挙出来る
事実12: このＮＩは形容し難くない
事実13: あの竹カッターは形容し難くないししかもそれは女番長でない
事実14: 「このＮＩは出来難くないけどそれは保存管理だ」ということは事実でない
事実15: あの自主開発原油が焼き過ぎるとすればこのＮＩは女番長である
事実16: その酒盛りは注ぎ足す
事実17: 仮に「とあるものは列挙出来ないがしかし軍事性である」ということは成り立たないとしたらそれはハンディキャップトイレ無しだということはない
事実18: あの自主開発原油は軍事性だ
事実19: もし仮に「あの自主開発原油は軍事性でない」ということは正しいとするとハンディキャップトイレ無しでない

仮説: あの自主開発原油は列挙出来るということはない
1. 事実17から、推論1: "もし「あの自主開発原油は列挙出来ないけど軍事性である」ということは事実と異なればそれはハンディキャップトイレ無しであるということはない"が導かれる
2. 仮定1: 以下のように仮定する。「あの自主開発原油は列挙出来ないが軍事性だ」ということは成り立たない
3. 推論1と仮定1から、推論2: "あの自主開発原油はハンディキャップトイレ無しであるということはない"が導かれる
4. 事実5から、推論3: "もしあの自主開発原油がハンディキャップトイレ無しでないならそれは焼き過ぎるかもしくは心無いかまたはどちらもである"が導かれる
5. 推論2と推論3から、推論4: "あの自主開発原油は焼き過ぎるかそれは心無いかまたは両方だ"が導かれる
6. 推論4と事実15と事実1から、推論5: "このＮＩは女番長だ"が導かれる
7. 事実7と事実2から、推論6: "このＮＩは形容し難くないし女番長であるということはない"が導かれる
8. 推論6から、推論7: "このＮＩは女番長でない"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "あの自主開発原油は列挙出来ないけどそれは軍事性である"が導かれる
11. 推論9から、仮説が導かれる

よって、仮説が証明されました。