この申請先は湯通しする
fact1: 「法螺であるということはない」物はある fact2: 「あのヨーロッパ列強は振るい続けるしおまけに実行し易い」ということは成り立たない fact3: この申請先は法螺である fact4: もし仮にこの申請先が可視化するとすればそれは聞き続ける fact5: もし「タイトルらしくない」ものはあれば「あの念仏は動ずるしそれは聞き続ける」ということは間違いだ fact6: もしも何かはプレーするとしたらそれは湯通しする fact7: 「あの更生保護は手間で免れ難い」ということは事実と異なる fact8: もしも「法螺でない」ものはあるとすれば「この申請先は聞き続けるということはない一方で振るい続ける」ということは嘘である fact9: 「タイトルらしいものは捲土重来だ」ということは事実である fact10: この申請先は離れ難い fact11: なにがしかの物が成り難いとすれば小先生である fact12: 仮に御寂しくないものはあるとすれば「このハウジングは法螺でないが振りする」ということは間違っている fact13: 「恙無い」物はある fact14: もし「この申請先はそっとしないがそれは目指す」ということは成り立たないとすればそれは振るい続ける fact15: 仮に「とある物は聞き続けない一方で振るい続ける」ということは偽であるならばプレーする fact16: もしなにかはイスラム諸国であるとしたらそれは御安い
fact1 & fact8 -> int1: 「この申請先は聞き続けないけれど振るい続ける」ということは嘘だ; fact15 -> int2: もし「この申請先は聞き続けない一方で振るい続ける」ということは成り立つということはないならプレーする; int1 & int2 -> int3: この申請先はプレーする; fact6 -> int4: もしもこの申請先がプレーするなら湯通しする; int3 & int4 -> hypothesis;
fact1 & fact8 -> int1: ¬(¬{B}{a} & {C}{a}); fact15 -> int2: ¬(¬{B}{a} & {C}{a}) -> {D}{a}; int1 & int2 -> int3: {D}{a}; fact6 -> int4: {D}{a} -> {E}{a}; int3 & int4 -> hypothesis;
$facts$ = fact1: 「法螺であるということはない」物はある fact2: 「あのヨーロッパ列強は振るい続けるしおまけに実行し易い」ということは成り立たない fact3: この申請先は法螺である fact4: もし仮にこの申請先が可視化するとすればそれは聞き続ける fact5: もし「タイトルらしくない」ものはあれば「あの念仏は動ずるしそれは聞き続ける」ということは間違いだ fact6: もしも何かはプレーするとしたらそれは湯通しする fact7: 「あの更生保護は手間で免れ難い」ということは事実と異なる fact8: もしも「法螺でない」ものはあるとすれば「この申請先は聞き続けるということはない一方で振るい続ける」ということは嘘である fact9: 「タイトルらしいものは捲土重来だ」ということは事実である fact10: この申請先は離れ難い fact11: なにがしかの物が成り難いとすれば小先生である fact12: 仮に御寂しくないものはあるとすれば「このハウジングは法螺でないが振りする」ということは間違っている fact13: 「恙無い」物はある fact14: もし「この申請先はそっとしないがそれは目指す」ということは成り立たないとすればそれは振るい続ける fact15: 仮に「とある物は聞き続けない一方で振るい続ける」ということは偽であるならばプレーする fact16: もしなにかはイスラム諸国であるとしたらそれは御安い ; $hypothesis$ = この申請先は湯通しする ; $proof$ = 
fact1 & fact8 -> int1: 「この申請先は聞き続けないけれど振るい続ける」ということは嘘だ; fact15 -> int2: もし「この申請先は聞き続けない一方で振るい続ける」ということは成り立つということはないならプレーする; int1 & int2 -> int3: この申請先はプレーする; fact6 -> int4: もしもこの申請先がプレーするなら湯通しする; int3 & int4 -> hypothesis; __PROVED__
事実1: 「法螺であるということはない」物はある
事実2: 「あのヨーロッパ列強は振るい続けるしおまけに実行し易い」ということは成り立たない
事実3: この申請先は法螺である
事実4: もし仮にこの申請先が可視化するとすればそれは聞き続ける
事実5: もし「タイトルらしくない」ものはあれば「あの念仏は動ずるしそれは聞き続ける」ということは間違いだ
事実6: もしも何かはプレーするとしたらそれは湯通しする
事実7: 「あの更生保護は手間で免れ難い」ということは事実と異なる
事実8: もしも「法螺でない」ものはあるとすれば「この申請先は聞き続けるということはない一方で振るい続ける」ということは嘘である
事実9: 「タイトルらしいものは捲土重来だ」ということは事実である
事実10: この申請先は離れ難い
事実11: なにがしかの物が成り難いとすれば小先生である
事実12: 仮に御寂しくないものはあるとすれば「このハウジングは法螺でないが振りする」ということは間違っている
事実13: 「恙無い」物はある
事実14: もし「この申請先はそっとしないがそれは目指す」ということは成り立たないとすればそれは振るい続ける
事実15: 仮に「とある物は聞き続けない一方で振るい続ける」ということは偽であるならばプレーする
事実16: もしなにかはイスラム諸国であるとしたらそれは御安い

仮説: この申請先は湯通しする
1. 事実1と事実8から、推論1: "「この申請先は聞き続けないけれど振るい続ける」ということは嘘だ"が導かれる
2. 事実15から、推論2: "もし「この申請先は聞き続けない一方で振るい続ける」ということは成り立つということはないならプレーする"が導かれる
3. 推論1と推論2から、推論3: "この申請先はプレーする"が導かれる
4. 事実6から、推論4: "もしもこの申請先がプレーするなら湯通しする"が導かれる
5. 推論3と推論4から、仮説が導かれる

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