あの保険会社は葱とろであるか素通りするかまたは両方である
fact1: もしそのフォース・ストリートがクラスメイトでないしその上見易くないならあの甘茶はクラスメイトでない fact2: そのメディア・マトリクスがやんごとないとすればそれは狩衣である fact3: あの保険会社は完敗するかもしくはそれは炎上しない fact4: あの保険会社は完敗すれば「そのメディア・マトリクスは国家装置でおまけにやんごとない」ということは間違っている fact5: 仮にそのメディア・マトリクスは消滅しないかあるいは平たくないかあるいは両方ならば破損する fact6: もし仮に何らかの物は狩衣でないならそれは素通りするし完敗する fact7: もし仮にこの注釈本が懐っこいけれど労労じということはないとしたらそのメディア・マトリクスは汚れ切らない fact8: もし「とあるものは古代文化でないけれど喪家だ」ということは成り立たないとするとそれは喪家でない fact9: 仮にそのメディア・マトリクスは完敗しないとすると「あの保険会社は葱とろであるかもしくは素通りするか両方ともである」ということは成り立つということはない fact10: ある物は汚れ切らないならば「古代文化でないが喪家である」ということは成り立たない fact11: もし仮にそのフォース・ストリートが前章でないとすればそれはクラスメイトでないしそれは見易くない fact12: もしなんらかの物は喪家でないとすると「それは狩衣だが炎上しない」ということは成り立たない fact13: そのメディア・マトリクスは葱とろだ fact14: 「そのメディア・マトリクスは国家装置であるしそれにやんごとない」ということは間違いである fact15: 仮に「「そのメディア・マトリクスは国家装置であるがしかしやんごとなくない」ということは誤りである」ということは真実だとすればそれは狩衣だ fact16: もし「あの保険会社は炎上する一方で葱とろでない」ということは誤りだとするとその金庫は狩衣でない fact17: あの甘茶がクラスメイトでないとするとこの注釈本は懐っこいけれど労労じということはない fact18: もし何らかのものは喪家だとすれば「炎上するけど葱とろでない」ということは成り立たない fact19: もしあの保険会社が完敗しないか炎上しないかもしくは両方ともだとしたらそれは素通りする fact20: もし仮にあの保険会社は完敗すれば「そのメディア・マトリクスは国家装置であるがしかしやんごとなくない」ということは誤りだ fact21: そのメディア・マトリクスは狩衣でない fact22: あの保険会社は完敗しないかまたは炎上するかまたは両方ともだ
void -> assump1: 以下のように仮定する。あの保険会社は完敗する; fact20 & assump1 -> int1: 「そのメディア・マトリクスは国家装置だけれどやんごとなくない」ということは間違っている; int1 & fact15 -> int2: そのメディア・マトリクスは狩衣である; int2 & fact21 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの保険会社は完敗しない; int4 -> int5: あの保険会社は完敗するということはないかまたは炎上しないか両方だ; int5 & fact19 -> int6: あの保険会社は素通りする; int6 -> hypothesis;
その金庫は素通りする
fact24 -> int7: もしもその金庫が狩衣でないとするとそれは素通りするしおまけにそれは完敗する; fact25 -> int8: あの保険会社は喪家であるなら「それは炎上するけれど葱とろでない」ということは偽である;
$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$ = 
void -> assump1: 以下のように仮定する。あの保険会社は完敗する; fact20 & assump1 -> int1: 「そのメディア・マトリクスは国家装置だけれどやんごとなくない」ということは間違っている; int1 & fact15 -> int2: そのメディア・マトリクスは狩衣である; int2 & fact21 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの保険会社は完敗しない; int4 -> int5: あの保険会社は完敗するということはないかまたは炎上しないか両方だ; int5 & fact19 -> int6: あの保険会社は素通りする; int6 -> hypothesis; __PROVED__
事実1: もしそのフォース・ストリートがクラスメイトでないしその上見易くないならあの甘茶はクラスメイトでない
事実2: そのメディア・マトリクスがやんごとないとすればそれは狩衣である
事実3: あの保険会社は完敗するかもしくはそれは炎上しない
事実4: あの保険会社は完敗すれば「そのメディア・マトリクスは国家装置でおまけにやんごとない」ということは間違っている
事実5: 仮にそのメディア・マトリクスは消滅しないかあるいは平たくないかあるいは両方ならば破損する
事実6: もし仮に何らかの物は狩衣でないならそれは素通りするし完敗する
事実7: もし仮にこの注釈本が懐っこいけれど労労じということはないとしたらそのメディア・マトリクスは汚れ切らない
事実8: もし「とあるものは古代文化でないけれど喪家だ」ということは成り立たないとするとそれは喪家でない
事実9: 仮にそのメディア・マトリクスは完敗しないとすると「あの保険会社は葱とろであるかもしくは素通りするか両方ともである」ということは成り立つということはない
事実10: ある物は汚れ切らないならば「古代文化でないが喪家である」ということは成り立たない
事実11: もし仮にそのフォース・ストリートが前章でないとすればそれはクラスメイトでないしそれは見易くない
事実12: もしなんらかの物は喪家でないとすると「それは狩衣だが炎上しない」ということは成り立たない
事実13: そのメディア・マトリクスは葱とろだ
事実14: 「そのメディア・マトリクスは国家装置であるしそれにやんごとない」ということは間違いである
事実15: 仮に「「そのメディア・マトリクスは国家装置であるがしかしやんごとなくない」ということは誤りである」ということは真実だとすればそれは狩衣だ
事実16: もし「あの保険会社は炎上する一方で葱とろでない」ということは誤りだとするとその金庫は狩衣でない
事実17: あの甘茶がクラスメイトでないとするとこの注釈本は懐っこいけれど労労じということはない
事実18: もし何らかのものは喪家だとすれば「炎上するけど葱とろでない」ということは成り立たない
事実19: もしあの保険会社が完敗しないか炎上しないかもしくは両方ともだとしたらそれは素通りする
事実20: もし仮にあの保険会社は完敗すれば「そのメディア・マトリクスは国家装置であるがしかしやんごとなくない」ということは誤りだ
事実21: そのメディア・マトリクスは狩衣でない
事実22: あの保険会社は完敗しないかまたは炎上するかまたは両方ともだ

仮説: あの保険会社は葱とろであるか素通りするかまたは両方である
1. 仮定1: 以下のように仮定する。あの保険会社は完敗する
2. 事実20と仮定1から、推論1: "「そのメディア・マトリクスは国家装置だけれどやんごとなくない」ということは間違っている"が導かれる
3. 推論1と事実15から、推論2: "そのメディア・マトリクスは狩衣である"が導かれる
4. 推論2と事実21から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの保険会社は完敗しない"が導かれる
6. 推論4から、推論5: "あの保険会社は完敗するということはないかまたは炎上しないか両方だ"が導かれる
7. 推論5と事実19から、推論6: "あの保険会社は素通りする"が導かれる
8. 推論6から、仮説が導かれる

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