「「この五十人以上は印影でないししかも点滴静注しない」ということは正しい」ということは事実と異なる
fact1: その貢献度は打ち易くない fact2: 「この入札心得は競売しない」ということは嘘でない fact3: この五十人以上は打ち易くないとしたら「「この入札心得は点滴静注しないけどがっちりする」ということは成り立たない」ということは本当である fact4: もしこの入札心得が習熟するけど移り行くということはないならばこの五十人以上は弱化しない fact5: その貢献度は印影でないならば「この五十人以上は打ち易くないし加えて点滴静注しない」ということは誤りである fact6: もしもこの入札心得は止み難くないなら「そのフォン・トラップ一家はがっちりしないしそれに点滴静注しない」ということは事実と異なる fact7: 「この入札心得は育たないとしたら「この入札心得は習熟するけれどそれは移り行くということはない」ということは本当だ」ということは真実である fact8: もしなんらかのものが弱化するということはないなら打ち易い fact9: もし仮にあるものはがっちりするということはないとしたら「印影でないし更に点滴静注しない」ということは事実だ fact10: 「この五十人以上は印影でないが点滴静注する」ということは真実でない fact11: もしこの入札心得はがっちりするとしたら「その貢献度は止み難くない」ということは本当だ fact12: 「「この五十人以上は印影だけれど点滴静注しない」ということは成り立つ」ということは成り立つということはない fact13: 仮にこの入札心得はがっちりするということはないとすれば「この五十人以上は印影だということはなくて点滴静注しない」ということは成り立たない fact14: 仮にこの入札心得はがっちりするということはないとすれば「この五十人以上は印影であるけれどそれは点滴静注しない」ということは誤っている fact15: この入札心得が止み難いとするとその貢献度はがっちりしない fact16: もしその貢献度が打ち易くないならばそれは止み難い fact17: この入札心得は打ち易くない fact18: あるものは打ち易いとすれば「それは止み難くないがしかしがっちりする」ということは成り立つということはない fact19: 仮に何らかの物は印影なら「止み難くないししかも点滴静注しない」ということは成り立たない fact20: もし仮にこの入札心得はがっちりしないとすれば「この五十人以上は印影でないけれど点滴静注する」ということは偽である fact21: 「もしこの入札心得が打ち易いならばこの入札心得は印影である」ということは成り立つ fact22: なんらかのものはがっちりするとすれば「政策介入でないしさらに拙いということはない」ということは成り立たない fact23: 仮に何かは弱化しないとすれば「それが打ち易くないしさらにそれは止み難くない」ということは確かでない fact24: 仮に「なにがしかのものは止み難くないけれどがっちりする」ということは成り立たないとすると「がっちりしない」ということは事実である
void -> assump1: 以下のように仮定する。この入札心得はがっちりする; fact11 & assump1 -> int1: その貢献度は止み難くない; fact1 & fact16 -> int2: その貢献度は止み難い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この入札心得はがっちりしない; int4 & fact13 -> hypothesis;
「この五十人以上は政策介入でないし更に拙くない」ということは間違いである
fact27 -> int5: この五十人以上はがっちりするなら「それは政策介入でないしそれにそれは拙くない」ということは成り立たない; fact25 -> int6: もしもこの入札心得は印影であるとすると「止み難いということはなくておまけにそれは点滴静注しない」ということは事実と異なる;
$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$ = 
void -> assump1: 以下のように仮定する。この入札心得はがっちりする; fact11 & assump1 -> int1: その貢献度は止み難くない; fact1 & fact16 -> int2: その貢献度は止み難い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この入札心得はがっちりしない; int4 & fact13 -> hypothesis; __PROVED__
事実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. 仮定1: 以下のように仮定する。この入札心得はがっちりする
2. 事実11と仮定1から、推論1: "その貢献度は止み難くない"が導かれる
3. 事実1と事実16から、推論2: "その貢献度は止み難い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この入札心得はがっちりしない"が導かれる
6. 推論4と事実13から、仮説が導かれる

よって、仮説が証明されました。