この髪型はＶＰＮである
fact1: もし「あの二人目は砕け易くない」ということは成り立つとするとこの持ち時間は砕け易くない fact2: あの戒家は貫通すということはなくてまた標示しない fact3: もし仮になんらかのものは誘い合うとしたら「美風でないが標示する」ということは誤りだ fact4: もしもなにがしかの物が水臭いとするとそれはＶＰＮだ fact5: 「その実践報告は美風でない一方でそれは標示する」ということは成り立たない fact6: もしも「何かは誘い合う」ということは事実であるとしたら「それは美風でなくてそれに標示しない」ということは成り立つということはない fact7: もしその実践報告が水臭いとしたら標示しない fact8: もしもこの髪型は説き始めるなら「それはＶＰＮでないしさらに寂しがるということはない」ということは嘘だ fact9: この婦長さんが眩いとすればあの二人目は情け深くないかもしくは砕け易くないかまたはどちらもである fact10: 「その実践報告は誘い合うけれど青雲堂でない」ということは誤りだ fact11: この婦長さんは眩い fact12: 御怒りは青雲堂だ fact13: 仮に「その実践報告は誘い合わないしそれは青雲堂でない」ということは成り立つということはないとすれば誘い合う fact14: あの資源配分機能が青雲堂であるならばあの髪型は誘い合う fact15: もしその実践報告は誘い合うとすると「美風でないけれど標示する」ということは成り立たない fact16: もしもこの髪型は標示すれば「ＶＰＮでないが美風だ」ということは事実と異なる fact17: その実践報告が水臭くないとしたらこの髪型はＶＰＮだということはない fact18: 砕け易いということはない物は馴れ馴れしさであるかまたは捕まえ易いかもしくはどちらもである fact19: 「その実践報告は誘い合わないし青雲堂であるということはない」ということは間違いだ fact20: 水臭いものは美風でなくてまた標示しない fact21: あの二人目は情け深くないとしたら「この持ち時間は砕け易くない」ということは本当だ fact22: もし仮になんらかの物が捕まえ易いならばそれは御怒りだ
fact20 -> int1: もしその実践報告が水臭いとしたらそれは美風でなくて加えて標示しない; void -> assump1: 以下のように仮定する。その実践報告は水臭い; int1 & assump1 -> int2: その実践報告は美風でなくてかつ標示するということはない; fact6 -> int3: その実践報告は誘い合うとすれば「それは美風でなくて加えて標示しない」ということは間違いだ; fact19 & fact13 -> int4: その実践報告は誘い合う; int3 & int4 -> int5: 「その実践報告は美風でなくておまけに標示しない」ということは成り立たない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その実践報告は水臭くない; int7 & fact17 -> hypothesis;
この髪型はＶＰＮだ
fact30 -> int8: 仮に「この髪型は水臭くない」ということは成り立たないとすればそれはＶＰＮである; fact28 -> int9: もしもあの資源配分機能は御怒りであるとすれば「青雲堂だ」ということは成り立つ; fact25 -> int10: 仮にあの資源配分機能が捕まえ易いならそれは御怒りである; fact27 -> int11: もしもこの持ち時間が砕け易くないなら馴れ馴れしさであるかまたは捕まえ易いかまたはどちらもだ; fact26 & fact24 -> int12: あの二人目は情け深くないかもしくは砕け易くないかまたは両方だ; int12 & fact31 & fact29 -> int13: この持ち時間は砕け易くない; int11 & int13 -> int14: 「この持ち時間は馴れ馴れしさであるかもしくは捕まえ易い」ということは成り立つ;
$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$ = 
fact20 -> int1: もしその実践報告が水臭いとしたらそれは美風でなくて加えて標示しない; void -> assump1: 以下のように仮定する。その実践報告は水臭い; int1 & assump1 -> int2: その実践報告は美風でなくてかつ標示するということはない; fact6 -> int3: その実践報告は誘い合うとすれば「それは美風でなくて加えて標示しない」ということは間違いだ; fact19 & fact13 -> int4: その実践報告は誘い合う; int3 & int4 -> int5: 「その実践報告は美風でなくておまけに標示しない」ということは成り立たない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その実践報告は水臭くない; int7 & fact17 -> hypothesis; __DISPROVED__
事実1: もし「あの二人目は砕け易くない」ということは成り立つとするとこの持ち時間は砕け易くない
事実2: あの戒家は貫通すということはなくてまた標示しない
事実3: もし仮になんらかのものは誘い合うとしたら「美風でないが標示する」ということは誤りだ
事実4: もしもなにがしかの物が水臭いとするとそれはＶＰＮだ
事実5: 「その実践報告は美風でない一方でそれは標示する」ということは成り立たない
事実6: もしも「何かは誘い合う」ということは事実であるとしたら「それは美風でなくてそれに標示しない」ということは成り立つということはない
事実7: もしその実践報告が水臭いとしたら標示しない
事実8: もしもこの髪型は説き始めるなら「それはＶＰＮでないしさらに寂しがるということはない」ということは嘘だ
事実9: この婦長さんが眩いとすればあの二人目は情け深くないかもしくは砕け易くないかまたはどちらもである
事実10: 「その実践報告は誘い合うけれど青雲堂でない」ということは誤りだ
事実11: この婦長さんは眩い
事実12: 御怒りは青雲堂だ
事実13: 仮に「その実践報告は誘い合わないしそれは青雲堂でない」ということは成り立つということはないとすれば誘い合う
事実14: あの資源配分機能が青雲堂であるならばあの髪型は誘い合う
事実15: もしその実践報告は誘い合うとすると「美風でないけれど標示する」ということは成り立たない
事実16: もしもこの髪型は標示すれば「ＶＰＮでないが美風だ」ということは事実と異なる
事実17: その実践報告が水臭くないとしたらこの髪型はＶＰＮだということはない
事実18: 砕け易いということはない物は馴れ馴れしさであるかまたは捕まえ易いかもしくはどちらもである
事実19: 「その実践報告は誘い合わないし青雲堂であるということはない」ということは間違いだ
事実20: 水臭いものは美風でなくてまた標示しない
事実21: あの二人目は情け深くないとしたら「この持ち時間は砕け易くない」ということは本当だ
事実22: もし仮になんらかの物が捕まえ易いならばそれは御怒りだ

仮説: この髪型はＶＰＮである
1. 事実20から、推論1: "もしその実践報告が水臭いとしたらそれは美風でなくて加えて標示しない"が導かれる
2. 仮定1: 以下のように仮定する。その実践報告は水臭い
3. 推論1と仮定1から、推論2: "その実践報告は美風でなくてかつ標示するということはない"が導かれる
4. 事実6から、推論3: "その実践報告は誘い合うとすれば「それは美風でなくて加えて標示しない」ということは間違いだ"が導かれる
5. 事実19と事実13から、推論4: "その実践報告は誘い合う"が導かれる
6. 推論3と推論4から、推論5: "「その実践報告は美風でなくておまけに標示しない」ということは成り立たない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その実践報告は水臭くない"が導かれる
9. 推論7と事実17から、仮説が否定される

よって、仮説が否定されました。