「この減額分は生々しいかＷＭ＿ＰＡＩＮＴメッセージであるかまたはどちらもである」ということは成り立たない
fact1: この減額分は冗談ぽいかＷＭ＿ＰＡＩＮＴメッセージであるかあるいは両方ともである fact2: もし仮にその表土は怯むしＷＭ＿ＰＡＩＮＴメッセージならば環境アセスメントである fact3: 「乏しくない」ものはある fact4: もし仮になにがしかのものが気の毒がるなら集団投射であるしそれにそれは発生し続けるということはない fact5: その体育祭は大学区であるがしかし短呼しない fact6: 仮にこの減額分が減らせらないとしたらそれは冗談ぽくないし更に口惜しくない fact7: もしもある物は乏しくないならば「それは生々しいかあるいはそれはＷＭ＿ＰＡＩＮＴメッセージである」ということは成り立たない fact8: もしもその体育祭が分厚いとしたら悄気る fact9: もし「何かは冗談ぽくなくてまたそれは口惜しくない」ということは偽であるならば減らせる fact10: もしもその体育祭が減らせるなら性分らしい fact11: もしその体育祭が分厚いけれどそれが安しないとするとそれは掛かり難い fact12: 仮にこの減額分が安しとすると分厚いしおまけに性分らしくない fact13: なにかは乏しくないとしたら「その体育祭が冗談ぽくないしさらにそれは口惜しくない」ということは嘘だ fact14: 性分らしい物は分厚いが安しない fact15: 仮にその体育祭が掛かり難いとするとこの減額分は生々しい fact16: 性分らしい物はＷＭ＿ＰＡＩＮＴメッセージだ一方で口惜しくない fact17: もし仮に分厚い物が性分らしいということはないなら減らせるということはない
fact3 & fact13 -> int1: 「その体育祭は冗談ぽくないしその上口惜しくない」ということは誤りである; fact9 -> int2: もし「その体育祭は冗談ぽくないし口惜しいということはない」ということは真実でないならば「「減らせらない」ということは偽でない」ということは成り立たない; int1 & int2 -> int3: その体育祭は減らせる; int3 & fact10 -> int4: その体育祭は性分らしい; fact14 -> int5: もしもその体育祭が性分らしいとすれば分厚いけれど安しということはない; int4 & int5 -> int6: その体育祭は分厚い一方で安しない; int6 & fact11 -> int7: その体育祭は掛かり難い; int7 & fact15 -> int8: この減額分は生々しい; int8 -> hypothesis;
「この減額分は生々しいかもしくはそれはＷＭ＿ＰＡＩＮＴメッセージである」ということは成り立たない
fact19 -> int9: もしこの減額分は乏しくないとすれば「生々しいかもしくはＷＭ＿ＰＡＩＮＴメッセージである」ということは偽だ; fact18 -> int10: もしこの減額分が分厚いけれど性分らしくないとすると「減らせらない」ということは確かである;
$facts$ = fact1: この減額分は冗談ぽいかＷＭ＿ＰＡＩＮＴメッセージであるかあるいは両方ともである fact2: もし仮にその表土は怯むしＷＭ＿ＰＡＩＮＴメッセージならば環境アセスメントである fact3: 「乏しくない」ものはある fact4: もし仮になにがしかのものが気の毒がるなら集団投射であるしそれにそれは発生し続けるということはない fact5: その体育祭は大学区であるがしかし短呼しない fact6: 仮にこの減額分が減らせらないとしたらそれは冗談ぽくないし更に口惜しくない fact7: もしもある物は乏しくないならば「それは生々しいかあるいはそれはＷＭ＿ＰＡＩＮＴメッセージである」ということは成り立たない fact8: もしもその体育祭が分厚いとしたら悄気る fact9: もし「何かは冗談ぽくなくてまたそれは口惜しくない」ということは偽であるならば減らせる fact10: もしもその体育祭が減らせるなら性分らしい fact11: もしその体育祭が分厚いけれどそれが安しないとするとそれは掛かり難い fact12: 仮にこの減額分が安しとすると分厚いしおまけに性分らしくない fact13: なにかは乏しくないとしたら「その体育祭が冗談ぽくないしさらにそれは口惜しくない」ということは嘘だ fact14: 性分らしい物は分厚いが安しない fact15: 仮にその体育祭が掛かり難いとするとこの減額分は生々しい fact16: 性分らしい物はＷＭ＿ＰＡＩＮＴメッセージだ一方で口惜しくない fact17: もし仮に分厚い物が性分らしいということはないなら減らせるということはない ; $hypothesis$ = 「この減額分は生々しいかＷＭ＿ＰＡＩＮＴメッセージであるかまたはどちらもである」ということは成り立たない ; $proof$ = 
fact3 & fact13 -> int1: 「その体育祭は冗談ぽくないしその上口惜しくない」ということは誤りである; fact9 -> int2: もし「その体育祭は冗談ぽくないし口惜しいということはない」ということは真実でないならば「「減らせらない」ということは偽でない」ということは成り立たない; int1 & int2 -> int3: その体育祭は減らせる; int3 & fact10 -> int4: その体育祭は性分らしい; fact14 -> int5: もしもその体育祭が性分らしいとすれば分厚いけれど安しということはない; int4 & int5 -> int6: その体育祭は分厚い一方で安しない; int6 & fact11 -> int7: その体育祭は掛かり難い; int7 & fact15 -> int8: この減額分は生々しい; int8 -> hypothesis; __DISPROVED__
事実1: この減額分は冗談ぽいかＷＭ＿ＰＡＩＮＴメッセージであるかあるいは両方ともである
事実2: もし仮にその表土は怯むしＷＭ＿ＰＡＩＮＴメッセージならば環境アセスメントである
事実3: 「乏しくない」ものはある
事実4: もし仮になにがしかのものが気の毒がるなら集団投射であるしそれにそれは発生し続けるということはない
事実5: その体育祭は大学区であるがしかし短呼しない
事実6: 仮にこの減額分が減らせらないとしたらそれは冗談ぽくないし更に口惜しくない
事実7: もしもある物は乏しくないならば「それは生々しいかあるいはそれはＷＭ＿ＰＡＩＮＴメッセージである」ということは成り立たない
事実8: もしもその体育祭が分厚いとしたら悄気る
事実9: もし「何かは冗談ぽくなくてまたそれは口惜しくない」ということは偽であるならば減らせる
事実10: もしもその体育祭が減らせるなら性分らしい
事実11: もしその体育祭が分厚いけれどそれが安しないとするとそれは掛かり難い
事実12: 仮にこの減額分が安しとすると分厚いしおまけに性分らしくない
事実13: なにかは乏しくないとしたら「その体育祭が冗談ぽくないしさらにそれは口惜しくない」ということは嘘だ
事実14: 性分らしい物は分厚いが安しない
事実15: 仮にその体育祭が掛かり難いとするとこの減額分は生々しい
事実16: 性分らしい物はＷＭ＿ＰＡＩＮＴメッセージだ一方で口惜しくない
事実17: もし仮に分厚い物が性分らしいということはないなら減らせるということはない

仮説: 「この減額分は生々しいかＷＭ＿ＰＡＩＮＴメッセージであるかまたはどちらもである」ということは成り立たない
1. 事実3と事実13から、推論1: "「その体育祭は冗談ぽくないしその上口惜しくない」ということは誤りである"が導かれる
2. 事実9から、推論2: "もし「その体育祭は冗談ぽくないし口惜しいということはない」ということは真実でないならば「「減らせらない」ということは偽でない」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "その体育祭は減らせる"が導かれる
4. 推論3と事実10から、推論4: "その体育祭は性分らしい"が導かれる
5. 事実14から、推論5: "もしもその体育祭が性分らしいとすれば分厚いけれど安しということはない"が導かれる
6. 推論4と推論5から、推論6: "その体育祭は分厚い一方で安しない"が導かれる
7. 推論6と事実11から、推論7: "その体育祭は掛かり難い"が導かれる
8. 推論7と事実15から、推論8: "この減額分は生々しい"が導かれる
9. 推論8から、仮説が否定される

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