「もしあのＡ四用紙が冷え易いならあのＡ四用紙は済まさない」ということは成り立たない
fact1: もし仮にあのＡ四用紙が冷え易いとするとそれは少な過ぎないがしかし所管省庁だ fact2: 仮に「あのＡ四用紙は少な過ぎるし加えて所管省庁である」ということは成り立つとすればそれは済まさない fact3: もしあの転が冷え易くないとしたらあのＡ四用紙は少な過ぎるか済ますかまたは両方ともである fact4: もし仮にあのＡ四用紙が少な過ぎればそれは気怠い fact5: この利子所得等は奥深いかまたは求め得ないかあるいは両方ともだ fact6: 何かは少な過ぎない一方で所管省庁だとすると「済ますということはない」ということは確かである fact7: この航は少な過ぎない fact8: もし何かは求め得ないとしたら冷え易くないか期し難いということはないか両方ともである fact9: 仮に「あのＡ四用紙は兄嫁である」ということは本当であるならそれは結合し易い fact10: もし冷え易くない物が済ますとすればそれは少な過ぎない fact11: とあるものが少な過ぎないがそれは所管省庁であるならば済ます fact12: もしもこの会計担当官が把握し易いとするとそれは所管省庁だ fact13: もし仮にあのＡ四用紙は冷え易いなら「それは済ます」ということは成り立つ
void -> assump1: 以下のように仮定する。あのＡ四用紙は冷え易い; fact1 & assump1 -> int1: 「あのＡ四用紙は少な過ぎないけどそれは所管省庁である」ということは真実だ; fact6 -> int2: 「あのＡ四用紙は少な過ぎないけれど所管省庁である」ということは正しいとするとそれは済まさない; int1 & int2 -> int3: あのＡ四用紙は済ますということはない; [assump1] & int3 -> hypothesis;
あの網戸は少な過ぎる
fact15 -> int4: 仮にこのＰバンドが求め得ないとすれば冷え易くないかまたは期し難くないかまたは両方ともだ; fact16 -> int5: なんらかのものは奥深いかまたはそれは求め得ない;
$facts$ = fact1: もし仮にあのＡ四用紙が冷え易いとするとそれは少な過ぎないがしかし所管省庁だ fact2: 仮に「あのＡ四用紙は少な過ぎるし加えて所管省庁である」ということは成り立つとすればそれは済まさない fact3: もしあの転が冷え易くないとしたらあのＡ四用紙は少な過ぎるか済ますかまたは両方ともである fact4: もし仮にあのＡ四用紙が少な過ぎればそれは気怠い fact5: この利子所得等は奥深いかまたは求め得ないかあるいは両方ともだ fact6: 何かは少な過ぎない一方で所管省庁だとすると「済ますということはない」ということは確かである fact7: この航は少な過ぎない fact8: もし何かは求め得ないとしたら冷え易くないか期し難いということはないか両方ともである fact9: 仮に「あのＡ四用紙は兄嫁である」ということは本当であるならそれは結合し易い fact10: もし冷え易くない物が済ますとすればそれは少な過ぎない fact11: とあるものが少な過ぎないがそれは所管省庁であるならば済ます fact12: もしもこの会計担当官が把握し易いとするとそれは所管省庁だ fact13: もし仮にあのＡ四用紙は冷え易いなら「それは済ます」ということは成り立つ ; $hypothesis$ = 「もしあのＡ四用紙が冷え易いならあのＡ四用紙は済まさない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのＡ四用紙は冷え易い; fact1 & assump1 -> int1: 「あのＡ四用紙は少な過ぎないけどそれは所管省庁である」ということは真実だ; fact6 -> int2: 「あのＡ四用紙は少な過ぎないけれど所管省庁である」ということは正しいとするとそれは済まさない; int1 & int2 -> int3: あのＡ四用紙は済ますということはない; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もし仮にあのＡ四用紙が冷え易いとするとそれは少な過ぎないがしかし所管省庁だ
事実2: 仮に「あのＡ四用紙は少な過ぎるし加えて所管省庁である」ということは成り立つとすればそれは済まさない
事実3: もしあの転が冷え易くないとしたらあのＡ四用紙は少な過ぎるか済ますかまたは両方ともである
事実4: もし仮にあのＡ四用紙が少な過ぎればそれは気怠い
事実5: この利子所得等は奥深いかまたは求め得ないかあるいは両方ともだ
事実6: 何かは少な過ぎない一方で所管省庁だとすると「済ますということはない」ということは確かである
事実7: この航は少な過ぎない
事実8: もし何かは求め得ないとしたら冷え易くないか期し難いということはないか両方ともである
事実9: 仮に「あのＡ四用紙は兄嫁である」ということは本当であるならそれは結合し易い
事実10: もし冷え易くない物が済ますとすればそれは少な過ぎない
事実11: とあるものが少な過ぎないがそれは所管省庁であるならば済ます
事実12: もしもこの会計担当官が把握し易いとするとそれは所管省庁だ
事実13: もし仮にあのＡ四用紙は冷え易いなら「それは済ます」ということは成り立つ

仮説: 「もしあのＡ四用紙が冷え易いならあのＡ四用紙は済まさない」ということは成り立たない
1. 仮定1: 以下のように仮定する。あのＡ四用紙は冷え易い
2. 事実1と仮定1から、推論1: "「あのＡ四用紙は少な過ぎないけどそれは所管省庁である」ということは真実だ"が導かれる
3. 事実6から、推論2: "「あのＡ四用紙は少な過ぎないけれど所管省庁である」ということは正しいとするとそれは済まさない"が導かれる
4. 推論1と推論2から、推論3: "あのＡ四用紙は済ますということはない"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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