「この募集社債が言い渡すけど交流するということはないならばあのイベント部門は被覆しない」ということは成り立たない
fact1: もしもこの募集社債が言い渡すがしかしそれが交流しないとすればその乙姫は物欲しいということはない fact2: 仮にその自発性は被覆しないとすれば「このイベント部門は春めかないがしかしそれは固める」ということは誤りだ fact3: その乙姫は交流する fact4: 仮にその自発性は被覆しないとすると「このイベント部門は言い渡さなくて加えてそれは固めない」ということは成り立たない fact5: 仮に「その乙姫は物欲しかない」ということは間違いでないとすると「その自発性は春めかなくて固めない」ということは間違いである fact6: もしも「その自発性は春めかないし固めるということはない」ということは成り立たないならば「このイベント部門は被覆する」ということは正しい fact7: 仮にその乙姫は物欲しかないならば「その自発性は春めくということはないけど固める」ということは誤りだ fact8: もし仮にその乙姫が交流するがしかし物欲しかないならばこの募集社債は固めない fact9: 仮にその自発性が固めるならばあのイベント部門は被覆しない fact10: もしこのイベント部門は言い渡すということはないとしたら「この募集社債は交流するが被覆しない」ということは確かだということはない fact11: 「その乙姫は物欲しかないし加えて言い渡すということはない」ということは成り立たない fact12: 仮にこの募集社債が言い渡すし交流するとしたらその乙姫は物欲しかない fact13: もしもこの募集社債が言い渡すけど交流するということはないとするとこのイベント部門は被覆する fact14: 「このイベント部門は被覆する」ということは確かである fact15: その乙姫は春めくということはない fact16: この募集社債は交流しない fact17: もしも「その自発性は春めかなくてかつ固めない」ということは成り立たないならばあのイベント部門は被覆しない fact18: 「その自発性は春めかないが固める」ということは本当でない fact19: もしこの募集社債が言い渡すしおまけにそれが交流するならばあのイベント部門は被覆しない fact20: 仮に「この募集社債は春めかなくてそれは固めない」ということは間違いであるとするとその自発性は言い渡さない fact21: その自発性は言い渡すが固めるということはない fact22: このイベント部門は物欲しいということはない fact23: この募集社債が春めくけどそれが固めるということはないならその自発性は言い渡さない
void -> assump1: 以下のように仮定する。この募集社債は言い渡すけど交流するということはない; fact1 & assump1 -> int1: その乙姫は物欲しかない; int1 & fact5 -> int2: 「その自発性は春めかなくて固めない」ということは嘘だ; int2 & fact17 -> int3: このイベント部門は被覆しない; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もしもこの募集社債が言い渡すがしかしそれが交流しないとすればその乙姫は物欲しいということはない fact2: 仮にその自発性は被覆しないとすれば「このイベント部門は春めかないがしかしそれは固める」ということは誤りだ fact3: その乙姫は交流する fact4: 仮にその自発性は被覆しないとすると「このイベント部門は言い渡さなくて加えてそれは固めない」ということは成り立たない fact5: 仮に「その乙姫は物欲しかない」ということは間違いでないとすると「その自発性は春めかなくて固めない」ということは間違いである fact6: もしも「その自発性は春めかないし固めるということはない」ということは成り立たないならば「このイベント部門は被覆する」ということは正しい fact7: 仮にその乙姫は物欲しかないならば「その自発性は春めくということはないけど固める」ということは誤りだ fact8: もし仮にその乙姫が交流するがしかし物欲しかないならばこの募集社債は固めない fact9: 仮にその自発性が固めるならばあのイベント部門は被覆しない fact10: もしこのイベント部門は言い渡すということはないとしたら「この募集社債は交流するが被覆しない」ということは確かだということはない fact11: 「その乙姫は物欲しかないし加えて言い渡すということはない」ということは成り立たない fact12: 仮にこの募集社債が言い渡すし交流するとしたらその乙姫は物欲しかない fact13: もしもこの募集社債が言い渡すけど交流するということはないとするとこのイベント部門は被覆する fact14: 「このイベント部門は被覆する」ということは確かである fact15: その乙姫は春めくということはない fact16: この募集社債は交流しない fact17: もしも「その自発性は春めかなくてかつ固めない」ということは成り立たないならばあのイベント部門は被覆しない fact18: 「その自発性は春めかないが固める」ということは本当でない fact19: もしこの募集社債が言い渡すしおまけにそれが交流するならばあのイベント部門は被覆しない fact20: 仮に「この募集社債は春めかなくてそれは固めない」ということは間違いであるとするとその自発性は言い渡さない fact21: その自発性は言い渡すが固めるということはない fact22: このイベント部門は物欲しいということはない fact23: この募集社債が春めくけどそれが固めるということはないならその自発性は言い渡さない ; $hypothesis$ = 「この募集社債が言い渡すけど交流するということはないならばあのイベント部門は被覆しない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。この募集社債は言い渡すけど交流するということはない; fact1 & assump1 -> int1: その乙姫は物欲しかない; int1 & fact5 -> int2: 「その自発性は春めかなくて固めない」ということは嘘だ; int2 & fact17 -> int3: このイベント部門は被覆しない; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もしもこの募集社債が言い渡すがしかしそれが交流しないとすればその乙姫は物欲しいということはない
事実2: 仮にその自発性は被覆しないとすれば「このイベント部門は春めかないがしかしそれは固める」ということは誤りだ
事実3: その乙姫は交流する
事実4: 仮にその自発性は被覆しないとすると「このイベント部門は言い渡さなくて加えてそれは固めない」ということは成り立たない
事実5: 仮に「その乙姫は物欲しかない」ということは間違いでないとすると「その自発性は春めかなくて固めない」ということは間違いである
事実6: もしも「その自発性は春めかないし固めるということはない」ということは成り立たないならば「このイベント部門は被覆する」ということは正しい
事実7: 仮にその乙姫は物欲しかないならば「その自発性は春めくということはないけど固める」ということは誤りだ
事実8: もし仮にその乙姫が交流するがしかし物欲しかないならばこの募集社債は固めない
事実9: 仮にその自発性が固めるならばあのイベント部門は被覆しない
事実10: もしこのイベント部門は言い渡すということはないとしたら「この募集社債は交流するが被覆しない」ということは確かだということはない
事実11: 「その乙姫は物欲しかないし加えて言い渡すということはない」ということは成り立たない
事実12: 仮にこの募集社債が言い渡すし交流するとしたらその乙姫は物欲しかない
事実13: もしもこの募集社債が言い渡すけど交流するということはないとするとこのイベント部門は被覆する
事実14: 「このイベント部門は被覆する」ということは確かである
事実15: その乙姫は春めくということはない
事実16: この募集社債は交流しない
事実17: もしも「その自発性は春めかなくてかつ固めない」ということは成り立たないならばあのイベント部門は被覆しない
事実18: 「その自発性は春めかないが固める」ということは本当でない
事実19: もしこの募集社債が言い渡すしおまけにそれが交流するならばあのイベント部門は被覆しない
事実20: 仮に「この募集社債は春めかなくてそれは固めない」ということは間違いであるとするとその自発性は言い渡さない
事実21: その自発性は言い渡すが固めるということはない
事実22: このイベント部門は物欲しいということはない
事実23: この募集社債が春めくけどそれが固めるということはないならその自発性は言い渡さない

仮説: 「この募集社債が言い渡すけど交流するということはないならばあのイベント部門は被覆しない」ということは成り立たない
1. 仮定1: 以下のように仮定する。この募集社債は言い渡すけど交流するということはない
2. 事実1と仮定1から、推論1: "その乙姫は物欲しかない"が導かれる
3. 推論1と事実5から、推論2: "「その自発性は春めかなくて固めない」ということは嘘だ"が導かれる
4. 推論2と事実17から、推論3: "このイベント部門は被覆しない"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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