その位は事後処理である
fact1: あの美術史家は事後処理でないかあるいは餓鬼っぽくないか両方ともだ fact2: もし仮にあの美術史家が足冷でないかあるいは事後処理でないか両方であるとしたらその位は餓鬼っぽい fact3: その位は足冷だ fact4: もしもなにかは洒落臭くないとすると「それは切ないし疎ましいということはない」ということは成り立たない fact5: もしもあの美術史家が餓鬼っぽくないかあるいは足冷でないか両方ともであるならばその位は事後処理だ fact6: 仮になんらかの物は皮内反応だが出仕でないとすると閉塞状況でない fact7: もし仮にある物が成功し易くないならばそれは事後処理でないしかつそれは季節限定でない fact8: あの美術史家は足冷でないかあるいは事後処理でない fact9: その位は餓鬼っぽい fact10: もし「何らかの物は成功し易いけれど事らしいということはない」ということは事実と異なるとしたら成功し易くない fact11: 「その学校利用者は与え易くない」ということは本当ならそれは社会的応答性でないしその上山村でない fact12: もし仮にその位が餓鬼っぽくないとしたらあの美術史家は事後処理である fact13: あの美術史家は餓鬼っぽくないかまたは激しくないかもしくは両方だ fact14: もしあの組み立てが知り合いらしいかあるいは閉塞状況でないとすると「あの美術史家は高速化しない」ということは事実と異ならない fact15: もし「その学校利用者は切ないが疎ましくらない」ということは誤りであるならばあのジャバアニメーションは疎ましい fact16: もしもあの美術史家は高速化しないならば「その位は成功し易いがしかし事らしくない」ということは事実と異なる fact17: もしもあのジャバアニメーションが疎ましいとしたらその国内農業は皮内反応であるがそれは出仕でない fact18: もしもその学校利用者が社会的応答性でなくてそれは山村であるということはないとしたらそれは洒落臭くない fact19: その学校利用者は与え易くない fact20: あの美術史家は餓鬼っぽくないか足冷でない
fact5 & fact20 -> hypothesis;
fact5 & fact20 -> hypothesis;
その位は事後処理でない
fact28 -> int1: もしもその位が成功し易いということはないならそれは事後処理でなくて更に季節限定でない; fact26 -> int2: もし仮に「その位は成功し易い一方でそれは事らしくない」ということは成り立たないとすると成功し易くない; fact25 -> int3: その国内農業が皮内反応だ一方でそれは出仕でないとしたら閉塞状況でない; fact27 -> int4: もし仮にその学校利用者は洒落臭いということはないとすると「切ない一方で疎ましくらない」ということは偽である; fact21 & fact30 -> int5: その学校利用者は社会的応答性でなくて更に山村でない; fact22 & int5 -> int6: その学校利用者は洒落臭くない; int4 & int6 -> int7: 「その学校利用者は切ない一方で疎ましいということはない」ということは事実と異なる; fact23 & int7 -> int8: あのジャバアニメーションは疎ましい; fact29 & int8 -> int9: 「その国内農業は皮内反応であるけれどそれは出仕でない」ということは確かである; int3 & int9 -> int10: その国内農業は閉塞状況であるということはない; int10 -> int11: なんらかの物は閉塞状況でない;
$facts$ = fact1: あの美術史家は事後処理でないかあるいは餓鬼っぽくないか両方ともだ fact2: もし仮にあの美術史家が足冷でないかあるいは事後処理でないか両方であるとしたらその位は餓鬼っぽい fact3: その位は足冷だ fact4: もしもなにかは洒落臭くないとすると「それは切ないし疎ましいということはない」ということは成り立たない fact5: もしもあの美術史家が餓鬼っぽくないかあるいは足冷でないか両方ともであるならばその位は事後処理だ fact6: 仮になんらかの物は皮内反応だが出仕でないとすると閉塞状況でない fact7: もし仮にある物が成功し易くないならばそれは事後処理でないしかつそれは季節限定でない fact8: あの美術史家は足冷でないかあるいは事後処理でない fact9: その位は餓鬼っぽい fact10: もし「何らかの物は成功し易いけれど事らしいということはない」ということは事実と異なるとしたら成功し易くない fact11: 「その学校利用者は与え易くない」ということは本当ならそれは社会的応答性でないしその上山村でない fact12: もし仮にその位が餓鬼っぽくないとしたらあの美術史家は事後処理である fact13: あの美術史家は餓鬼っぽくないかまたは激しくないかもしくは両方だ fact14: もしあの組み立てが知り合いらしいかあるいは閉塞状況でないとすると「あの美術史家は高速化しない」ということは事実と異ならない fact15: もし「その学校利用者は切ないが疎ましくらない」ということは誤りであるならばあのジャバアニメーションは疎ましい fact16: もしもあの美術史家は高速化しないならば「その位は成功し易いがしかし事らしくない」ということは事実と異なる fact17: もしもあのジャバアニメーションが疎ましいとしたらその国内農業は皮内反応であるがそれは出仕でない fact18: もしもその学校利用者が社会的応答性でなくてそれは山村であるということはないとしたらそれは洒落臭くない fact19: その学校利用者は与え易くない fact20: あの美術史家は餓鬼っぽくないか足冷でない ; $hypothesis$ = その位は事後処理である ; $proof$ = 
fact5 & fact20 -> hypothesis; __PROVED__
事実1: あの美術史家は事後処理でないかあるいは餓鬼っぽくないか両方ともだ
事実2: もし仮にあの美術史家が足冷でないかあるいは事後処理でないか両方であるとしたらその位は餓鬼っぽい
事実3: その位は足冷だ
事実4: もしもなにかは洒落臭くないとすると「それは切ないし疎ましいということはない」ということは成り立たない
事実5: もしもあの美術史家が餓鬼っぽくないかあるいは足冷でないか両方ともであるならばその位は事後処理だ
事実6: 仮になんらかの物は皮内反応だが出仕でないとすると閉塞状況でない
事実7: もし仮にある物が成功し易くないならばそれは事後処理でないしかつそれは季節限定でない
事実8: あの美術史家は足冷でないかあるいは事後処理でない
事実9: その位は餓鬼っぽい
事実10: もし「何らかの物は成功し易いけれど事らしいということはない」ということは事実と異なるとしたら成功し易くない
事実11: 「その学校利用者は与え易くない」ということは本当ならそれは社会的応答性でないしその上山村でない
事実12: もし仮にその位が餓鬼っぽくないとしたらあの美術史家は事後処理である
事実13: あの美術史家は餓鬼っぽくないかまたは激しくないかもしくは両方だ
事実14: もしあの組み立てが知り合いらしいかあるいは閉塞状況でないとすると「あの美術史家は高速化しない」ということは事実と異ならない
事実15: もし「その学校利用者は切ないが疎ましくらない」ということは誤りであるならばあのジャバアニメーションは疎ましい
事実16: もしもあの美術史家は高速化しないならば「その位は成功し易いがしかし事らしくない」ということは事実と異なる
事実17: もしもあのジャバアニメーションが疎ましいとしたらその国内農業は皮内反応であるがそれは出仕でない
事実18: もしもその学校利用者が社会的応答性でなくてそれは山村であるということはないとしたらそれは洒落臭くない
事実19: その学校利用者は与え易くない
事実20: あの美術史家は餓鬼っぽくないか足冷でない

仮説: その位は事後処理である
1. 事実5と事実20から、仮説が導かれる

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