この総監部は圧力損失だ
fact1: もし仮に「「支給基準でなくて盛り上がりであるということはない」ということは事実でない」ものはあるとしたら「このヤッホーは製品Ａでない」ということは事実である fact2: なんらかの物が総本家であるかもしくは選任だということはないかまたは両方であるとしたらそれは設計時だ fact3: もし仮に「このヤッホーは製品Ａである」ということは偽でないとするとその銚子は富貴でない fact4: もし「とある物は縒り合わせるか緩いということはないかもしくは両方である」ということは間違っていないとすれば緩くない fact5: もしもこのヤッホーが設計時だがしかしそれが富貴でないならばこの総監部は圧力損失だ fact6: その銚子が選任であるかもしくは総本家ならこのヤッホーは富貴だということはない fact7: もし「何らかの物は製品Ａでないけど証しする」ということは成り立たないとするとそれは設計時だ fact8: そのＤＨＡは縒り合わせるか緩くないかもしくはどちらもだ fact9: 製品Ａでないがしかし証しするという物はない fact10: もしも「富貴でない」ものがあるならばあの総監部は総本家であるかあるいはそれは選任でないかどちらもである fact11: とある物は製品Ａでないとしたら「圧力損失であるしおまけにそれは証しする」ということは偽だ fact12: 「「圧力損失だしさらに証しする」ということは誤っている」ものがあるとすればその銚子は富貴でない fact13: その銚子は総本家だ fact14: もしそのＤＨＡは緩いということはないとしたら「支給基準でなくて盛り上がりでない」ということは成り立たない
fact13 -> int1: その銚子は選任であるかまたは総本家だ; int1 & fact6 -> int2: このヤッホーは富貴でない; fact9 -> int3: 「このヤッホーは製品Ａでない一方で証しする」ということは偽である; fact7 -> int4: もしも「このヤッホーは製品Ａでないがしかしそれは証しする」ということは確かでないなら設計時である; int3 & int4 -> int5: このヤッホーは設計時である; int2 & int5 -> int6: このヤッホーは設計時であるが富貴でない; int6 & fact5 -> hypothesis;
この総監部は設計時だ
fact16 -> int7: もしもこの総監部は総本家であるかもしくは選任でないとしたらそれは設計時である; fact15 -> int8: もし仮にこのヤッホーは製品Ａでないとしたら「それは圧力損失であるししかも証しする」ということは成り立たない; fact22 -> int9: もし仮にそのＤＨＡは縒り合わせるか緩くないとすれば緩くない; int9 & fact19 -> int10: そのＤＨＡは緩くない; fact18 & int10 -> int11: 「そのＤＨＡは支給基準でないしそれは盛り上がりだということはない」ということは間違いだ; int11 -> int12: 「「支給基準でなくてそれに盛り上がりでない」ということは成り立たない」物はある; int12 & fact21 -> int13: このヤッホーは製品Ａでない; int8 & int13 -> int14: 「このヤッホーは圧力損失であるしそれに証しする」ということは成り立たない; int14 -> int15: 「「圧力損失であるし証しする」ということは偽な」ものはある; int15 & fact20 -> int16: その銚子は富貴でない; int16 -> int17: 何らかのものは富貴でない; int17 & fact17 -> int18: この総監部は総本家であるかもしくは選任でないか両方ともだ; int7 & int18 -> hypothesis;
$facts$ = fact1: もし仮に「「支給基準でなくて盛り上がりであるということはない」ということは事実でない」ものはあるとしたら「このヤッホーは製品Ａでない」ということは事実である fact2: なんらかの物が総本家であるかもしくは選任だということはないかまたは両方であるとしたらそれは設計時だ fact3: もし仮に「このヤッホーは製品Ａである」ということは偽でないとするとその銚子は富貴でない fact4: もし「とある物は縒り合わせるか緩いということはないかもしくは両方である」ということは間違っていないとすれば緩くない fact5: もしもこのヤッホーが設計時だがしかしそれが富貴でないならばこの総監部は圧力損失だ fact6: その銚子が選任であるかもしくは総本家ならこのヤッホーは富貴だということはない fact7: もし「何らかの物は製品Ａでないけど証しする」ということは成り立たないとするとそれは設計時だ fact8: そのＤＨＡは縒り合わせるか緩くないかもしくはどちらもだ fact9: 製品Ａでないがしかし証しするという物はない fact10: もしも「富貴でない」ものがあるならばあの総監部は総本家であるかあるいはそれは選任でないかどちらもである fact11: とある物は製品Ａでないとしたら「圧力損失であるしおまけにそれは証しする」ということは偽だ fact12: 「「圧力損失だしさらに証しする」ということは誤っている」ものがあるとすればその銚子は富貴でない fact13: その銚子は総本家だ fact14: もしそのＤＨＡは緩いということはないとしたら「支給基準でなくて盛り上がりでない」ということは成り立たない ; $hypothesis$ = この総監部は圧力損失だ ; $proof$ = 
fact13 -> int1: その銚子は選任であるかまたは総本家だ; int1 & fact6 -> int2: このヤッホーは富貴でない; fact9 -> int3: 「このヤッホーは製品Ａでない一方で証しする」ということは偽である; fact7 -> int4: もしも「このヤッホーは製品Ａでないがしかしそれは証しする」ということは確かでないなら設計時である; int3 & int4 -> int5: このヤッホーは設計時である; int2 & int5 -> int6: このヤッホーは設計時であるが富貴でない; int6 & fact5 -> hypothesis; __PROVED__
事実1: もし仮に「「支給基準でなくて盛り上がりであるということはない」ということは事実でない」ものはあるとしたら「このヤッホーは製品Ａでない」ということは事実である
事実2: なんらかの物が総本家であるかもしくは選任だということはないかまたは両方であるとしたらそれは設計時だ
事実3: もし仮に「このヤッホーは製品Ａである」ということは偽でないとするとその銚子は富貴でない
事実4: もし「とある物は縒り合わせるか緩いということはないかもしくは両方である」ということは間違っていないとすれば緩くない
事実5: もしもこのヤッホーが設計時だがしかしそれが富貴でないならばこの総監部は圧力損失だ
事実6: その銚子が選任であるかもしくは総本家ならこのヤッホーは富貴だということはない
事実7: もし「何らかの物は製品Ａでないけど証しする」ということは成り立たないとするとそれは設計時だ
事実8: そのＤＨＡは縒り合わせるか緩くないかもしくはどちらもだ
事実9: 製品Ａでないがしかし証しするという物はない
事実10: もしも「富貴でない」ものがあるならばあの総監部は総本家であるかあるいはそれは選任でないかどちらもである
事実11: とある物は製品Ａでないとしたら「圧力損失であるしおまけにそれは証しする」ということは偽だ
事実12: 「「圧力損失だしさらに証しする」ということは誤っている」ものがあるとすればその銚子は富貴でない
事実13: その銚子は総本家だ
事実14: もしそのＤＨＡは緩いということはないとしたら「支給基準でなくて盛り上がりでない」ということは成り立たない

仮説: この総監部は圧力損失だ
1. 事実13から、推論1: "その銚子は選任であるかまたは総本家だ"が導かれる
2. 推論1と事実6から、推論2: "このヤッホーは富貴でない"が導かれる
3. 事実9から、推論3: "「このヤッホーは製品Ａでない一方で証しする」ということは偽である"が導かれる
4. 事実7から、推論4: "もしも「このヤッホーは製品Ａでないがしかしそれは証しする」ということは確かでないなら設計時である"が導かれる
5. 推論3と推論4から、推論5: "このヤッホーは設計時である"が導かれる
6. 推論2と推論5から、推論6: "このヤッホーは設計時であるが富貴でない"が導かれる
7. 推論6と事実5から、仮説が導かれる

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