「この朝鮮人漁業コルホーズは御若くない」ということは確かである
fact1: あの鉄筋棒は気違い染みない fact2: もしその箸ばみ色がシュリンプでないならこの朝鮮人漁業コルホーズはピアであるけど御若くない fact3: 「この名前以外はシュリンプであるし君らしい」ということは事実と異なる fact4: もし「収益計上するということはない」ものがあるとすればこの保護基は受け易いし気違い染みる fact5: もしその箸ばみ色はピアであるとすると「この名前以外はシュリンプでないけれど君らしい」ということは事実と異なる fact6: この名前以外は竦むかあるいは御若い fact7: 何かは収益計上しない fact8: その箸ばみ色がピアだということはないとすればＤＰＢでないかそれは湿気易いかまたはどちらもだ fact9: 仮にこの保護基が受け易いならばこの御神酒は竦まないし更に担当ＩＭであるということはない fact10: もしも何かはシュリンプでないとすれば「君らしいしピアだ」ということは偽である fact11: もしも「その箸ばみ色は君らしいしピアだ」ということは間違いであるとすればそのグラム陰性菌は君らしくない fact12: 「この名前以外は担当ＩＭでないがしかし小汚い」ということは成り立たない fact13: もし仮に「その箸ばみ色は気違い染みない」ということは成り立てば「それはＤＰＢでないかもしくは湿気易いかまたはどちらもである」ということは嘘である fact14: 仮に「何かはシュリンプでないけれど君らしい」ということは嘘ならばそれは竦まない fact15: その箸ばみ色は気違い染みない fact16: なんらかのものが竦まないならばそれは担当ＩＭであるかまたはそれは受け易いかもしくは両方だ fact17: もしこの名前以外がシュリンプであるならばその箸ばみ色はシュリンプでない fact18: もしこの名前以外が担当ＩＭであるならこの朝鮮人漁業コルホーズは御若い fact19: もし仮にその箸ばみ色が気違い染みないとするとそれはＤＰＢである fact20: もし仮にこの名前以外はシュリンプであるとしたら竦まない fact21: 仮にこの名前以外が受け易いならこの朝鮮人漁業コルホーズは御若い
void -> assump1: 以下のように仮定する。その箸ばみ色はピアでない; fact8 & assump1 -> int1: その箸ばみ色はＤＰＢでないかあるいは湿気易いかもしくは両方ともだ; fact15 & fact13 -> int2: 「その箸ばみ色はＤＰＢでないかまたはそれは湿気易い」ということは誤っている; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その箸ばみ色はピアである; int4 & fact5 -> int5: 「この名前以外はシュリンプでないがしかしそれは君らしい」ということは事実だということはない; fact14 -> int6: 「この名前以外はシュリンプであるということはないけど君らしい」ということは成り立たないとするとそれは竦まない; int5 & int6 -> int7: この名前以外は竦まない; fact16 -> int8: もし仮にこの名前以外が竦まないとしたら担当ＩＭであるかまたはそれは受け易い; int7 & int8 -> int9: この名前以外は担当ＩＭであるかまたは受け易いかもしくは両方である; int9 & fact18 & fact21 -> hypothesis;
「そのグラム陰性菌は君らしくない」ということは成り立つ
fact22 -> int10: 仮にこの名前以外はシュリンプだということはないならば「君らしいしまたそれはピアだ」ということは確かでない;
$facts$ = fact1: あの鉄筋棒は気違い染みない fact2: もしその箸ばみ色がシュリンプでないならこの朝鮮人漁業コルホーズはピアであるけど御若くない fact3: 「この名前以外はシュリンプであるし君らしい」ということは事実と異なる fact4: もし「収益計上するということはない」ものがあるとすればこの保護基は受け易いし気違い染みる fact5: もしその箸ばみ色はピアであるとすると「この名前以外はシュリンプでないけれど君らしい」ということは事実と異なる fact6: この名前以外は竦むかあるいは御若い fact7: 何かは収益計上しない fact8: その箸ばみ色がピアだということはないとすればＤＰＢでないかそれは湿気易いかまたはどちらもだ fact9: 仮にこの保護基が受け易いならばこの御神酒は竦まないし更に担当ＩＭであるということはない fact10: もしも何かはシュリンプでないとすれば「君らしいしピアだ」ということは偽である fact11: もしも「その箸ばみ色は君らしいしピアだ」ということは間違いであるとすればそのグラム陰性菌は君らしくない fact12: 「この名前以外は担当ＩＭでないがしかし小汚い」ということは成り立たない fact13: もし仮に「その箸ばみ色は気違い染みない」ということは成り立てば「それはＤＰＢでないかもしくは湿気易いかまたはどちらもである」ということは嘘である fact14: 仮に「何かはシュリンプでないけれど君らしい」ということは嘘ならばそれは竦まない fact15: その箸ばみ色は気違い染みない fact16: なんらかのものが竦まないならばそれは担当ＩＭであるかまたはそれは受け易いかもしくは両方だ fact17: もしこの名前以外がシュリンプであるならばその箸ばみ色はシュリンプでない fact18: もしこの名前以外が担当ＩＭであるならこの朝鮮人漁業コルホーズは御若い fact19: もし仮にその箸ばみ色が気違い染みないとするとそれはＤＰＢである fact20: もし仮にこの名前以外はシュリンプであるとしたら竦まない fact21: 仮にこの名前以外が受け易いならこの朝鮮人漁業コルホーズは御若い ; $hypothesis$ = 「この朝鮮人漁業コルホーズは御若くない」ということは確かである ; $proof$ = 
void -> assump1: 以下のように仮定する。その箸ばみ色はピアでない; fact8 & assump1 -> int1: その箸ばみ色はＤＰＢでないかあるいは湿気易いかもしくは両方ともだ; fact15 & fact13 -> int2: 「その箸ばみ色はＤＰＢでないかまたはそれは湿気易い」ということは誤っている; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その箸ばみ色はピアである; int4 & fact5 -> int5: 「この名前以外はシュリンプでないがしかしそれは君らしい」ということは事実だということはない; fact14 -> int6: 「この名前以外はシュリンプであるということはないけど君らしい」ということは成り立たないとするとそれは竦まない; int5 & int6 -> int7: この名前以外は竦まない; fact16 -> int8: もし仮にこの名前以外が竦まないとしたら担当ＩＭであるかまたはそれは受け易い; int7 & int8 -> int9: この名前以外は担当ＩＭであるかまたは受け易いかもしくは両方である; int9 & fact18 & fact21 -> hypothesis; __DISPROVED__
事実1: あの鉄筋棒は気違い染みない
事実2: もしその箸ばみ色がシュリンプでないならこの朝鮮人漁業コルホーズはピアであるけど御若くない
事実3: 「この名前以外はシュリンプであるし君らしい」ということは事実と異なる
事実4: もし「収益計上するということはない」ものがあるとすればこの保護基は受け易いし気違い染みる
事実5: もしその箸ばみ色はピアであるとすると「この名前以外はシュリンプでないけれど君らしい」ということは事実と異なる
事実6: この名前以外は竦むかあるいは御若い
事実7: 何かは収益計上しない
事実8: その箸ばみ色がピアだということはないとすればＤＰＢでないかそれは湿気易いかまたはどちらもだ
事実9: 仮にこの保護基が受け易いならばこの御神酒は竦まないし更に担当ＩＭであるということはない
事実10: もしも何かはシュリンプでないとすれば「君らしいしピアだ」ということは偽である
事実11: もしも「その箸ばみ色は君らしいしピアだ」ということは間違いであるとすればそのグラム陰性菌は君らしくない
事実12: 「この名前以外は担当ＩＭでないがしかし小汚い」ということは成り立たない
事実13: もし仮に「その箸ばみ色は気違い染みない」ということは成り立てば「それはＤＰＢでないかもしくは湿気易いかまたはどちらもである」ということは嘘である
事実14: 仮に「何かはシュリンプでないけれど君らしい」ということは嘘ならばそれは竦まない
事実15: その箸ばみ色は気違い染みない
事実16: なんらかのものが竦まないならばそれは担当ＩＭであるかまたはそれは受け易いかもしくは両方だ
事実17: もしこの名前以外がシュリンプであるならばその箸ばみ色はシュリンプでない
事実18: もしこの名前以外が担当ＩＭであるならこの朝鮮人漁業コルホーズは御若い
事実19: もし仮にその箸ばみ色が気違い染みないとするとそれはＤＰＢである
事実20: もし仮にこの名前以外はシュリンプであるとしたら竦まない
事実21: 仮にこの名前以外が受け易いならこの朝鮮人漁業コルホーズは御若い

仮説: 「この朝鮮人漁業コルホーズは御若くない」ということは確かである
1. 仮定1: 以下のように仮定する。その箸ばみ色はピアでない
2. 事実8と仮定1から、推論1: "その箸ばみ色はＤＰＢでないかあるいは湿気易いかもしくは両方ともだ"が導かれる
3. 事実15と事実13から、推論2: "「その箸ばみ色はＤＰＢでないかまたはそれは湿気易い」ということは誤っている"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その箸ばみ色はピアである"が導かれる
6. 推論4と事実5から、推論5: "「この名前以外はシュリンプでないがしかしそれは君らしい」ということは事実だということはない"が導かれる
7. 事実14から、推論6: "「この名前以外はシュリンプであるということはないけど君らしい」ということは成り立たないとするとそれは竦まない"が導かれる
8. 推論5と推論6から、推論7: "この名前以外は竦まない"が導かれる
9. 事実16から、推論8: "もし仮にこの名前以外が竦まないとしたら担当ＩＭであるかまたはそれは受け易い"が導かれる
10. 推論7と推論8から、推論9: "この名前以外は担当ＩＭであるかまたは受け易いかもしくは両方である"が導かれる
11. 推論9と事実18と事実21から、仮説が否定される

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