「あの七十年代前半は言い難くないし例外無くない」ということは確かでない
fact1: もしこの酸化膜は鳴放運動であるとしたら「印山記だということはないかあるいは支障無いということはないかまたは両方ともだ」ということは真実でない fact2: 仮にあの背骨が印山記だとすればこの酸化膜は印山記でないかそれは支障無くない fact3: もしも何らかのものは残でないとすれば「水勢でなくて調べ易くない」ということは嘘である fact4: この酸化膜は鳴放運動である fact5: もしも「あるものは言い難くないし加えて例外無くない」ということは成り立つということはないとすれば公爵夫人である fact6: もしあの七十年代前半は公爵夫人だとすれば「あの背骨は残である」ということは真実である fact7: もし仮に「あの定型句は美しいけれど吊るし上げない」ということは成り立たないならこの酸化膜は支障無いということはない fact8: 支障無くない物は鳴放運動であるし公爵夫人だ fact9: もしも「なにがしかの物は残だ」ということは真実であるとすると印山記だ fact10: もし仮にその高率負担部分が美しいが支障無くないとすると鳴放運動でない fact11: もしも何かは鳴放運動であるということはないとすれば「公爵夫人でおまけにそれは印山記である」ということは成り立たない fact12: もし仮にこの酸化膜が公爵夫人であるとするとあの背骨は印山記であるかまたは残でないかどちらもである fact13: 仮になにがしかの物は残でないとすると「言い難くないしそれに例外無いということはない」ということは成り立たない
fact5 -> int1: 「「「あの七十年代前半は言い難くないし例外無くない」ということは成り立つ」ということは間違いであるとしたらあの七十年代前半は公爵夫人である」ということは事実である; void -> assump1: 以下のように仮定する。「あの七十年代前半は言い難くないしその上例外無くない」ということは偽である; int1 & assump1 -> int2: あの七十年代前半は公爵夫人だ; int2 & fact6 -> int3: あの背骨は残である; fact9 -> int4: もしあの背骨が残ならば印山記である; int3 & int4 -> int5: 「あの背骨は印山記である」ということは成り立つ; int5 & fact2 -> int6: この酸化膜は印山記でないか支障無くないかもしくはどちらもである; fact4 & fact1 -> int7: 「この酸化膜は印山記でないかまたは支障無くないかまたは両方である」ということは事実と異なる; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
「あの七十年代前半は言い難くないししかも例外無くない」ということは成り立つということはない
fact15 -> int9: 仮にあの七十年代前半は残でないとすれば「それが言い難くないしさらにそれは例外無くない」ということは成り立たない; fact14 -> int10: もしこの酸化膜が支障無くないならば鳴放運動であるし公爵夫人だ;
$facts$ = fact1: もしこの酸化膜は鳴放運動であるとしたら「印山記だということはないかあるいは支障無いということはないかまたは両方ともだ」ということは真実でない fact2: 仮にあの背骨が印山記だとすればこの酸化膜は印山記でないかそれは支障無くない fact3: もしも何らかのものは残でないとすれば「水勢でなくて調べ易くない」ということは嘘である fact4: この酸化膜は鳴放運動である fact5: もしも「あるものは言い難くないし加えて例外無くない」ということは成り立つということはないとすれば公爵夫人である fact6: もしあの七十年代前半は公爵夫人だとすれば「あの背骨は残である」ということは真実である fact7: もし仮に「あの定型句は美しいけれど吊るし上げない」ということは成り立たないならこの酸化膜は支障無いということはない fact8: 支障無くない物は鳴放運動であるし公爵夫人だ fact9: もしも「なにがしかの物は残だ」ということは真実であるとすると印山記だ fact10: もし仮にその高率負担部分が美しいが支障無くないとすると鳴放運動でない fact11: もしも何かは鳴放運動であるということはないとすれば「公爵夫人でおまけにそれは印山記である」ということは成り立たない fact12: もし仮にこの酸化膜が公爵夫人であるとするとあの背骨は印山記であるかまたは残でないかどちらもである fact13: 仮になにがしかの物は残でないとすると「言い難くないしそれに例外無いということはない」ということは成り立たない ; $hypothesis$ = 「あの七十年代前半は言い難くないし例外無くない」ということは確かでない ; $proof$ = 
fact5 -> int1: 「「「あの七十年代前半は言い難くないし例外無くない」ということは成り立つ」ということは間違いであるとしたらあの七十年代前半は公爵夫人である」ということは事実である; void -> assump1: 以下のように仮定する。「あの七十年代前半は言い難くないしその上例外無くない」ということは偽である; int1 & assump1 -> int2: あの七十年代前半は公爵夫人だ; int2 & fact6 -> int3: あの背骨は残である; fact9 -> int4: もしあの背骨が残ならば印山記である; int3 & int4 -> int5: 「あの背骨は印山記である」ということは成り立つ; int5 & fact2 -> int6: この酸化膜は印山記でないか支障無くないかもしくはどちらもである; fact4 & fact1 -> int7: 「この酸化膜は印山記でないかまたは支障無くないかまたは両方である」ということは事実と異なる; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: もしこの酸化膜は鳴放運動であるとしたら「印山記だということはないかあるいは支障無いということはないかまたは両方ともだ」ということは真実でない
事実2: 仮にあの背骨が印山記だとすればこの酸化膜は印山記でないかそれは支障無くない
事実3: もしも何らかのものは残でないとすれば「水勢でなくて調べ易くない」ということは嘘である
事実4: この酸化膜は鳴放運動である
事実5: もしも「あるものは言い難くないし加えて例外無くない」ということは成り立つということはないとすれば公爵夫人である
事実6: もしあの七十年代前半は公爵夫人だとすれば「あの背骨は残である」ということは真実である
事実7: もし仮に「あの定型句は美しいけれど吊るし上げない」ということは成り立たないならこの酸化膜は支障無いということはない
事実8: 支障無くない物は鳴放運動であるし公爵夫人だ
事実9: もしも「なにがしかの物は残だ」ということは真実であるとすると印山記だ
事実10: もし仮にその高率負担部分が美しいが支障無くないとすると鳴放運動でない
事実11: もしも何かは鳴放運動であるということはないとすれば「公爵夫人でおまけにそれは印山記である」ということは成り立たない
事実12: もし仮にこの酸化膜が公爵夫人であるとするとあの背骨は印山記であるかまたは残でないかどちらもである
事実13: 仮になにがしかの物は残でないとすると「言い難くないしそれに例外無いということはない」ということは成り立たない

仮説: 「あの七十年代前半は言い難くないし例外無くない」ということは確かでない
1. 事実5から、推論1: "「「「あの七十年代前半は言い難くないし例外無くない」ということは成り立つ」ということは間違いであるとしたらあの七十年代前半は公爵夫人である」ということは事実である"が導かれる
2. 仮定1: 以下のように仮定する。「あの七十年代前半は言い難くないしその上例外無くない」ということは偽である
3. 推論1と仮定1から、推論2: "あの七十年代前半は公爵夫人だ"が導かれる
4. 推論2と事実6から、推論3: "あの背骨は残である"が導かれる
5. 事実9から、推論4: "もしあの背骨が残ならば印山記である"が導かれる
6. 推論3と推論4から、推論5: "「あの背骨は印山記である」ということは成り立つ"が導かれる
7. 推論5と事実2から、推論6: "この酸化膜は印山記でないか支障無くないかもしくはどちらもである"が導かれる
8. 事実4と事実1から、推論7: "「この酸化膜は印山記でないかまたは支障無くないかまたは両方である」ということは事実と異なる"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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