「あの賛辞は詳しくない」ということは確かなら「この割賦購入斡旋が阿波踊りだしさらにそれは転た寝する」ということは誤っている
fact1: 仮にあの賛辞は転た寝するとすれば「この割賦購入斡旋はどでかいしかつ詳しい」ということは成り立たない fact2: 「あのメンテはどでかくない」ということは確かである fact3: あの賛辞が転た寝するとしたらこの割賦購入斡旋は使い難いということはない fact4: もしもなにがしかの物はどでかくないなら「それは卵塊でないしまた民間消費でない」ということは事実と異なる fact5: 「あの賛辞はどでかくないししかもそれは使い難くない」ということは本当でないとしたらあのメンテは転た寝するということはない fact6: もしも「あのメンテは転た寝しない」ということは確かであるとしたら「この割賦購入斡旋は阿波踊りでその上転た寝する」ということは偽だ fact7: もしあのメンテは転た寝するということはないならば「それは阿波踊りでなくてどでかいということはない」ということは嘘だ fact8: もしあの賛辞は転た寝しないならば「使い難くないし更にそれは阿波踊りだ」ということは成り立たない fact9: もし仮にこの割賦購入斡旋は転た寝するとしたら「あのメンテは使い難いししかもどでかい」ということは成り立たない fact10: もしあの賛辞が転た寝しないとすればあの割賦購入斡旋は詳しいし使い難い fact11: もしもあの賛辞は阿波踊りならば「それは詳しくないしそれはどでかいということはない」ということは成り立たない fact12: もしもあの賛辞は詳しくないとすれば「「それはどでかいということはないし使い難いということはない」ということは成り立つ」ということは成り立たない fact13: もし仮にこの割賦購入斡旋は阿波踊りでないならば「あの賛辞は転た寝するし使い難い」ということは誤っている fact14: もしもこの割賦購入斡旋は詳しくないなら「それはどでかくないしまた転た寝しない」ということは間違いである fact15: 「この図面作成は益金・損金算入等でないけれどそれは転た寝する」ということは成り立たない
void -> assump1: 以下のように仮定する。あの賛辞は詳しくない; fact12 & assump1 -> int1: 「あの賛辞はどでかくないし使い難くない」ということは成り立たない; int1 & fact5 -> int2: あのメンテは転た寝しない; int2 & fact6 -> int3: 「この割賦購入斡旋は阿波踊りでそれは転た寝する」ということは嘘である; [assump1] & int3 -> hypothesis;
仮にその矢継ぎはどでかくないとすれば「それは卵塊でないし更に民間消費でない」ということは成り立たない
fact16 -> hypothesis;
$facts$ = fact1: 仮にあの賛辞は転た寝するとすれば「この割賦購入斡旋はどでかいしかつ詳しい」ということは成り立たない fact2: 「あのメンテはどでかくない」ということは確かである fact3: あの賛辞が転た寝するとしたらこの割賦購入斡旋は使い難いということはない fact4: もしもなにがしかの物はどでかくないなら「それは卵塊でないしまた民間消費でない」ということは事実と異なる fact5: 「あの賛辞はどでかくないししかもそれは使い難くない」ということは本当でないとしたらあのメンテは転た寝するということはない fact6: もしも「あのメンテは転た寝しない」ということは確かであるとしたら「この割賦購入斡旋は阿波踊りでその上転た寝する」ということは偽だ fact7: もしあのメンテは転た寝するということはないならば「それは阿波踊りでなくてどでかいということはない」ということは嘘だ fact8: もしあの賛辞は転た寝しないならば「使い難くないし更にそれは阿波踊りだ」ということは成り立たない fact9: もし仮にこの割賦購入斡旋は転た寝するとしたら「あのメンテは使い難いししかもどでかい」ということは成り立たない fact10: もしあの賛辞が転た寝しないとすればあの割賦購入斡旋は詳しいし使い難い fact11: もしもあの賛辞は阿波踊りならば「それは詳しくないしそれはどでかいということはない」ということは成り立たない fact12: もしもあの賛辞は詳しくないとすれば「「それはどでかいということはないし使い難いということはない」ということは成り立つ」ということは成り立たない fact13: もし仮にこの割賦購入斡旋は阿波踊りでないならば「あの賛辞は転た寝するし使い難い」ということは誤っている fact14: もしもこの割賦購入斡旋は詳しくないなら「それはどでかくないしまた転た寝しない」ということは間違いである fact15: 「この図面作成は益金・損金算入等でないけれどそれは転た寝する」ということは成り立たない ; $hypothesis$ = 「あの賛辞は詳しくない」ということは確かなら「この割賦購入斡旋が阿波踊りだしさらにそれは転た寝する」ということは誤っている ; $proof$ = 
void -> assump1: 以下のように仮定する。あの賛辞は詳しくない; fact12 & assump1 -> int1: 「あの賛辞はどでかくないし使い難くない」ということは成り立たない; int1 & fact5 -> int2: あのメンテは転た寝しない; int2 & fact6 -> int3: 「この割賦購入斡旋は阿波踊りでそれは転た寝する」ということは嘘である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 仮にあの賛辞は転た寝するとすれば「この割賦購入斡旋はどでかいしかつ詳しい」ということは成り立たない
事実2: 「あのメンテはどでかくない」ということは確かである
事実3: あの賛辞が転た寝するとしたらこの割賦購入斡旋は使い難いということはない
事実4: もしもなにがしかの物はどでかくないなら「それは卵塊でないしまた民間消費でない」ということは事実と異なる
事実5: 「あの賛辞はどでかくないししかもそれは使い難くない」ということは本当でないとしたらあのメンテは転た寝するということはない
事実6: もしも「あのメンテは転た寝しない」ということは確かであるとしたら「この割賦購入斡旋は阿波踊りでその上転た寝する」ということは偽だ
事実7: もしあのメンテは転た寝するということはないならば「それは阿波踊りでなくてどでかいということはない」ということは嘘だ
事実8: もしあの賛辞は転た寝しないならば「使い難くないし更にそれは阿波踊りだ」ということは成り立たない
事実9: もし仮にこの割賦購入斡旋は転た寝するとしたら「あのメンテは使い難いししかもどでかい」ということは成り立たない
事実10: もしあの賛辞が転た寝しないとすればあの割賦購入斡旋は詳しいし使い難い
事実11: もしもあの賛辞は阿波踊りならば「それは詳しくないしそれはどでかいということはない」ということは成り立たない
事実12: もしもあの賛辞は詳しくないとすれば「「それはどでかいということはないし使い難いということはない」ということは成り立つ」ということは成り立たない
事実13: もし仮にこの割賦購入斡旋は阿波踊りでないならば「あの賛辞は転た寝するし使い難い」ということは誤っている
事実14: もしもこの割賦購入斡旋は詳しくないなら「それはどでかくないしまた転た寝しない」ということは間違いである
事実15: 「この図面作成は益金・損金算入等でないけれどそれは転た寝する」ということは成り立たない

仮説: 「あの賛辞は詳しくない」ということは確かなら「この割賦購入斡旋が阿波踊りだしさらにそれは転た寝する」ということは誤っている
1. 仮定1: 以下のように仮定する。あの賛辞は詳しくない
2. 事実12と仮定1から、推論1: "「あの賛辞はどでかくないし使い難くない」ということは成り立たない"が導かれる
3. 推論1と事実5から、推論2: "あのメンテは転た寝しない"が導かれる
4. 推論2と事実6から、推論3: "「この割賦購入斡旋は阿波踊りでそれは転た寝する」ということは嘘である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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