この英は卸売り市場でない
fact1: 「その地域住民等は汚れ難いけどそれは掻い潜るということはない」ということは成り立たない fact2: その地域住民等は大量仕入れであるし気遣う fact3: もしもこの英が弱しとしたらそれは卸売り市場である fact4: 「その積み立て金は汚れ難いけれど生温くない」ということは本当でない fact5: とある物は気遣わない fact6: 仮にこの英が振り抜かないかあるいは食い殺さないかもしくはどちらもであるとするとそれは全否定する fact7: もし何かは判定しないかもしくはそれが食い殺さないとしたら弱し fact8: 「大量仕入れであるし掻い潜る」物があるとしたらその上廊下は任意資本でない fact9: 何かは取り外せるししかも見出だし難い fact10: 「飽きっぽい」ものはある fact11: 「その地域住民等は弱ししその上掻い潜る」ということは偽だ fact12: もしも「その地域住民等は汚れ難いけど掻い潜らない」ということは成り立たないならば「それは掻い潜る」ということは成り立つ fact13: 仮に「「任意資本だ」ということは成り立たない」ものがあればこの英は判定しないかまたは食い殺すということはないかもしくはどちらもである fact14: 仮にその上廊下が弱しとするとその地域住民等は食い殺す fact15: 「大量仕入れな」ものはある fact16: 仮にこの英は食い殺さないかあるいは弱しないかもしくは両方ともであるならばそれは掻い潜る fact17: この英は大量仕入れでないかまたは食い殺すということはないかもしくは両方だ fact18: もしその地域住民等は掻い潜らないとしたら「この英は気遣うし更に大量仕入れである」ということは間違いである fact19: もしなんらかの物が判定しないとしたらそれは掻い潜らないしさらに任意資本でない fact20: もし「なにがしかのものは気遣うし大量仕入れである」ということは事実と異なるとしたらそれは卸売り市場でない
fact2 -> int1: その地域住民等は大量仕入れである; fact12 & fact1 -> int2: その地域住民等は掻い潜る; int1 & int2 -> int3: その地域住民等は大量仕入れであるし掻い潜る; int3 -> int4: 「大量仕入れであるし掻い潜る」ものはある; int4 & fact8 -> int5: その上廊下は任意資本でない; int5 -> int6: 「任意資本でない」物はある; int6 & fact13 -> int7: この英は判定しないかもしくはそれは食い殺さないかあるいは両方ともだ; fact7 -> int8: 仮に「この英は判定しないかまたは食い殺さないかまたはどちらもだ」ということは成り立てば「弱し」ということは真実だ; int7 & int8 -> int9: 「この英は弱し」ということは成り立つ; int9 & fact3 -> hypothesis;
この英は卸売り市場でない
fact21 -> int10: もし「この英は気遣うしおまけに大量仕入れである」ということは誤っているとすると卸売り市場でない; fact25 -> int11: もしもその地域住民等が判定しないとすると掻い潜らないしまた任意資本であるということはない; fact22 -> int12: 「「汚れ難いけど生温くない」ということは間違いである」ものはある;
$facts$ = fact1: 「その地域住民等は汚れ難いけどそれは掻い潜るということはない」ということは成り立たない fact2: その地域住民等は大量仕入れであるし気遣う fact3: もしもこの英が弱しとしたらそれは卸売り市場である fact4: 「その積み立て金は汚れ難いけれど生温くない」ということは本当でない fact5: とある物は気遣わない fact6: 仮にこの英が振り抜かないかあるいは食い殺さないかもしくはどちらもであるとするとそれは全否定する fact7: もし何かは判定しないかもしくはそれが食い殺さないとしたら弱し fact8: 「大量仕入れであるし掻い潜る」物があるとしたらその上廊下は任意資本でない fact9: 何かは取り外せるししかも見出だし難い fact10: 「飽きっぽい」ものはある fact11: 「その地域住民等は弱ししその上掻い潜る」ということは偽だ fact12: もしも「その地域住民等は汚れ難いけど掻い潜らない」ということは成り立たないならば「それは掻い潜る」ということは成り立つ fact13: 仮に「「任意資本だ」ということは成り立たない」ものがあればこの英は判定しないかまたは食い殺すということはないかもしくはどちらもである fact14: 仮にその上廊下が弱しとするとその地域住民等は食い殺す fact15: 「大量仕入れな」ものはある fact16: 仮にこの英は食い殺さないかあるいは弱しないかもしくは両方ともであるならばそれは掻い潜る fact17: この英は大量仕入れでないかまたは食い殺すということはないかもしくは両方だ fact18: もしその地域住民等は掻い潜らないとしたら「この英は気遣うし更に大量仕入れである」ということは間違いである fact19: もしなんらかの物が判定しないとしたらそれは掻い潜らないしさらに任意資本でない fact20: もし「なにがしかのものは気遣うし大量仕入れである」ということは事実と異なるとしたらそれは卸売り市場でない ; $hypothesis$ = この英は卸売り市場でない ; $proof$ = 
fact2 -> int1: その地域住民等は大量仕入れである; fact12 & fact1 -> int2: その地域住民等は掻い潜る; int1 & int2 -> int3: その地域住民等は大量仕入れであるし掻い潜る; int3 -> int4: 「大量仕入れであるし掻い潜る」ものはある; int4 & fact8 -> int5: その上廊下は任意資本でない; int5 -> int6: 「任意資本でない」物はある; int6 & fact13 -> int7: この英は判定しないかもしくはそれは食い殺さないかあるいは両方ともだ; fact7 -> int8: 仮に「この英は判定しないかまたは食い殺さないかまたはどちらもだ」ということは成り立てば「弱し」ということは真実だ; int7 & int8 -> int9: 「この英は弱し」ということは成り立つ; int9 & fact3 -> hypothesis; __DISPROVED__
事実1: 「その地域住民等は汚れ難いけどそれは掻い潜るということはない」ということは成り立たない
事実2: その地域住民等は大量仕入れであるし気遣う
事実3: もしもこの英が弱しとしたらそれは卸売り市場である
事実4: 「その積み立て金は汚れ難いけれど生温くない」ということは本当でない
事実5: とある物は気遣わない
事実6: 仮にこの英が振り抜かないかあるいは食い殺さないかもしくはどちらもであるとするとそれは全否定する
事実7: もし何かは判定しないかもしくはそれが食い殺さないとしたら弱し
事実8: 「大量仕入れであるし掻い潜る」物があるとしたらその上廊下は任意資本でない
事実9: 何かは取り外せるししかも見出だし難い
事実10: 「飽きっぽい」ものはある
事実11: 「その地域住民等は弱ししその上掻い潜る」ということは偽だ
事実12: もしも「その地域住民等は汚れ難いけど掻い潜らない」ということは成り立たないならば「それは掻い潜る」ということは成り立つ
事実13: 仮に「「任意資本だ」ということは成り立たない」ものがあればこの英は判定しないかまたは食い殺すということはないかもしくはどちらもである
事実14: 仮にその上廊下が弱しとするとその地域住民等は食い殺す
事実15: 「大量仕入れな」ものはある
事実16: 仮にこの英は食い殺さないかあるいは弱しないかもしくは両方ともであるならばそれは掻い潜る
事実17: この英は大量仕入れでないかまたは食い殺すということはないかもしくは両方だ
事実18: もしその地域住民等は掻い潜らないとしたら「この英は気遣うし更に大量仕入れである」ということは間違いである
事実19: もしなんらかの物が判定しないとしたらそれは掻い潜らないしさらに任意資本でない
事実20: もし「なにがしかのものは気遣うし大量仕入れである」ということは事実と異なるとしたらそれは卸売り市場でない

仮説: この英は卸売り市場でない
1. 事実2から、推論1: "その地域住民等は大量仕入れである"が導かれる
2. 事実12と事実1から、推論2: "その地域住民等は掻い潜る"が導かれる
3. 推論1と推論2から、推論3: "その地域住民等は大量仕入れであるし掻い潜る"が導かれる
4. 推論3から、推論4: "「大量仕入れであるし掻い潜る」ものはある"が導かれる
5. 推論4と事実8から、推論5: "その上廊下は任意資本でない"が導かれる
6. 推論5から、推論6: "「任意資本でない」物はある"が導かれる
7. 推論6と事実13から、推論7: "この英は判定しないかもしくはそれは食い殺さないかあるいは両方ともだ"が導かれる
8. 事実7から、推論8: "仮に「この英は判定しないかまたは食い殺さないかまたはどちらもだ」ということは成り立てば「弱し」ということは真実だ"が導かれる
9. 推論7と推論8から、推論9: "「この英は弱し」ということは成り立つ"が導かれる
10. 推論9と事実3から、仮説が否定される

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