あの研究目的は羨ましいがしかし知り合いらしいということはない
fact1: 悪い物は朝鮮人官吏でないけれど及び難い fact2: この協力・協調関係は間近くない fact3: 仮にそのロゴマークが大新開だとしたらこの小児期は申し訳無い fact4: もし仮にこの協力・協調関係が間近くないとしたらそれは荒れるし更に惨たらしくない fact5: なにかは朝鮮人官吏だということはないが及び難いとするとそれは悟りだ fact6: もし仮にその問題関心は崩れ掛かるとすると「この報酬等は悪い」ということは成り立つ fact7: 「この総務委員会はレトロである」ということは成り立つとしたらその最善は人間国宝である fact8: この総務委員会が羨ましくないならあの研究目的は羨ましい一方で知り合いらしくない fact9: 「そのロゴマークは申し訳無い」ということは事実だとするとあの研究目的は大新開だ fact10: もしも「人間国宝な」ものがあるとすればあの球根は方位であるということはない fact11: 仮に「その最善はシッピングだしそれに人間国宝である」ということは誤りであるならばこの総務委員会は羨ましくない fact12: 仮にこの総務委員会は羨ましくないとすると「あの研究目的は知り合いらしくない」ということは成り立つ fact13: この小児期は方位だ fact14: 「もしもこの報酬等は悟りだとすると「このメインストリーム向けは小気味良い」ということは確かである」ということは成り立つ fact15: 仮になにがしかの物は大新開であるとすると「羨ましくて知り合いらしくない」ということは間違っている fact16: もしもその問題関心が悪いならばこの報酬等は悪い fact17: もしもこの協力・協調関係が荒れるがそれが惨たらしくないとすればその問題関心は荒れない fact18: そのロゴマークは大新開である fact19: 仮にこの小児期が申し訳無くて加えて方位だとするとあの球根はシッピングでない fact20: あの研究目的は知り合いらしくない fact21: もしもあの球根は方位であるということはないなら「この小児期はシッピングであるということはないしさらに申し訳無くない」ということは誤っている fact22: もしも「このメインストリーム向けは小気味良い」ということは成り立つならこの総務委員会はレトロだ fact23: あの球根はシッピングでないなら「その最善はシッピングだしそれに人間国宝だ」ということは誤りだ fact24: もしもなんらかのものが荒れるということはないとすれば崩れ掛かるかまたは悪いか両方である
fact3 & fact18 -> int1: この小児期は申し訳無い; int1 & fact13 -> int2: この小児期は申し訳無いしさらに方位である; int2 & fact19 -> int3: あの球根はシッピングでない; int3 & fact23 -> int4: 「その最善はシッピングで人間国宝だ」ということは間違いである; int4 & fact11 -> int5: この総務委員会は羨ましくない; int5 & fact8 -> hypothesis;
「あの研究目的は羨ましいけど知り合いらしくない」ということは成り立つということはない
fact32 -> int6: もしあの研究目的は大新開なら「羨ましくて更にそれは知り合いらしくない」ということは確かでない; fact27 -> int7: もしこの報酬等は朝鮮人官吏でないけれど及び難いならばそれは悟りだ; fact29 -> int8: もしも「この報酬等は悪い」ということは成り立つなら朝鮮人官吏でなくて更にそれは及び難い; fact30 -> int9: もしもその問題関心が荒れないならば崩れ掛かるかそれは悪いかまたは両方ともだ; fact25 & fact33 -> int10: この協力・協調関係は荒れるけれど惨たらしくない; fact31 & int10 -> int11: その問題関心は荒れない; int9 & int11 -> int12: その問題関心は崩れ掛かるか悪いかあるいは両方である; int12 & fact34 & fact28 -> int13: この報酬等は悪い; int8 & int13 -> int14: この報酬等は朝鮮人官吏でないけど及び難い; int7 & int14 -> int15: この報酬等は悟りだ; fact38 & int15 -> int16: このメインストリーム向けは小気味良い; fact37 & int16 -> int17: この総務委員会はレトロだ; fact39 & int17 -> int18: その最善は人間国宝だ; int18 -> int19: なにかは人間国宝だ; int19 & fact26 -> int20: あの球根は方位だということはない; fact36 & int20 -> int21: 「この小児期はシッピングでないし申し訳無いということはない」ということは誤りだ; int21 -> int22: 「「シッピングでないし申し訳無くない」ということは誤りである」ものはある;
$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: もしもなんらかのものが荒れるということはないとすれば崩れ掛かるかまたは悪いか両方である ; $hypothesis$ = あの研究目的は羨ましいがしかし知り合いらしいということはない ; $proof$ = 
fact3 & fact18 -> int1: この小児期は申し訳無い; int1 & fact13 -> int2: この小児期は申し訳無いしさらに方位である; int2 & fact19 -> int3: あの球根はシッピングでない; int3 & fact23 -> int4: 「その最善はシッピングで人間国宝だ」ということは間違いである; int4 & fact11 -> int5: この総務委員会は羨ましくない; int5 & fact8 -> 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: もしもなんらかのものが荒れるということはないとすれば崩れ掛かるかまたは悪いか両方である

仮説: あの研究目的は羨ましいがしかし知り合いらしいということはない
1. 事実3と事実18から、推論1: "この小児期は申し訳無い"が導かれる
2. 推論1と事実13から、推論2: "この小児期は申し訳無いしさらに方位である"が導かれる
3. 推論2と事実19から、推論3: "あの球根はシッピングでない"が導かれる
4. 推論3と事実23から、推論4: "「その最善はシッピングで人間国宝だ」ということは間違いである"が導かれる
5. 推論4と事実11から、推論5: "この総務委員会は羨ましくない"が導かれる
6. 推論5と事実8から、仮説が導かれる

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