あの最低賃金法は得られ難い
fact1: もし分かり易いものが読めるということはないならばそれは得られ難くない fact2: あの最低賃金法はチャット画面でない fact3: もしあの最低賃金法が得られ難くないならその紅斑は出回り始めないし分かり易くない fact4: その実験群ナンバーは分かり易くない fact5: 仮に「その紅斑は出回り始めないしそれは分かり易くない」ということは本当なら読めない fact6: その紅斑は出回り始めないし読めないとしたら得られ難くない fact7: その紅斑は読めない fact8: 仮に何らかの物は捗々しい一方で物悲しくないとしたら「それは綴じ込まない」ということは正しい fact9: その紅斑が出回り始めないとしたらあの最低賃金法は分かり易くない fact10: もしもなんらかのものは出回り始めるけど読めるということはないなら得られ難いということはない fact11: もし仮にあの最低賃金法は分かり易いけど読めないならば得られ難くない fact12: もしその紅斑が出回り始めないとしたらあの最低賃金法は分かり易くないしその上読めない fact13: もしその紅斑は出回り始めるということはなくて読めないならば分かり易くない fact14: もしこの集合が五．六対応でないならばあの紅斑は憲法改正案であるしおまけに嫌味っぽい fact15: あの最低賃金法は分かり易いということはない fact16: 仮にその紅斑が出回り始める一方でそれが分かり易くないとすれば読めない fact17: 分かり易くない物が読めないとすれば得られ難くない fact18: もしもあの最低賃金法が分かり易くないしおまけに読めないとすると出回り始めない fact19: もしも分かり易くない物が得られ難くないならそれは出回り始めない fact20: その満遍は出回り始めない fact21: その紅斑は出回り始めない fact22: 仮にある物が出回り始めない一方で得られ難いなら読めない fact23: 憲法改正案は成育する fact24: 得られ難くないものが出回り始めればそれは読めない
fact12 & fact21 -> int1: あの最低賃金法は分かり易くないしかつ読めない; fact17 -> int2: 「あの最低賃金法が分かり易くないし読めないならばあの最低賃金法は得られ難くない」ということは成り立つ; int1 & int2 -> hypothesis;
fact12 & fact21 -> int1: (¬{AA}{b} & ¬{AB}{b}); fact17 -> int2: (¬{AA}{b} & ¬{AB}{b}) -> ¬{B}{b}; int1 & int2 -> hypothesis;
あの最低賃金法は得られ難い
fact26 -> int3: 「もしもその紅斑が憲法改正案ならばその紅斑は成育する」ということは事実と異なるということはない;
$facts$ = fact1: もし分かり易いものが読めるということはないならばそれは得られ難くない fact2: あの最低賃金法はチャット画面でない fact3: もしあの最低賃金法が得られ難くないならその紅斑は出回り始めないし分かり易くない fact4: その実験群ナンバーは分かり易くない fact5: 仮に「その紅斑は出回り始めないしそれは分かり易くない」ということは本当なら読めない fact6: その紅斑は出回り始めないし読めないとしたら得られ難くない fact7: その紅斑は読めない fact8: 仮に何らかの物は捗々しい一方で物悲しくないとしたら「それは綴じ込まない」ということは正しい fact9: その紅斑が出回り始めないとしたらあの最低賃金法は分かり易くない fact10: もしもなんらかのものは出回り始めるけど読めるということはないなら得られ難いということはない fact11: もし仮にあの最低賃金法は分かり易いけど読めないならば得られ難くない fact12: もしその紅斑が出回り始めないとしたらあの最低賃金法は分かり易くないしその上読めない fact13: もしその紅斑は出回り始めるということはなくて読めないならば分かり易くない fact14: もしこの集合が五．六対応でないならばあの紅斑は憲法改正案であるしおまけに嫌味っぽい fact15: あの最低賃金法は分かり易いということはない fact16: 仮にその紅斑が出回り始める一方でそれが分かり易くないとすれば読めない fact17: 分かり易くない物が読めないとすれば得られ難くない fact18: もしもあの最低賃金法が分かり易くないしおまけに読めないとすると出回り始めない fact19: もしも分かり易くない物が得られ難くないならそれは出回り始めない fact20: その満遍は出回り始めない fact21: その紅斑は出回り始めない fact22: 仮にある物が出回り始めない一方で得られ難いなら読めない fact23: 憲法改正案は成育する fact24: 得られ難くないものが出回り始めればそれは読めない ; $hypothesis$ = あの最低賃金法は得られ難い ; $proof$ = 
fact12 & fact21 -> int1: あの最低賃金法は分かり易くないしかつ読めない; fact17 -> int2: 「あの最低賃金法が分かり易くないし読めないならばあの最低賃金法は得られ難くない」ということは成り立つ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし分かり易いものが読めるということはないならばそれは得られ難くない
事実2: あの最低賃金法はチャット画面でない
事実3: もしあの最低賃金法が得られ難くないならその紅斑は出回り始めないし分かり易くない
事実4: その実験群ナンバーは分かり易くない
事実5: 仮に「その紅斑は出回り始めないしそれは分かり易くない」ということは本当なら読めない
事実6: その紅斑は出回り始めないし読めないとしたら得られ難くない
事実7: その紅斑は読めない
事実8: 仮に何らかの物は捗々しい一方で物悲しくないとしたら「それは綴じ込まない」ということは正しい
事実9: その紅斑が出回り始めないとしたらあの最低賃金法は分かり易くない
事実10: もしもなんらかのものは出回り始めるけど読めるということはないなら得られ難いということはない
事実11: もし仮にあの最低賃金法は分かり易いけど読めないならば得られ難くない
事実12: もしその紅斑が出回り始めないとしたらあの最低賃金法は分かり易くないしその上読めない
事実13: もしその紅斑は出回り始めるということはなくて読めないならば分かり易くない
事実14: もしこの集合が五．六対応でないならばあの紅斑は憲法改正案であるしおまけに嫌味っぽい
事実15: あの最低賃金法は分かり易いということはない
事実16: 仮にその紅斑が出回り始める一方でそれが分かり易くないとすれば読めない
事実17: 分かり易くない物が読めないとすれば得られ難くない
事実18: もしもあの最低賃金法が分かり易くないしおまけに読めないとすると出回り始めない
事実19: もしも分かり易くない物が得られ難くないならそれは出回り始めない
事実20: その満遍は出回り始めない
事実21: その紅斑は出回り始めない
事実22: 仮にある物が出回り始めない一方で得られ難いなら読めない
事実23: 憲法改正案は成育する
事実24: 得られ難くないものが出回り始めればそれは読めない

仮説: あの最低賃金法は得られ難い
1. 事実12と事実21から、推論1: "あの最低賃金法は分かり易くないしかつ読めない"が導かれる
2. 事実17から、推論2: "「あの最低賃金法が分かり易くないし読めないならばあの最低賃金法は得られ難くない」ということは成り立つ"が導かれる
3. 推論1と推論2から、仮説が否定される

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