その一定期間後は思い為さるということはない
fact1: もし仮に「なにがしかのものは思い煩うけど出出さない」ということは成り立たないとすると出出す fact2: 何らかの物は規則正しいならば「握れるしその上青くない」ということは偽だ fact3: もしもこの銀行ローンはＩＴ機器であるということはないとすればそれは柔くない fact4: もし仮にあの不服は握れないならば「あの一草庵は誠心でない」ということは本当だ fact5: もしなにがしかの物は出出すとすれば「それは凹むしおまけに力無くない」ということは嘘だ fact6: もし仮になにかは腟部であるとしたら思い為さる fact7: もしも腟部はサイゴン政権でないとするとそれは思い為さらない fact8: もしも「この名句は握れる一方で青いということはない」ということは成り立たないとすれば「あの不服は握れない」ということは事実である fact9: 「「「抗し難くないし加えて準備委員会であるということはない」ということは本当である」ということは成り立たない」物はある fact10: なにがしかの物は抗し難くないし更にそれは準備委員会でない fact11: もしもあの一草庵が誠心でないとすればその一定期間後はグルーピングしない fact12: もし「「根気良いということはないしかつ勘違いし易くない」ということは間違っている」物はあるとすると「その一定期間後は優しい」ということは確かである fact13: サイゴン政権は腟部である fact14: もしもなにかはグルーピングしないとすると腟部であるがしかしサイゴン政権であるということはない fact15: 「「抗し難いということはないしその上準備委員会でない」ということは誤りな」物があるとするとその一定期間後はサイゴン政権である fact16: なにかは柔いということはないなら「思い煩うがしかし出出さない」ということは成り立たない fact17: この銀行ローンはＩＴ機器でない
fact9 & fact15 -> int1: その一定期間後はサイゴン政権だ; fact13 -> int2: もしもその一定期間後がサイゴン政権ならそれは腟部だ; int1 & int2 -> int3: その一定期間後は腟部である; fact6 -> int4: もし仮に「その一定期間後は腟部だ」ということは成り立つとすれば思い為さる; int3 & int4 -> hypothesis;
fact9 & fact15 -> int1: {A}{a}; fact13 -> int2: {A}{a} -> {B}{a}; int1 & int2 -> int3: {B}{a}; fact6 -> int4: {B}{a} -> {C}{a}; int3 & int4 -> hypothesis;
「その一定期間後は思い為さらない」ということは確かだ
fact22 -> int5: 仮にその一定期間後は腟部だけどサイゴン政権でないとすると思い為さらない; fact21 -> int6: もし仮にその一定期間後がグルーピングしないとすれば腟部だけれどサイゴン政権でない; fact28 -> int7: 「もし仮にこの名句は規則正しいとすると「この名句は握れるがそれは青くない」ということは間違いである」ということは真実だ; fact24 -> int8: もし仮にこの銀行ローンは出出せば「凹む一方で力無くない」ということは真実でない; fact26 -> int9: もし仮に「この銀行ローンは思い煩うがそれは出出すということはない」ということは嘘だとしたら「それは出出す」ということは本当である; fact25 -> int10: この銀行ローンは柔くないなら「それは思い煩うが出出さない」ということは確かであるということはない; fact19 & fact20 -> int11: この銀行ローンは柔くない; int10 & int11 -> int12: 「「この銀行ローンは思い煩うがしかし出出さない」ということは成り立つ」ということは嘘である; int9 & int12 -> int13: この銀行ローンは出出す; int8 & int13 -> int14: 「この銀行ローンは凹むけれどそれは力無くない」ということは事実だということはない; int14 -> int15: 「「凹むし更に力無くない」ということは成り立たない」ものはある;
$facts$ = fact1: もし仮に「なにがしかのものは思い煩うけど出出さない」ということは成り立たないとすると出出す fact2: 何らかの物は規則正しいならば「握れるしその上青くない」ということは偽だ fact3: もしもこの銀行ローンはＩＴ機器であるということはないとすればそれは柔くない fact4: もし仮にあの不服は握れないならば「あの一草庵は誠心でない」ということは本当だ fact5: もしなにがしかの物は出出すとすれば「それは凹むしおまけに力無くない」ということは嘘だ fact6: もし仮になにかは腟部であるとしたら思い為さる fact7: もしも腟部はサイゴン政権でないとするとそれは思い為さらない fact8: もしも「この名句は握れる一方で青いということはない」ということは成り立たないとすれば「あの不服は握れない」ということは事実である fact9: 「「「抗し難くないし加えて準備委員会であるということはない」ということは本当である」ということは成り立たない」物はある fact10: なにがしかの物は抗し難くないし更にそれは準備委員会でない fact11: もしもあの一草庵が誠心でないとすればその一定期間後はグルーピングしない fact12: もし「「根気良いということはないしかつ勘違いし易くない」ということは間違っている」物はあるとすると「その一定期間後は優しい」ということは確かである fact13: サイゴン政権は腟部である fact14: もしもなにかはグルーピングしないとすると腟部であるがしかしサイゴン政権であるということはない fact15: 「「抗し難いということはないしその上準備委員会でない」ということは誤りな」物があるとするとその一定期間後はサイゴン政権である fact16: なにかは柔いということはないなら「思い煩うがしかし出出さない」ということは成り立たない fact17: この銀行ローンはＩＴ機器でない ; $hypothesis$ = その一定期間後は思い為さるということはない ; $proof$ = 
fact9 & fact15 -> int1: その一定期間後はサイゴン政権だ; fact13 -> int2: もしもその一定期間後がサイゴン政権ならそれは腟部だ; int1 & int2 -> int3: その一定期間後は腟部である; fact6 -> int4: もし仮に「その一定期間後は腟部だ」ということは成り立つとすれば思い為さる; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もし仮に「なにがしかのものは思い煩うけど出出さない」ということは成り立たないとすると出出す
事実2: 何らかの物は規則正しいならば「握れるしその上青くない」ということは偽だ
事実3: もしもこの銀行ローンはＩＴ機器であるということはないとすればそれは柔くない
事実4: もし仮にあの不服は握れないならば「あの一草庵は誠心でない」ということは本当だ
事実5: もしなにがしかの物は出出すとすれば「それは凹むしおまけに力無くない」ということは嘘だ
事実6: もし仮になにかは腟部であるとしたら思い為さる
事実7: もしも腟部はサイゴン政権でないとするとそれは思い為さらない
事実8: もしも「この名句は握れる一方で青いということはない」ということは成り立たないとすれば「あの不服は握れない」ということは事実である
事実9: 「「「抗し難くないし加えて準備委員会であるということはない」ということは本当である」ということは成り立たない」物はある
事実10: なにがしかの物は抗し難くないし更にそれは準備委員会でない
事実11: もしもあの一草庵が誠心でないとすればその一定期間後はグルーピングしない
事実12: もし「「根気良いということはないしかつ勘違いし易くない」ということは間違っている」物はあるとすると「その一定期間後は優しい」ということは確かである
事実13: サイゴン政権は腟部である
事実14: もしもなにかはグルーピングしないとすると腟部であるがしかしサイゴン政権であるということはない
事実15: 「「抗し難いということはないしその上準備委員会でない」ということは誤りな」物があるとするとその一定期間後はサイゴン政権である
事実16: なにかは柔いということはないなら「思い煩うがしかし出出さない」ということは成り立たない
事実17: この銀行ローンはＩＴ機器でない

仮説: その一定期間後は思い為さるということはない
1. 事実9と事実15から、推論1: "その一定期間後はサイゴン政権だ"が導かれる
2. 事実13から、推論2: "もしもその一定期間後がサイゴン政権ならそれは腟部だ"が導かれる
3. 推論1と推論2から、推論3: "その一定期間後は腟部である"が導かれる
4. 事実6から、推論4: "もし仮に「その一定期間後は腟部だ」ということは成り立つとすれば思い為さる"が導かれる
5. 推論3と推論4から、仮説が否定される

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