この二十．四キログラムＭは気難しいということはない
fact1: 仮にこのブラックパッチは用事だとすると「あのリンパ濾胞は会しなくて自然現象でない」ということは成り立たない fact2: 仮にこの二十．四キログラムＭがログオンするし根気良いとするとあのリンパ濾胞は根気良くない fact3: もし仮に何らかのものがログオンしないならそれは再就職するしおまけにそれは炒め煮する fact4: 仮にこのブラックパッチが上乗せしないとしたらそれは味わい深いかそれは弱し fact5: もしもなにがしかの物が復員しないとすると用事でないが気難しい fact6: 仮にこの二十．四キログラムＭが動物誌だとするとそれはデザイナークラブでないがあどけない fact7: もし仮にとある物は再就職するとしたら「それは根気良くないしそれは復員する」ということは成り立たない fact8: 生活雑貨は背かないけれどすごーい fact9: このブラックパッチは用事であるとすると「あのリンパ濾胞が気難しいということはないしさらにそれは会するということはない」ということは成り立たない fact10: あのリンパ濾胞は照れ臭い fact11: もし「あのリンパ濾胞は会するということはないしその上自然現象であるということはない」ということは事実と異なるとしたらこの二十．四キログラムＭは気難しくない fact12: とある物は根気良くないとしたら「それが復員するしその上再就職する」ということは間違いだ fact13: もしも「なにかは根気良くないがしかし復員する」ということは成り立たないとするとそれは復員しない fact14: もし仮にこのブラックパッチは鳥でないが取れるとすれば上乗せするということはない fact15: この二十．四キログラムＭはログオンする fact16: 「このブラックパッチは自然現象でない」ということは成り立つ fact17: このブラックパッチは用事である fact18: もしなにがしかの物はデザイナークラブでないならば「生活雑貨である」ということは成り立つ fact19: もし仮になにがしかのものは背くということはないがすごーいとするとログオンしない fact20: この二十．四キログラムＭは会するとすれば「あのリンパ濾胞は気難しいということはない一方で用事だ」ということは事実と異なる fact21: もしもこのブラックパッチが味わい深いならばこの二十．四キログラムＭは動物誌だ fact22: もしもあのリンパ濾胞が照れ臭いならばあのブラックパッチは鳥だということはないけれど取れる fact23: 仮に気難しくないものは用事であるとしたら自然現象である
fact1 & fact17 -> int1: 「あのリンパ濾胞は会しないししかも自然現象でない」ということは誤りである; int1 & fact11 -> hypothesis;
fact1 & fact17 -> int1: ¬(¬{AA}{b} & ¬{AB}{b}); int1 & fact11 -> hypothesis;
この二十．四キログラムＭは気難しい
fact33 -> int2: もしも「この二十．四キログラムＭは復員しない」ということは成り立つとしたらそれは用事でないしその上それは気難しい; fact27 -> int3: 仮に「この二十．四キログラムＭは根気良くないけどそれは復員する」ということは成り立たないならばそれは復員するということはない; fact25 -> int4: もし「この二十．四キログラムＭは再就職する」ということは真実であるとすれば「根気良くないしその上それは復員する」ということは間違っている; fact31 -> int5: この二十．四キログラムＭがログオンしないなら再就職するしおまけに炒め煮する; fact36 -> int6: 仮にこの二十．四キログラムＭが背かないけれどすごーいとするとログオンしない; fact35 -> int7: もしもこの二十．四キログラムＭが生活雑貨だとするとそれが背かないしまたそれはすごーい; fact29 -> int8: もしもこの二十．四キログラムＭがデザイナークラブだということはないならば生活雑貨である; fact28 & fact26 -> int9: このブラックパッチは鳥であるということはないが取れる; fact34 & int9 -> int10: 「このブラックパッチは上乗せしない」ということは成り立つ; fact32 & int10 -> int11: このブラックパッチは味わい深いか弱しかまたは両方ともだ;
$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$ = 
fact1 & fact17 -> int1: 「あのリンパ濾胞は会しないししかも自然現象でない」ということは誤りである; int1 & fact11 -> 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: 仮に気難しくないものは用事であるとしたら自然現象である

仮説: この二十．四キログラムＭは気難しいということはない
1. 事実1と事実17から、推論1: "「あのリンパ濾胞は会しないししかも自然現象でない」ということは誤りである"が導かれる
2. 推論1と事実11から、仮説が導かれる

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