その南京政府は秋以降でない
fact1: 「あのハウスメーカーは仕事らしいがしかし判断し難くない」ということは間違いであるなら仕事らしくない fact2: 「御座りする」ものはあるなら「あのハウスメーカーはちぎれなくて御座りしない」ということは間違いだ fact3: もし仮にこの川辺川ダムが手っ取り早いがしかし止む無いということはないならばその南京政府は秋以降であるということはない fact4: あのハウスメーカーはリンクするということはない fact5: 苦い物は手っ取り早いけど止む無くない fact6: あのハウスメーカーが仕事らしいということはないとしたらそれは儚しない fact7: もし仮にあのハウスメーカーはリンクするということはないとすると「この地団駄は競走するし口惜しい」ということは成り立たない fact8: もし仮に「「競走するし口惜しい」ということは成り立たない」ものがあるとしたらこの川辺川ダムは苦い fact9: もし「なにかはちぎれなくてかつそれは御座りしない」ということは成り立たないとしたら御座りする fact10: 「あのハウスメーカーは仕事らしいけど判断し難くない」ということは誤りである fact11: このδＬはリンクするということはない fact12: もし仮にあるものは思い付かないしさらに白しないなら「手っ取り早い」ということは事実と異ならない fact13: 「仮にあのハウスメーカーが儚しないならあのハウスメーカーは思い付かなくてそれは白しない」ということは成り立つ fact14: もしもこの地団駄が秋以降であるけど口惜しいということはないとすればこの川辺川ダムは苦くない fact15: 「御座りする」ものはある fact16: 仮に手っ取り早い物が御座りするとすればそれは止む無くない
fact7 & fact4 -> int1: 「この地団駄は競走するししかも口惜しい」ということは嘘である; int1 -> int2: 「「競走するし口惜しい」ということは事実でない」ものはある; int2 & fact8 -> int3: この川辺川ダムは苦い; fact5 -> int4: もし「この川辺川ダムは苦い」ということは成り立つなら手っ取り早いししかも止む無くない; int3 & int4 -> int5: この川辺川ダムは手っ取り早い一方で止む無いということはない; int5 & fact3 -> hypothesis;
その南京政府は秋以降である
fact22 -> int6: もしあのハウスメーカーは手っ取り早くてそれに御座りすればそれは止む無くない; fact20 -> int7: もし仮にあのハウスメーカーは思い付かないし白しないならそれは手っ取り早い; fact17 & fact23 -> int8: あのハウスメーカーは仕事らしくない; fact24 & int8 -> int9: あのハウスメーカーは儚しということはない; fact18 & int9 -> int10: あのハウスメーカーは思い付かないし更に白しない; int7 & int10 -> int11: あのハウスメーカーは手っ取り早い; fact21 -> int12: もし仮に「あのハウスメーカーはちぎれるということはないし御座りしない」ということは偽であるなら御座りする; fact19 & fact25 -> int13: 「あのハウスメーカーはちぎれなくて御座りしない」ということは偽である; int12 & int13 -> int14: あのハウスメーカーは御座りする; int11 & int14 -> int15: あのハウスメーカーは手っ取り早くてさらに御座りする; int6 & int15 -> int16: あのハウスメーカーは止む無くない;
$facts$ = fact1: 「あのハウスメーカーは仕事らしいがしかし判断し難くない」ということは間違いであるなら仕事らしくない fact2: 「御座りする」ものはあるなら「あのハウスメーカーはちぎれなくて御座りしない」ということは間違いだ fact3: もし仮にこの川辺川ダムが手っ取り早いがしかし止む無いということはないならばその南京政府は秋以降であるということはない fact4: あのハウスメーカーはリンクするということはない fact5: 苦い物は手っ取り早いけど止む無くない fact6: あのハウスメーカーが仕事らしいということはないとしたらそれは儚しない fact7: もし仮にあのハウスメーカーはリンクするということはないとすると「この地団駄は競走するし口惜しい」ということは成り立たない fact8: もし仮に「「競走するし口惜しい」ということは成り立たない」ものがあるとしたらこの川辺川ダムは苦い fact9: もし「なにかはちぎれなくてかつそれは御座りしない」ということは成り立たないとしたら御座りする fact10: 「あのハウスメーカーは仕事らしいけど判断し難くない」ということは誤りである fact11: このδＬはリンクするということはない fact12: もし仮にあるものは思い付かないしさらに白しないなら「手っ取り早い」ということは事実と異ならない fact13: 「仮にあのハウスメーカーが儚しないならあのハウスメーカーは思い付かなくてそれは白しない」ということは成り立つ fact14: もしもこの地団駄が秋以降であるけど口惜しいということはないとすればこの川辺川ダムは苦くない fact15: 「御座りする」ものはある fact16: 仮に手っ取り早い物が御座りするとすればそれは止む無くない ; $hypothesis$ = その南京政府は秋以降でない ; $proof$ = 
fact7 & fact4 -> int1: 「この地団駄は競走するししかも口惜しい」ということは嘘である; int1 -> int2: 「「競走するし口惜しい」ということは事実でない」ものはある; int2 & fact8 -> int3: この川辺川ダムは苦い; fact5 -> int4: もし「この川辺川ダムは苦い」ということは成り立つなら手っ取り早いししかも止む無くない; int3 & int4 -> int5: この川辺川ダムは手っ取り早い一方で止む無いということはない; int5 & fact3 -> hypothesis; __PROVED__
事実1: 「あのハウスメーカーは仕事らしいがしかし判断し難くない」ということは間違いであるなら仕事らしくない
事実2: 「御座りする」ものはあるなら「あのハウスメーカーはちぎれなくて御座りしない」ということは間違いだ
事実3: もし仮にこの川辺川ダムが手っ取り早いがしかし止む無いということはないならばその南京政府は秋以降であるということはない
事実4: あのハウスメーカーはリンクするということはない
事実5: 苦い物は手っ取り早いけど止む無くない
事実6: あのハウスメーカーが仕事らしいということはないとしたらそれは儚しない
事実7: もし仮にあのハウスメーカーはリンクするということはないとすると「この地団駄は競走するし口惜しい」ということは成り立たない
事実8: もし仮に「「競走するし口惜しい」ということは成り立たない」ものがあるとしたらこの川辺川ダムは苦い
事実9: もし「なにかはちぎれなくてかつそれは御座りしない」ということは成り立たないとしたら御座りする
事実10: 「あのハウスメーカーは仕事らしいけど判断し難くない」ということは誤りである
事実11: このδＬはリンクするということはない
事実12: もし仮にあるものは思い付かないしさらに白しないなら「手っ取り早い」ということは事実と異ならない
事実13: 「仮にあのハウスメーカーが儚しないならあのハウスメーカーは思い付かなくてそれは白しない」ということは成り立つ
事実14: もしもこの地団駄が秋以降であるけど口惜しいということはないとすればこの川辺川ダムは苦くない
事実15: 「御座りする」ものはある
事実16: 仮に手っ取り早い物が御座りするとすればそれは止む無くない

仮説: その南京政府は秋以降でない
1. 事実7と事実4から、推論1: "「この地団駄は競走するししかも口惜しい」ということは嘘である"が導かれる
2. 推論1から、推論2: "「「競走するし口惜しい」ということは事実でない」ものはある"が導かれる
3. 推論2と事実8から、推論3: "この川辺川ダムは苦い"が導かれる
4. 事実5から、推論4: "もし「この川辺川ダムは苦い」ということは成り立つなら手っ取り早いししかも止む無くない"が導かれる
5. 推論3と推論4から、推論5: "この川辺川ダムは手っ取り早い一方で止む無いということはない"が導かれる
6. 推論5と事実3から、仮説が導かれる

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