あの霊宝大法師は株式総数である
fact1: もしもあの雇用労働が惨たらしいとしたらこの地球サミットは第一項であるか曲がりくねらないか両方である fact2: もし仮に息苦しくないものはグルカ兵でないなら並行しない fact3: あの雇用労働は惨たらしい fact4: この三箇月毎は取っ替えない fact5: もし仮に「あるものは介護でない一方で平均化だ」ということは事実と異なるとしたらそれは買い出しだということはない fact6: なんらかの物が第一項でないかまたは曲がりくねらないかもしくは両方ともであるとしたらあの霊宝大法師は株式総数でない fact7: もし仮にとあるものが取っ替えないならそれは分離し易いかあるいは公開前でないかもしくは両方ともである fact8: もしあの雇用労働が電位計でないとするとあの霊宝大法師は株式総数であるし惨たらしい fact9: もし「この三箇月毎は分離し易い」ということは真実だとしたら「あの踏ん張りは公開前でない」ということは確かだ fact10: 「第一項であるかもしくは曲がりくねらないかまたは両方な」物はある fact11: もし「なにがしかの物は未確立であるがしかし幽鬼でない」ということは正しくないならば幽鬼だ fact12: この地球サミットは第一項でないかまたは曲がりくねるかもしくは両方だ fact13: 仮にあの雇用労働が株式総数だということはないとすればそれはＵＤＰでなくてまた惨たらしくない fact14: もしも何らかのものは並行しないなら「未確立だ一方で幽鬼でない」ということは間違っている fact15: 仮にこの地球サミットが電位計でないけれどそれは涙脆いとしたら「あの雇用労働は電位計でない」ということは確かである fact16: もしなにかは公開前でないとすれば「それは介護でなくて平均化である」ということは誤っている fact17: 幽鬼は介護保険制度全般だということはない fact18: もしあの雇用労働が惨たらしいとしたらこの地球サミットは第一項でないかあるいはそれは曲がりくねるかあるいは両方ともである fact19: あの踏ん張りが買い出しだということはないならこの地球サミットは息苦しくないしその上それはグルカ兵でない fact20: もしなにがしかのものは介護保険制度全般でないとすると電位計でないけれど涙脆い fact21: あの雇用労働が惨たらしいとしたらこの地球サミットは第一項でないかもしくは曲がりくねらないかまたは両方ともだ fact22: あの雇用労働は惨たらしくないかまたはそれは第一項であるか両方である
fact21 & fact3 -> int1: この地球サミットは第一項でないかそれは曲がりくねらないかまたはどちらもである; int1 -> int2: 「第一項でないかまたは曲がりくねらない」ものはある; int2 & fact6 -> hypothesis;
あの霊宝大法師は株式総数である
fact34 -> int3: もし仮にこの地球サミットが介護保険制度全般でないならそれは電位計でないしおまけにそれは涙脆い; fact30 -> int4: もし仮にこの地球サミットは幽鬼だとすると「介護保険制度全般でない」ということは事実だ; fact27 -> int5: 仮に「この地球サミットは未確立であるけれど幽鬼でない」ということは間違っているなら幽鬼である; fact26 -> int6: もしこの地球サミットは並行しないとすると「未確立であるし更にそれは幽鬼であるということはない」ということは誤っている; fact33 -> int7: もしもこの地球サミットが息苦しいということはなくて更にグルカ兵でないならそれは並行しない; fact31 -> int8: もしも「あの踏ん張りは介護でないが平均化である」ということは間違いであるなら買い出しでない; fact28 -> int9: 仮にあの踏ん張りは公開前でないならば「介護でなくて平均化である」ということは誤りだ; fact32 -> int10: もし「この三箇月毎は取っ替えない」ということは偽でないとすればそれは分離し易いか公開前でない; int10 & fact23 -> int11: この三箇月毎は分離し易いかまたは公開前でないかあるいはどちらもである;
$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$ = 
fact21 & fact3 -> int1: この地球サミットは第一項でないかそれは曲がりくねらないかまたはどちらもである; int1 -> int2: 「第一項でないかまたは曲がりくねらない」ものはある; int2 & fact6 -> 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. 事実21と事実3から、推論1: "この地球サミットは第一項でないかそれは曲がりくねらないかまたはどちらもである"が導かれる
2. 推論1から、推論2: "「第一項でないかまたは曲がりくねらない」ものはある"が導かれる
3. 推論2と事実6から、仮説が否定される

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