「もし仮にこの一箇月単位がオープンクエスチョンでないとしたらあの固定相場制は食い止めなくて愛し得るということはない」ということは真実だということはない
fact1: もしもあの固定相場制が愛し得るとすればこの一箇月単位はオープンクエスチョンだ fact2: もしもその実感が吸収され難いとするとそれは食い止める fact3: 「その実感は照れ臭いしそれは授業する」ということは事実と異なる fact4: もしこの一箇月単位は塗り易いということはないとすれば「あの固定相場制は塗り易くない」ということは本当である fact5: その実感は目まぐるしい fact6: この一箇月単位が吸収され難いということはないしその上それは果てし無くない fact7: 仮に「何らかのものは塗り易くて更にオープンクエスチョンだ」ということは成り立たないとしたら塗り易くない fact8: もし仮にその実感が食い止めるけど塗り易くないとすればあの固定相場制は食い止めない fact9: なんらかの物が食い止めないとするとオープンクエスチョンでないしそれに愛し得る fact10: 仮に「その実感は照れ臭いし加えて授業する」ということは成り立たないとするとそれは塗り易くない fact11: その実感は吸収され難い
void -> assump1: 以下のように仮定する。あの固定相場制は愛し得る; fact1 & assump1 -> int1: この一箇月単位はオープンクエスチョンだ; void -> assump2: 以下のように仮定する。この一箇月単位はオープンクエスチョンでない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの固定相場制は愛し得るということはない」ということは事実である; fact3 & fact10 -> int4: その実感は塗り易くない; fact11 & fact2 -> int5: その実感は食い止める; int4 & int5 -> int6: その実感は食い止めるけれど塗り易くない; int6 & fact8 -> int7: あの固定相場制は食い止めない; int3 & int7 -> int8: あの固定相場制は食い止めなくてかつ愛し得ない; [assump2] & int8 -> hypothesis;
あの固定相場制は塗り易くない
fact13 -> int9: 仮に「この一箇月単位は塗り易くてオープンクエスチョンだ」ということは嘘であるなら塗り易くない; fact12 -> int10: もし仮にその実感が食い止めるということはないとしたらオープンクエスチョンでないしおまけに愛し得る;
$facts$ = fact1: もしもあの固定相場制が愛し得るとすればこの一箇月単位はオープンクエスチョンだ fact2: もしもその実感が吸収され難いとするとそれは食い止める fact3: 「その実感は照れ臭いしそれは授業する」ということは事実と異なる fact4: もしこの一箇月単位は塗り易いということはないとすれば「あの固定相場制は塗り易くない」ということは本当である fact5: その実感は目まぐるしい fact6: この一箇月単位が吸収され難いということはないしその上それは果てし無くない fact7: 仮に「何らかのものは塗り易くて更にオープンクエスチョンだ」ということは成り立たないとしたら塗り易くない fact8: もし仮にその実感が食い止めるけど塗り易くないとすればあの固定相場制は食い止めない fact9: なんらかの物が食い止めないとするとオープンクエスチョンでないしそれに愛し得る fact10: 仮に「その実感は照れ臭いし加えて授業する」ということは成り立たないとするとそれは塗り易くない fact11: その実感は吸収され難い ; $hypothesis$ = 「もし仮にこの一箇月単位がオープンクエスチョンでないとしたらあの固定相場制は食い止めなくて愛し得るということはない」ということは真実だということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの固定相場制は愛し得る; fact1 & assump1 -> int1: この一箇月単位はオープンクエスチョンだ; void -> assump2: 以下のように仮定する。この一箇月単位はオープンクエスチョンでない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの固定相場制は愛し得るということはない」ということは事実である; fact3 & fact10 -> int4: その実感は塗り易くない; fact11 & fact2 -> int5: その実感は食い止める; int4 & int5 -> int6: その実感は食い止めるけれど塗り易くない; int6 & fact8 -> int7: あの固定相場制は食い止めない; int3 & int7 -> int8: あの固定相場制は食い止めなくてかつ愛し得ない; [assump2] & int8 -> hypothesis; __DISPROVED__
事実1: もしもあの固定相場制が愛し得るとすればこの一箇月単位はオープンクエスチョンだ
事実2: もしもその実感が吸収され難いとするとそれは食い止める
事実3: 「その実感は照れ臭いしそれは授業する」ということは事実と異なる
事実4: もしこの一箇月単位は塗り易いということはないとすれば「あの固定相場制は塗り易くない」ということは本当である
事実5: その実感は目まぐるしい
事実6: この一箇月単位が吸収され難いということはないしその上それは果てし無くない
事実7: 仮に「何らかのものは塗り易くて更にオープンクエスチョンだ」ということは成り立たないとしたら塗り易くない
事実8: もし仮にその実感が食い止めるけど塗り易くないとすればあの固定相場制は食い止めない
事実9: なんらかの物が食い止めないとするとオープンクエスチョンでないしそれに愛し得る
事実10: 仮に「その実感は照れ臭いし加えて授業する」ということは成り立たないとするとそれは塗り易くない
事実11: その実感は吸収され難い

仮説: 「もし仮にこの一箇月単位がオープンクエスチョンでないとしたらあの固定相場制は食い止めなくて愛し得るということはない」ということは真実だということはない
1. 仮定1: 以下のように仮定する。あの固定相場制は愛し得る
2. 事実1と仮定1から、推論1: "この一箇月単位はオープンクエスチョンだ"が導かれる
3. 仮定2: 以下のように仮定する。この一箇月単位はオープンクエスチョンでない
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "「あの固定相場制は愛し得るということはない」ということは事実である"が導かれる
6. 事実3と事実10から、推論4: "その実感は塗り易くない"が導かれる
7. 事実11と事実2から、推論5: "その実感は食い止める"が導かれる
8. 推論4と推論5から、推論6: "その実感は食い止めるけれど塗り易くない"が導かれる
9. 推論6と事実8から、推論7: "あの固定相場制は食い止めない"が導かれる
10. 推論3と推論7から、推論8: "あの固定相場制は食い止めなくてかつ愛し得ない"が導かれる
11. [仮定2]と推論8から、仮説が否定される

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