その好点はいかれる
fact1: 「あの生産現場は出し入れ口でないが入手し易い」ということは成り立たないとするとその好点は入手し易くない fact2: 「この社会・経済は出し入れ口だ」ということは真実だ fact3: 「いらしゃる」ものはある fact4: もし仮にその好点は入手し易くないし損金処理するということはないとしたらそれはエネルギー問題である fact5: もし仮にその好点は駄目駄目でないしさらにいかれないならそれはめでたい fact6: その好点は処罰する fact7: 「基本パラメータな」ものはある fact8: 「入手し易い」ものはある fact9: 「その好点は出し入れ口でない」ということは正しい fact10: 仮に何かは下ろせるなら「出し入れ口でないし入手し易い」ということは誤りである fact11: 「入手し易い」物があるならばあの好点は出し入れ口でない fact12: 出し入れ口は下ろしないなら「「それはいかれるということはない」ということは事実と異ならない」ということは成り立たない fact13: もしもなにがしかのものは出し入れ口でなくてかつ下ろしないとしたらいかれる fact14: その好点は出し入れ口だがしかし下ろしないとすればいかれる fact15: 仮にその企業年金基金は後戻り出来ないしパッケージするということはないとすれば倉敷紡績万寿工場だ fact16: 仮に「入手し易い」ものがあるとすればその好点は出し入れ口でなくてかつ下ろせるということはない fact17: なにかは起こし難い fact18: もし何かは入手し易いということはないとすれば「いかれない」ということは成り立つ fact19: もしなにかは勧告しないしまた大樹君でないならばそれは御取りに成る fact20: もし仮にとある物は結わないしそれに行き易くないとしたらそれは専用ソフトウェアである fact21: あの地域戦略は性分らしいということはないしかつ出し入れ口でない fact22: その好点は選ばなくて天使らしくない
fact8 & fact16 -> int1: その好点は出し入れ口だということはなくて加えて下ろせるということはない; fact13 -> int2: その好点は出し入れ口でなくて下ろしないとすると「それはいかれる」ということは真実だ; int1 & int2 -> hypothesis;
fact8 & fact16 -> int1: (¬{B}{a} & ¬{C}{a}); fact13 -> int2: (¬{B}{a} & ¬{C}{a}) -> {D}{a}; int1 & int2 -> hypothesis;
その好点はいかれない
fact25 -> int3: もしもその好点は入手し易くないなら「それはいかれない」ということは成り立つ; fact24 -> int4: 「もし仮にあの生産現場は下ろせるとしたら「あの生産現場は出し入れ口でないけれど入手し易い」ということは誤っている」ということは本当だ;
$facts$ = fact1: 「あの生産現場は出し入れ口でないが入手し易い」ということは成り立たないとするとその好点は入手し易くない fact2: 「この社会・経済は出し入れ口だ」ということは真実だ fact3: 「いらしゃる」ものはある fact4: もし仮にその好点は入手し易くないし損金処理するということはないとしたらそれはエネルギー問題である fact5: もし仮にその好点は駄目駄目でないしさらにいかれないならそれはめでたい fact6: その好点は処罰する fact7: 「基本パラメータな」ものはある fact8: 「入手し易い」ものはある fact9: 「その好点は出し入れ口でない」ということは正しい fact10: 仮に何かは下ろせるなら「出し入れ口でないし入手し易い」ということは誤りである fact11: 「入手し易い」物があるならばあの好点は出し入れ口でない fact12: 出し入れ口は下ろしないなら「「それはいかれるということはない」ということは事実と異ならない」ということは成り立たない fact13: もしもなにがしかのものは出し入れ口でなくてかつ下ろしないとしたらいかれる fact14: その好点は出し入れ口だがしかし下ろしないとすればいかれる fact15: 仮にその企業年金基金は後戻り出来ないしパッケージするということはないとすれば倉敷紡績万寿工場だ fact16: 仮に「入手し易い」ものがあるとすればその好点は出し入れ口でなくてかつ下ろせるということはない fact17: なにかは起こし難い fact18: もし何かは入手し易いということはないとすれば「いかれない」ということは成り立つ fact19: もしなにかは勧告しないしまた大樹君でないならばそれは御取りに成る fact20: もし仮にとある物は結わないしそれに行き易くないとしたらそれは専用ソフトウェアである fact21: あの地域戦略は性分らしいということはないしかつ出し入れ口でない fact22: その好点は選ばなくて天使らしくない ; $hypothesis$ = その好点はいかれる ; $proof$ = 
fact8 & fact16 -> int1: その好点は出し入れ口だということはなくて加えて下ろせるということはない; fact13 -> int2: その好点は出し入れ口でなくて下ろしないとすると「それはいかれる」ということは真実だ; int1 & int2 -> hypothesis; __PROVED__
事実1: 「あの生産現場は出し入れ口でないが入手し易い」ということは成り立たないとするとその好点は入手し易くない
事実2: 「この社会・経済は出し入れ口だ」ということは真実だ
事実3: 「いらしゃる」ものはある
事実4: もし仮にその好点は入手し易くないし損金処理するということはないとしたらそれはエネルギー問題である
事実5: もし仮にその好点は駄目駄目でないしさらにいかれないならそれはめでたい
事実6: その好点は処罰する
事実7: 「基本パラメータな」ものはある
事実8: 「入手し易い」ものはある
事実9: 「その好点は出し入れ口でない」ということは正しい
事実10: 仮に何かは下ろせるなら「出し入れ口でないし入手し易い」ということは誤りである
事実11: 「入手し易い」物があるならばあの好点は出し入れ口でない
事実12: 出し入れ口は下ろしないなら「「それはいかれるということはない」ということは事実と異ならない」ということは成り立たない
事実13: もしもなにがしかのものは出し入れ口でなくてかつ下ろしないとしたらいかれる
事実14: その好点は出し入れ口だがしかし下ろしないとすればいかれる
事実15: 仮にその企業年金基金は後戻り出来ないしパッケージするということはないとすれば倉敷紡績万寿工場だ
事実16: 仮に「入手し易い」ものがあるとすればその好点は出し入れ口でなくてかつ下ろせるということはない
事実17: なにかは起こし難い
事実18: もし何かは入手し易いということはないとすれば「いかれない」ということは成り立つ
事実19: もしなにかは勧告しないしまた大樹君でないならばそれは御取りに成る
事実20: もし仮にとある物は結わないしそれに行き易くないとしたらそれは専用ソフトウェアである
事実21: あの地域戦略は性分らしいということはないしかつ出し入れ口でない
事実22: その好点は選ばなくて天使らしくない

仮説: その好点はいかれる
1. 事実8と事実16から、推論1: "その好点は出し入れ口だということはなくて加えて下ろせるということはない"が導かれる
2. 事実13から、推論2: "その好点は出し入れ口でなくて下ろしないとすると「それはいかれる」ということは真実だ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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