その同時代は右折するしかつそれは赤狩りである
fact1: もし「「その保税倉庫は話し難くないしかつ削除しない」ということは真実である」ということは嘘だとしたら中小企業者だ fact2: もしもなにがしかのものはごつかないならば「話し難くないし更に削除しない」ということは偽だ fact3: もし仮に「その保税倉庫は詳しくないけどごつい」ということは事実と異なるとするとごつかない fact4: その同時代は自律神経活動だ fact5: もしも何らかのものは中小企業者でないとすると「それは発生し易くてそれはごつかない」ということは間違いである fact6: 仮にその同時代は民間案であるとするとそれは右折する fact7: 「なにかは屈まないし呈し始めない」ということは成り立たないとすれば泊まり込む fact8: その保税倉庫は発生し易いということはない fact9: 「その保税倉庫は詳しくないけれどごつい」ということは誤りだ fact10: 仮にその同時代は自律神経活動だとすると「それは赤狩りである」ということは成り立つ fact11: その保税倉庫は民間案である fact12: その保税倉庫が中小企業者であるが発生し易くないならその同時代は民間案である
fact2 -> int1: もしもその保税倉庫はごつかないなら「それは話し難いということはなくて加えて削除しない」ということは嘘である; fact9 & fact3 -> int2: その保税倉庫はごつかない; int1 & int2 -> int3: 「その保税倉庫は話し難くないし加えてそれは削除しない」ということは嘘である; int3 & fact1 -> int4: その保税倉庫は中小企業者だ; int4 & fact8 -> int5: その保税倉庫は中小企業者だけれどそれは発生し易いということはない; int5 & fact12 -> int6: その同時代は民間案である; int6 & fact6 -> int7: その同時代は右折する; fact10 & fact4 -> int8: その同時代は赤狩りだ; int7 & int8 -> hypothesis;
もし仮に「その集合部は屈まないし呈し始めるということはない」ということは嘘であるとすると泊まり込む
fact13 -> hypothesis;
$facts$ = fact1: もし「「その保税倉庫は話し難くないしかつ削除しない」ということは真実である」ということは嘘だとしたら中小企業者だ fact2: もしもなにがしかのものはごつかないならば「話し難くないし更に削除しない」ということは偽だ fact3: もし仮に「その保税倉庫は詳しくないけどごつい」ということは事実と異なるとするとごつかない fact4: その同時代は自律神経活動だ fact5: もしも何らかのものは中小企業者でないとすると「それは発生し易くてそれはごつかない」ということは間違いである fact6: 仮にその同時代は民間案であるとするとそれは右折する fact7: 「なにかは屈まないし呈し始めない」ということは成り立たないとすれば泊まり込む fact8: その保税倉庫は発生し易いということはない fact9: 「その保税倉庫は詳しくないけれどごつい」ということは誤りだ fact10: 仮にその同時代は自律神経活動だとすると「それは赤狩りである」ということは成り立つ fact11: その保税倉庫は民間案である fact12: その保税倉庫が中小企業者であるが発生し易くないならその同時代は民間案である ; $hypothesis$ = その同時代は右折するしかつそれは赤狩りである ; $proof$ = 
fact2 -> int1: もしもその保税倉庫はごつかないなら「それは話し難いということはなくて加えて削除しない」ということは嘘である; fact9 & fact3 -> int2: その保税倉庫はごつかない; int1 & int2 -> int3: 「その保税倉庫は話し難くないし加えてそれは削除しない」ということは嘘である; int3 & fact1 -> int4: その保税倉庫は中小企業者だ; int4 & fact8 -> int5: その保税倉庫は中小企業者だけれどそれは発生し易いということはない; int5 & fact12 -> int6: その同時代は民間案である; int6 & fact6 -> int7: その同時代は右折する; fact10 & fact4 -> int8: その同時代は赤狩りだ; int7 & int8 -> hypothesis; __PROVED__
事実1: もし「「その保税倉庫は話し難くないしかつ削除しない」ということは真実である」ということは嘘だとしたら中小企業者だ
事実2: もしもなにがしかのものはごつかないならば「話し難くないし更に削除しない」ということは偽だ
事実3: もし仮に「その保税倉庫は詳しくないけどごつい」ということは事実と異なるとするとごつかない
事実4: その同時代は自律神経活動だ
事実5: もしも何らかのものは中小企業者でないとすると「それは発生し易くてそれはごつかない」ということは間違いである
事実6: 仮にその同時代は民間案であるとするとそれは右折する
事実7: 「なにかは屈まないし呈し始めない」ということは成り立たないとすれば泊まり込む
事実8: その保税倉庫は発生し易いということはない
事実9: 「その保税倉庫は詳しくないけれどごつい」ということは誤りだ
事実10: 仮にその同時代は自律神経活動だとすると「それは赤狩りである」ということは成り立つ
事実11: その保税倉庫は民間案である
事実12: その保税倉庫が中小企業者であるが発生し易くないならその同時代は民間案である

仮説: その同時代は右折するしかつそれは赤狩りである
1. 事実2から、推論1: "もしもその保税倉庫はごつかないなら「それは話し難いということはなくて加えて削除しない」ということは嘘である"が導かれる
2. 事実9と事実3から、推論2: "その保税倉庫はごつかない"が導かれる
3. 推論1と推論2から、推論3: "「その保税倉庫は話し難くないし加えてそれは削除しない」ということは嘘である"が導かれる
4. 推論3と事実1から、推論4: "その保税倉庫は中小企業者だ"が導かれる
5. 推論4と事実8から、推論5: "その保税倉庫は中小企業者だけれどそれは発生し易いということはない"が導かれる
6. 推論5と事実12から、推論6: "その同時代は民間案である"が導かれる
7. 推論6と事実6から、推論7: "その同時代は右折する"が導かれる
8. 事実10と事実4から、推論8: "その同時代は赤狩りだ"が導かれる
9. 推論7と推論8から、仮説が導かれる

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