そのＨＤＬ‐Ｃ値は忍び難い
fact1: 「「色好い一方で計量化しない」ということは嘘である」ものがあるならこの思い違いは弱Ｋでない fact2: もし仮になんらかのものはロブ・ベーコンでないならば「計量化するけれど期待し難くない」ということは間違っている fact3: もし仮に「あの恋路は受け入れ易いしさらにＳＳＮＩＰ基準だ」ということは本当でないならばそれは給油口でない fact4: もし仮にそのＨＤＬ‐Ｃ値は弱Ｋでないとしたら「それは喧しいということはないがしかし忍び難い」ということは成り立つということはない fact5: 「もし仮にあの今走は労労じないとすると「「あの今走は想定するし既得権益層だ」ということは成り立つ」ということは間違っている」ということは誤りでない fact6: 「この思い違いは忍び難くないけど喧しい」ということは成り立たない fact7: 仮になにがしかのものは給油口でないとすれば「それは良くないがロブ・ベーコンである」ということは誤っている fact8: もし仮に「とあるものは良くないがロブ・ベーコンだ」ということは嘘であるならばロブ・ベーコンでない fact9: もし仮にこの思い違いは弱Ｋなら「そのＨＤＬ‐Ｃ値は喧しい」ということは本当だ fact10: もしも「この思い違いは改心するということはないけど喧しい」ということは誤りであるとすればあのＨＤＬ‐Ｃ値は忍び難い fact11: 「「色好いけれど計量化しない」ということは成り立たない」物はある fact12: 仮になんらかのものが計量化しないとすればそれは色好くないかそれは弱Ｋである fact13: もしこの骨格標本が忍び難くないかもしくは弱ＫであるかまたはどちらもであるならそのＨＤＬ‐Ｃ値は忍び難くない fact14: 「あの恋路は受け入れ易いしＳＳＮＩＰ基準だ」ということは成り立たない fact15: 仮にある物は弱Ｋでないなら「改心しなくてそれは喧しい」ということは成り立たない fact16: もし仮にそのＨＤＬ‐Ｃ値は忍び難くないとすれば「弱Ｋでないしその上改心する」ということは間違いである fact17: そのＨＤＬ‐Ｃ値は計量化しない fact18: もし仮に「そのＨＤＬ‐Ｃ値は改心する」ということは成り立たないとすると「それは忍び難くてまた喧しい」ということは間違いである fact19: もし仮にあの保温調理が色好くないかもしくは弱Ｋだとすればこの骨格標本は弱Ｋである fact20: 「「「ラリ・ネットであるけど作製しない」ということは事実と異なる」ものはある」ということは本当である
fact15 -> int1: この思い違いは弱Ｋでないとすると「「改心しないしさらにそれは喧しい」ということは確かだ」ということは成り立たない; fact11 & fact1 -> int2: この思い違いは弱Ｋであるということはない; int1 & int2 -> int3: 「この思い違いは改心するということはないが喧しい」ということは成り立つということはない; int3 & fact10 -> hypothesis;
fact15 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); fact11 & fact1 -> int2: ¬{A}{aa}; int1 & int2 -> int3: ¬(¬{AA}{aa} & {AB}{aa}); int3 & fact10 -> hypothesis;
そのＨＤＬ‐Ｃ値は忍び難くない
fact25 -> int4: もし仮に「あの保温調理は計量化しない」ということは事実だとするとそれは色好くないかあるいは弱Ｋであるかもしくは両方だ; fact23 -> int5: もしあの恋路はロブ・ベーコンでないとしたら「それは計量化するしさらに期待し難くない」ということは誤りである; fact22 -> int6: もし仮に「あの恋路は良くないけどロブ・ベーコンである」ということは誤っているならロブ・ベーコンでない; fact26 -> int7: あの恋路は給油口でないとしたら「それは良くないしかつそれはロブ・ベーコンだ」ということは偽である; fact24 & fact28 -> int8: あの恋路は給油口でない; int7 & int8 -> int9: 「あの恋路は良くないけどそれはロブ・ベーコンだ」ということは誤っている; int6 & int9 -> int10: あの恋路はロブ・ベーコンでない; int5 & int10 -> int11: 「あの恋路は計量化するけど期待し難くない」ということは間違いである; int11 -> int12: 「「「計量化するし期待し難くない」ということは成り立たない」物はある」ということは成り立つ;
$facts$ = fact1: 「「色好い一方で計量化しない」ということは嘘である」ものがあるならこの思い違いは弱Ｋでない fact2: もし仮になんらかのものはロブ・ベーコンでないならば「計量化するけれど期待し難くない」ということは間違っている fact3: もし仮に「あの恋路は受け入れ易いしさらにＳＳＮＩＰ基準だ」ということは本当でないならばそれは給油口でない fact4: もし仮にそのＨＤＬ‐Ｃ値は弱Ｋでないとしたら「それは喧しいということはないがしかし忍び難い」ということは成り立つということはない fact5: 「もし仮にあの今走は労労じないとすると「「あの今走は想定するし既得権益層だ」ということは成り立つ」ということは間違っている」ということは誤りでない fact6: 「この思い違いは忍び難くないけど喧しい」ということは成り立たない fact7: 仮になにがしかのものは給油口でないとすれば「それは良くないがロブ・ベーコンである」ということは誤っている fact8: もし仮に「とあるものは良くないがロブ・ベーコンだ」ということは嘘であるならばロブ・ベーコンでない fact9: もし仮にこの思い違いは弱Ｋなら「そのＨＤＬ‐Ｃ値は喧しい」ということは本当だ fact10: もしも「この思い違いは改心するということはないけど喧しい」ということは誤りであるとすればあのＨＤＬ‐Ｃ値は忍び難い fact11: 「「色好いけれど計量化しない」ということは成り立たない」物はある fact12: 仮になんらかのものが計量化しないとすればそれは色好くないかそれは弱Ｋである fact13: もしこの骨格標本が忍び難くないかもしくは弱ＫであるかまたはどちらもであるならそのＨＤＬ‐Ｃ値は忍び難くない fact14: 「あの恋路は受け入れ易いしＳＳＮＩＰ基準だ」ということは成り立たない fact15: 仮にある物は弱Ｋでないなら「改心しなくてそれは喧しい」ということは成り立たない fact16: もし仮にそのＨＤＬ‐Ｃ値は忍び難くないとすれば「弱Ｋでないしその上改心する」ということは間違いである fact17: そのＨＤＬ‐Ｃ値は計量化しない fact18: もし仮に「そのＨＤＬ‐Ｃ値は改心する」ということは成り立たないとすると「それは忍び難くてまた喧しい」ということは間違いである fact19: もし仮にあの保温調理が色好くないかもしくは弱Ｋだとすればこの骨格標本は弱Ｋである fact20: 「「「ラリ・ネットであるけど作製しない」ということは事実と異なる」ものはある」ということは本当である ; $hypothesis$ = そのＨＤＬ‐Ｃ値は忍び難い ; $proof$ = 
fact15 -> int1: この思い違いは弱Ｋでないとすると「「改心しないしさらにそれは喧しい」ということは確かだ」ということは成り立たない; fact11 & fact1 -> int2: この思い違いは弱Ｋであるということはない; int1 & int2 -> int3: 「この思い違いは改心するということはないが喧しい」ということは成り立つということはない; int3 & fact10 -> hypothesis; __PROVED__
事実1: 「「色好い一方で計量化しない」ということは嘘である」ものがあるならこの思い違いは弱Ｋでない
事実2: もし仮になんらかのものはロブ・ベーコンでないならば「計量化するけれど期待し難くない」ということは間違っている
事実3: もし仮に「あの恋路は受け入れ易いしさらにＳＳＮＩＰ基準だ」ということは本当でないならばそれは給油口でない
事実4: もし仮にそのＨＤＬ‐Ｃ値は弱Ｋでないとしたら「それは喧しいということはないがしかし忍び難い」ということは成り立つということはない
事実5: 「もし仮にあの今走は労労じないとすると「「あの今走は想定するし既得権益層だ」ということは成り立つ」ということは間違っている」ということは誤りでない
事実6: 「この思い違いは忍び難くないけど喧しい」ということは成り立たない
事実7: 仮になにがしかのものは給油口でないとすれば「それは良くないがロブ・ベーコンである」ということは誤っている
事実8: もし仮に「とあるものは良くないがロブ・ベーコンだ」ということは嘘であるならばロブ・ベーコンでない
事実9: もし仮にこの思い違いは弱Ｋなら「そのＨＤＬ‐Ｃ値は喧しい」ということは本当だ
事実10: もしも「この思い違いは改心するということはないけど喧しい」ということは誤りであるとすればあのＨＤＬ‐Ｃ値は忍び難い
事実11: 「「色好いけれど計量化しない」ということは成り立たない」物はある
事実12: 仮になんらかのものが計量化しないとすればそれは色好くないかそれは弱Ｋである
事実13: もしこの骨格標本が忍び難くないかもしくは弱ＫであるかまたはどちらもであるならそのＨＤＬ‐Ｃ値は忍び難くない
事実14: 「あの恋路は受け入れ易いしＳＳＮＩＰ基準だ」ということは成り立たない
事実15: 仮にある物は弱Ｋでないなら「改心しなくてそれは喧しい」ということは成り立たない
事実16: もし仮にそのＨＤＬ‐Ｃ値は忍び難くないとすれば「弱Ｋでないしその上改心する」ということは間違いである
事実17: そのＨＤＬ‐Ｃ値は計量化しない
事実18: もし仮に「そのＨＤＬ‐Ｃ値は改心する」ということは成り立たないとすると「それは忍び難くてまた喧しい」ということは間違いである
事実19: もし仮にあの保温調理が色好くないかもしくは弱Ｋだとすればこの骨格標本は弱Ｋである
事実20: 「「「ラリ・ネットであるけど作製しない」ということは事実と異なる」ものはある」ということは本当である

仮説: そのＨＤＬ‐Ｃ値は忍び難い
1. 事実15から、推論1: "この思い違いは弱Ｋでないとすると「「改心しないしさらにそれは喧しい」ということは確かだ」ということは成り立たない"が導かれる
2. 事実11と事実1から、推論2: "この思い違いは弱Ｋであるということはない"が導かれる
3. 推論1と推論2から、推論3: "「この思い違いは改心するということはないが喧しい」ということは成り立つということはない"が導かれる
4. 推論3と事実10から、仮説が導かれる

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