「「この測定帯域は進めるがそれは惨たらしくない」ということは事実だ」ということは間違いだ
fact1: もし仮にこの測定帯域は進めるなら「それはケアハウスで加えて確言する」ということは確かでない fact2: その到着時は確言する fact3: 「御座り下さるし更に覚え易いということはない」物はある fact4: 仮に「この金額欄は過不足無いがしかしおっかなくない」ということは間違いだとしたら「この平均コンプライアンスは腹黒くない」ということは真実だ fact5: もしあの大内軍が弱り切らないならばその到着時は意地悪くないがしかし弱り切る fact6: 「この測定帯域は進めるし惨たらしい」ということは誤っている fact7: 「「御座り下さるし加えて覚え易い」ということは確かでない」ものはある fact8: もしもなにかはケアハウスだとしたら確言しない fact9: 「「御座り下さるしおまけに覚え易くない」ということは誤っている」物はある fact10: 仮にその巻き網が確言しないならこの測定帯域は確言するしそれに安っぽい fact11: 「あの家族周期は規定だ」ということは成り立つとしたら「その不適用はコレステロールエステルでないがしかし汚れ難い」ということは成り立たない fact12: その到着時は弱り切る fact13: 何かは凍結保存するとすると「進めるしさらにそれは惨たらしい」ということは嘘だ fact14: もしとあるものが弱り切らないとすると進めるけど惨たらしくない fact15: この測定帯域は確言する fact16: 仮にあの大内軍が弱り切らないとするとその到着時は弱り切る fact17: あのフィルム上は安っぽいということはないとしたら「その巻き網は確言しなくて凍結保存しない」ということは成り立たない fact18: 仮に「腹黒くない」ものがあるならばあの家族周期は規定だ fact19: 「もしもその到着時は意地悪くないとすれば「あの大内軍はケアハウスであるししかもそれは弱り切る」ということは間違いである」ということは本当だ fact20: 「この金額欄は過不足無い一方でおっかなくない」ということは誤っている fact21: 「安っぽいものは凍結保存する」ということは成り立つ fact22: その到着時は凍結保存する fact23: もしもその到着時が意地悪くないけど弱り切ればその巻き網はケアハウスである fact24: 「「御座り下さるし覚え易くない」ということは成り立たない」ものがあるとしたらあの大内軍は弱り切らない fact25: もし仮に「なにかは確言しないし凍結保存しない」ということは偽だとすれば「それは確言する」ということは事実だ fact26: もし仮にとある物は凍結保存するとすれば「進めるけれど惨たらしくない」ということは成り立たない fact27: もしもなんらかの物が御座り下さらないとすればあの大内軍は弱り切るということはない
fact9 & fact24 -> int1: 「あの大内軍は弱り切らない」ということは本当である; int1 & fact5 -> int2: その到着時は意地悪くないがしかし弱り切る; int2 & fact23 -> int3: その巻き網はケアハウスである; fact8 -> int4: もし「その巻き網はケアハウスだ」ということは成り立つなら確言しない; int3 & int4 -> int5: 「その巻き網は確言しない」ということは正しい; int5 & fact10 -> int6: この測定帯域は確言するし更に安っぽい; int6 -> int7: この測定帯域は安っぽい; fact21 -> int8: この測定帯域が安っぽいとすれば凍結保存する; int7 & int8 -> int9: この測定帯域は凍結保存する; fact26 -> int10: もしこの測定帯域は凍結保存するとすれば「進めるが惨たらしくない」ということは嘘である; int9 & int10 -> hypothesis;
この測定帯域は進めるがしかしそれは惨たらしくない
fact32 -> int11: 仮にこの測定帯域が弱り切るということはないとすれば進めるけれど惨たらしくない; fact31 -> int12: もし「その巻き網は確言しなくてそれは凍結保存しない」ということは誤りであるとすればそれは確言する; fact34 & fact28 -> int13: この平均コンプライアンスは腹黒くない; int13 -> int14: 「腹黒いということはない」ものはある; int14 & fact29 -> int15: あの家族周期は規定である; fact35 & int15 -> int16: 「その不適用はコレステロールエステルでないが汚れ難い」ということは成り立つということはない; int16 -> int17: 「「コレステロールエステルでないししかも汚れ難い」ということは成り立たない」ものはある;
$facts$ = fact1: もし仮にこの測定帯域は進めるなら「それはケアハウスで加えて確言する」ということは確かでない fact2: その到着時は確言する fact3: 「御座り下さるし更に覚え易いということはない」物はある fact4: 仮に「この金額欄は過不足無いがしかしおっかなくない」ということは間違いだとしたら「この平均コンプライアンスは腹黒くない」ということは真実だ fact5: もしあの大内軍が弱り切らないならばその到着時は意地悪くないがしかし弱り切る fact6: 「この測定帯域は進めるし惨たらしい」ということは誤っている fact7: 「「御座り下さるし加えて覚え易い」ということは確かでない」ものはある fact8: もしもなにかはケアハウスだとしたら確言しない fact9: 「「御座り下さるしおまけに覚え易くない」ということは誤っている」物はある fact10: 仮にその巻き網が確言しないならこの測定帯域は確言するしそれに安っぽい fact11: 「あの家族周期は規定だ」ということは成り立つとしたら「その不適用はコレステロールエステルでないがしかし汚れ難い」ということは成り立たない fact12: その到着時は弱り切る fact13: 何かは凍結保存するとすると「進めるしさらにそれは惨たらしい」ということは嘘だ fact14: もしとあるものが弱り切らないとすると進めるけど惨たらしくない fact15: この測定帯域は確言する fact16: 仮にあの大内軍が弱り切らないとするとその到着時は弱り切る fact17: あのフィルム上は安っぽいということはないとしたら「その巻き網は確言しなくて凍結保存しない」ということは成り立たない fact18: 仮に「腹黒くない」ものがあるならばあの家族周期は規定だ fact19: 「もしもその到着時は意地悪くないとすれば「あの大内軍はケアハウスであるししかもそれは弱り切る」ということは間違いである」ということは本当だ fact20: 「この金額欄は過不足無い一方でおっかなくない」ということは誤っている fact21: 「安っぽいものは凍結保存する」ということは成り立つ fact22: その到着時は凍結保存する fact23: もしもその到着時が意地悪くないけど弱り切ればその巻き網はケアハウスである fact24: 「「御座り下さるし覚え易くない」ということは成り立たない」ものがあるとしたらあの大内軍は弱り切らない fact25: もし仮に「なにかは確言しないし凍結保存しない」ということは偽だとすれば「それは確言する」ということは事実だ fact26: もし仮にとある物は凍結保存するとすれば「進めるけれど惨たらしくない」ということは成り立たない fact27: もしもなんらかの物が御座り下さらないとすればあの大内軍は弱り切るということはない ; $hypothesis$ = 「「この測定帯域は進めるがそれは惨たらしくない」ということは事実だ」ということは間違いだ ; $proof$ = 
fact9 & fact24 -> int1: 「あの大内軍は弱り切らない」ということは本当である; int1 & fact5 -> int2: その到着時は意地悪くないがしかし弱り切る; int2 & fact23 -> int3: その巻き網はケアハウスである; fact8 -> int4: もし「その巻き網はケアハウスだ」ということは成り立つなら確言しない; int3 & int4 -> int5: 「その巻き網は確言しない」ということは正しい; int5 & fact10 -> int6: この測定帯域は確言するし更に安っぽい; int6 -> int7: この測定帯域は安っぽい; fact21 -> int8: この測定帯域が安っぽいとすれば凍結保存する; int7 & int8 -> int9: この測定帯域は凍結保存する; fact26 -> int10: もしこの測定帯域は凍結保存するとすれば「進めるが惨たらしくない」ということは嘘である; int9 & int10 -> hypothesis; __PROVED__
事実1: もし仮にこの測定帯域は進めるなら「それはケアハウスで加えて確言する」ということは確かでない
事実2: その到着時は確言する
事実3: 「御座り下さるし更に覚え易いということはない」物はある
事実4: 仮に「この金額欄は過不足無いがしかしおっかなくない」ということは間違いだとしたら「この平均コンプライアンスは腹黒くない」ということは真実だ
事実5: もしあの大内軍が弱り切らないならばその到着時は意地悪くないがしかし弱り切る
事実6: 「この測定帯域は進めるし惨たらしい」ということは誤っている
事実7: 「「御座り下さるし加えて覚え易い」ということは確かでない」ものはある
事実8: もしもなにかはケアハウスだとしたら確言しない
事実9: 「「御座り下さるしおまけに覚え易くない」ということは誤っている」物はある
事実10: 仮にその巻き網が確言しないならこの測定帯域は確言するしそれに安っぽい
事実11: 「あの家族周期は規定だ」ということは成り立つとしたら「その不適用はコレステロールエステルでないがしかし汚れ難い」ということは成り立たない
事実12: その到着時は弱り切る
事実13: 何かは凍結保存するとすると「進めるしさらにそれは惨たらしい」ということは嘘だ
事実14: もしとあるものが弱り切らないとすると進めるけど惨たらしくない
事実15: この測定帯域は確言する
事実16: 仮にあの大内軍が弱り切らないとするとその到着時は弱り切る
事実17: あのフィルム上は安っぽいということはないとしたら「その巻き網は確言しなくて凍結保存しない」ということは成り立たない
事実18: 仮に「腹黒くない」ものがあるならばあの家族周期は規定だ
事実19: 「もしもその到着時は意地悪くないとすれば「あの大内軍はケアハウスであるししかもそれは弱り切る」ということは間違いである」ということは本当だ
事実20: 「この金額欄は過不足無い一方でおっかなくない」ということは誤っている
事実21: 「安っぽいものは凍結保存する」ということは成り立つ
事実22: その到着時は凍結保存する
事実23: もしもその到着時が意地悪くないけど弱り切ればその巻き網はケアハウスである
事実24: 「「御座り下さるし覚え易くない」ということは成り立たない」ものがあるとしたらあの大内軍は弱り切らない
事実25: もし仮に「なにかは確言しないし凍結保存しない」ということは偽だとすれば「それは確言する」ということは事実だ
事実26: もし仮にとある物は凍結保存するとすれば「進めるけれど惨たらしくない」ということは成り立たない
事実27: もしもなんらかの物が御座り下さらないとすればあの大内軍は弱り切るということはない

仮説: 「「この測定帯域は進めるがそれは惨たらしくない」ということは事実だ」ということは間違いだ
1. 事実9と事実24から、推論1: "「あの大内軍は弱り切らない」ということは本当である"が導かれる
2. 推論1と事実5から、推論2: "その到着時は意地悪くないがしかし弱り切る"が導かれる
3. 推論2と事実23から、推論3: "その巻き網はケアハウスである"が導かれる
4. 事実8から、推論4: "もし「その巻き網はケアハウスだ」ということは成り立つなら確言しない"が導かれる
5. 推論3と推論4から、推論5: "「その巻き網は確言しない」ということは正しい"が導かれる
6. 推論5と事実10から、推論6: "この測定帯域は確言するし更に安っぽい"が導かれる
7. 推論6から、推論7: "この測定帯域は安っぽい"が導かれる
8. 事実21から、推論8: "この測定帯域が安っぽいとすれば凍結保存する"が導かれる
9. 推論7と推論8から、推論9: "この測定帯域は凍結保存する"が導かれる
10. 事実26から、推論10: "もしこの測定帯域は凍結保存するとすれば「進めるが惨たらしくない」ということは嘘である"が導かれる
11. 推論9と推論10から、仮説が導かれる

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