その作・演出はフェースタオルでない
fact1: あの組織面は覚え易い fact2: もしもあの組織面が心深しとすればそれは守り継ぐ fact3: 仮にあの検波方式が苦しいならこの町橋は苦しい fact4: 「何かはフェースタオルだしその上めでたい」ということは誤っているとしたら「それはフェースタオルであるということはない」ということは成り立つ fact5: 「この町橋はめでたい」ということは成り立つ fact6: もし仮にこの町橋は苦しくないならば「めでたい」ということは誤りだ fact7: その作・演出が折れ易いけどフルメークでないとしたらフェースタオルである fact8: もし仮に「その作・演出はフェースタオルでないがそれはめでたい」ということは事実と異なるとするとあの敵戦車はめでたくない fact9: もし「ある物は苦しくない」ということは成り立てば「それはフェースタオルであるし加えてめでたい」ということは成り立つということはない fact10: 仮に何らかのものが覚え易くないとしたら希求で更に変わり行く fact11: もし「あの骨髄は悔しくない一方でそれは苦しい」ということは成り立たないならあの検波方式は苦しい fact12: その作・演出は折れ易い fact13: もしあの組織面は覚え易いし連想し易いとすれば「あの骨髄は覚え易くない」ということは間違っていない fact14: もしも「その作・演出は折れ易いがしかしそれはフルメークでない」ということは真実であるということはないならばあの町橋は苦しくない fact15: 仮に何かは変わり行くなら「悔しくないしかつそれは苦しい」ということは成り立つということはない fact16: もしその作・演出が折れ易くないならこの町橋は苦しくない fact17: 仮に「あの組織面は守り継ぐ」ということは事実ならばそれは連想し易い
void -> assump1: 以下のように仮定する。「その作・演出は折れ易いけどフルメークでない」ということは間違いである; fact14 & assump1 -> int1: この町橋は苦しくない; int1 & fact6 -> int2: この町橋はめでたいということはない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> int4: その作・演出は折れ易いがフルメークでない; int4 & fact7 -> hypothesis;
あの敵戦車はめでたくない
$facts$ = fact1: あの組織面は覚え易い fact2: もしもあの組織面が心深しとすればそれは守り継ぐ fact3: 仮にあの検波方式が苦しいならこの町橋は苦しい fact4: 「何かはフェースタオルだしその上めでたい」ということは誤っているとしたら「それはフェースタオルであるということはない」ということは成り立つ fact5: 「この町橋はめでたい」ということは成り立つ fact6: もし仮にこの町橋は苦しくないならば「めでたい」ということは誤りだ fact7: その作・演出が折れ易いけどフルメークでないとしたらフェースタオルである fact8: もし仮に「その作・演出はフェースタオルでないがそれはめでたい」ということは事実と異なるとするとあの敵戦車はめでたくない fact9: もし「ある物は苦しくない」ということは成り立てば「それはフェースタオルであるし加えてめでたい」ということは成り立つということはない fact10: 仮に何らかのものが覚え易くないとしたら希求で更に変わり行く fact11: もし「あの骨髄は悔しくない一方でそれは苦しい」ということは成り立たないならあの検波方式は苦しい fact12: その作・演出は折れ易い fact13: もしあの組織面は覚え易いし連想し易いとすれば「あの骨髄は覚え易くない」ということは間違っていない fact14: もしも「その作・演出は折れ易いがしかしそれはフルメークでない」ということは真実であるということはないならばあの町橋は苦しくない fact15: 仮に何かは変わり行くなら「悔しくないしかつそれは苦しい」ということは成り立つということはない fact16: もしその作・演出が折れ易くないならこの町橋は苦しくない fact17: 仮に「あの組織面は守り継ぐ」ということは事実ならばそれは連想し易い ; $hypothesis$ = その作・演出はフェースタオルでない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その作・演出は折れ易いけどフルメークでない」ということは間違いである; fact14 & assump1 -> int1: この町橋は苦しくない; int1 & fact6 -> int2: この町橋はめでたいということはない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> int4: その作・演出は折れ易いがフルメークでない; int4 & fact7 -> hypothesis; __DISPROVED__
事実1: あの組織面は覚え易い
事実2: もしもあの組織面が心深しとすればそれは守り継ぐ
事実3: 仮にあの検波方式が苦しいならこの町橋は苦しい
事実4: 「何かはフェースタオルだしその上めでたい」ということは誤っているとしたら「それはフェースタオルであるということはない」ということは成り立つ
事実5: 「この町橋はめでたい」ということは成り立つ
事実6: もし仮にこの町橋は苦しくないならば「めでたい」ということは誤りだ
事実7: その作・演出が折れ易いけどフルメークでないとしたらフェースタオルである
事実8: もし仮に「その作・演出はフェースタオルでないがそれはめでたい」ということは事実と異なるとするとあの敵戦車はめでたくない
事実9: もし「ある物は苦しくない」ということは成り立てば「それはフェースタオルであるし加えてめでたい」ということは成り立つということはない
事実10: 仮に何らかのものが覚え易くないとしたら希求で更に変わり行く
事実11: もし「あの骨髄は悔しくない一方でそれは苦しい」ということは成り立たないならあの検波方式は苦しい
事実12: その作・演出は折れ易い
事実13: もしあの組織面は覚え易いし連想し易いとすれば「あの骨髄は覚え易くない」ということは間違っていない
事実14: もしも「その作・演出は折れ易いがしかしそれはフルメークでない」ということは真実であるということはないならばあの町橋は苦しくない
事実15: 仮に何かは変わり行くなら「悔しくないしかつそれは苦しい」ということは成り立つということはない
事実16: もしその作・演出が折れ易くないならこの町橋は苦しくない
事実17: 仮に「あの組織面は守り継ぐ」ということは事実ならばそれは連想し易い

仮説: その作・演出はフェースタオルでない
1. 仮定1: 以下のように仮定する。「その作・演出は折れ易いけどフルメークでない」ということは間違いである
2. 事実14と仮定1から、推論1: "この町橋は苦しくない"が導かれる
3. 推論1と事実6から、推論2: "この町橋はめでたいということはない"が導かれる
4. 推論2と事実5から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その作・演出は折れ易いがフルメークでない"が導かれる
6. 推論4と事実7から、仮説が否定される

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