「もし仮に「この典座は伸び伸びする」ということは本当であるならばこの聴聞は大きい」ということは成り立たない
fact1: もしとあるものが再燃しないとするとそれは大きい fact2: 「物憂くない」物はある fact3: 「伸び伸びしなくて更に再燃しない」ものはある fact4: もし「「物憂くないしその上日本渡来だということはない」ということは成り立たない」ものがあるとすればこの聴聞は再燃するということはない fact5: 「日本渡来でない」ものはある fact6: 仮にその核酸複合体ライブラリーは日本渡来でないならそれは大きい fact7: もし仮になんらかの物は物憂いとしたら「装着出来ないしまたそれは等しない」ということは成り立たない fact8: 「その核酸複合体ライブラリーは物憂い一方でそれは日本渡来でない」ということは成り立たない fact9: その核酸複合体ライブラリーは再燃しないしそれに物憂いということはない fact10: もし「物憂いということはなくておまけに日本渡来でない」ものがあるとすればあの典座は伸び伸びしない fact11: もし仮に「物憂くないし日本渡来でない」物があるとするとこの典座は伸び伸びする
void -> assump2: 以下のように仮定する。その核酸複合体ライブラリーは物憂いということはないしそれは日本渡来でない; assump2 -> int1: 何かは物憂いということはないしその上日本渡来でない; int1 & fact10 -> int2: この典座は伸び伸びするということはない; void -> assump1: 以下のように仮定する。この典座は伸び伸びする; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: 「その核酸複合体ライブラリーは物憂くないしさらに日本渡来であるということはない」ということは偽である; int4 -> int5: 「「物憂いということはないしそれに日本渡来でない」ということは間違いな」ものはある; int5 & fact4 -> int6: この聴聞は再燃しない; fact1 -> int7: もし仮にこの聴聞が再燃するということはないとすればそれは大きい; int6 & int7 -> int8: この聴聞は大きい; [assump1] & int8 -> hypothesis;
「「装着出来ないし更に等しない」ということは成り立たない」ものはある
fact12 -> int9: もしこの典座は物憂いとしたら「装着出来ないしさらに等しない」ということは偽だ;
$facts$ = fact1: もしとあるものが再燃しないとするとそれは大きい fact2: 「物憂くない」物はある fact3: 「伸び伸びしなくて更に再燃しない」ものはある fact4: もし「「物憂くないしその上日本渡来だということはない」ということは成り立たない」ものがあるとすればこの聴聞は再燃するということはない fact5: 「日本渡来でない」ものはある fact6: 仮にその核酸複合体ライブラリーは日本渡来でないならそれは大きい fact7: もし仮になんらかの物は物憂いとしたら「装着出来ないしまたそれは等しない」ということは成り立たない fact8: 「その核酸複合体ライブラリーは物憂い一方でそれは日本渡来でない」ということは成り立たない fact9: その核酸複合体ライブラリーは再燃しないしそれに物憂いということはない fact10: もし「物憂いということはなくておまけに日本渡来でない」ものがあるとすればあの典座は伸び伸びしない fact11: もし仮に「物憂くないし日本渡来でない」物があるとするとこの典座は伸び伸びする ; $hypothesis$ = 「もし仮に「この典座は伸び伸びする」ということは本当であるならばこの聴聞は大きい」ということは成り立たない ; $proof$ = 
void -> assump2: 以下のように仮定する。その核酸複合体ライブラリーは物憂いということはないしそれは日本渡来でない; assump2 -> int1: 何かは物憂いということはないしその上日本渡来でない; int1 & fact10 -> int2: この典座は伸び伸びするということはない; void -> assump1: 以下のように仮定する。この典座は伸び伸びする; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: 「その核酸複合体ライブラリーは物憂くないしさらに日本渡来であるということはない」ということは偽である; int4 -> int5: 「「物憂いということはないしそれに日本渡来でない」ということは間違いな」ものはある; int5 & fact4 -> int6: この聴聞は再燃しない; fact1 -> int7: もし仮にこの聴聞が再燃するということはないとすればそれは大きい; int6 & int7 -> int8: この聴聞は大きい; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: もしとあるものが再燃しないとするとそれは大きい
事実2: 「物憂くない」物はある
事実3: 「伸び伸びしなくて更に再燃しない」ものはある
事実4: もし「「物憂くないしその上日本渡来だということはない」ということは成り立たない」ものがあるとすればこの聴聞は再燃するということはない
事実5: 「日本渡来でない」ものはある
事実6: 仮にその核酸複合体ライブラリーは日本渡来でないならそれは大きい
事実7: もし仮になんらかの物は物憂いとしたら「装着出来ないしまたそれは等しない」ということは成り立たない
事実8: 「その核酸複合体ライブラリーは物憂い一方でそれは日本渡来でない」ということは成り立たない
事実9: その核酸複合体ライブラリーは再燃しないしそれに物憂いということはない
事実10: もし「物憂いということはなくておまけに日本渡来でない」ものがあるとすればあの典座は伸び伸びしない
事実11: もし仮に「物憂くないし日本渡来でない」物があるとするとこの典座は伸び伸びする

仮説: 「もし仮に「この典座は伸び伸びする」ということは本当であるならばこの聴聞は大きい」ということは成り立たない
1. 仮定2: 以下のように仮定する。その核酸複合体ライブラリーは物憂いということはないしそれは日本渡来でない
2. 仮定2から、推論1: "何かは物憂いということはないしその上日本渡来でない"が導かれる
3. 推論1と事実10から、推論2: "この典座は伸び伸びするということはない"が導かれる
4. 仮定1: 以下のように仮定する。この典座は伸び伸びする
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "「その核酸複合体ライブラリーは物憂くないしさらに日本渡来であるということはない」ということは偽である"が導かれる
7. 推論4から、推論5: "「「物憂いということはないしそれに日本渡来でない」ということは間違いな」ものはある"が導かれる
8. 推論5と事実4から、推論6: "この聴聞は再燃しない"が導かれる
9. 事実1から、推論7: "もし仮にこの聴聞が再燃するということはないとすればそれは大きい"が導かれる
10. 推論6と推論7から、推論8: "この聴聞は大きい"が導かれる
11. [仮定1]と推論8から、仮説が否定される

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