あのオフィサーは伸び始めない
fact1: 「この茶飲料は内視鏡的止血術でないがしかしそれは宇宙世界である」ということは成り立たない fact2: 順応し易くないものはケアスタッフであるし虚栄である fact3: 「この妻子はきったなくない」ということは本当だ fact4: 仮にあの輸送力が大通り商店街祭りであるしそれにきったないならあの姓氏はきったなくない fact5: 何らかの物は癒合しないかあるいは居るかもしくは両方ともである fact6: このネット・キャッシュインフローはケアスタッフであるし居る fact7: このネット・キャッシュインフローが大通り商店街祭りでないならばあのオフィサーは順応し易いかあるいはそれは虚栄でない fact8: あのオフィサーはくらくらしない fact9: もしも「「とある物は虚栄である一方で順応し易くない」ということは成り立つ」ということは成り立たないとすればきったない fact10: もし仮に「あの輸送力はケアスタッフであるということはない」ということは偽でないとすればあのオフィサーは黒しないし大通り商店街祭りでない fact11: なにかは黒しないし大通り商店街祭りでないとすれば伸び始めるということはない fact12: 「このネット・キャッシュインフローは引き摺り回さない」ということは成り立つ fact13: 仮にあの輸送力がきったなくないかもしくは引き摺り回さないならこのネット・キャッシュインフローは黒し fact14: あの農業就業者数が居るがしかし癒合しないとすればこのネット・キャッシュインフローは順応し易くない fact15: もし内視鏡的止血術が遊技しないならば黒しない fact16: もし仮に「何かは黒しない」ということは本当であるとしたらそれは大通り商店街祭りであるかケアスタッフでないかまたはどちらもだ fact17: このネット・キャッシュインフローが大通り商店街祭りであるとするとあの輸送力は大通り商店街祭りだ fact18: あの輸送力はきったなくないかもしくは引き摺り回さない fact19: 仮にあのオフィサーが順応し易いかまたは虚栄でないかあるいは両方ともだとしたら伸び始める fact20: 仮にこのネット・キャッシュインフローがケアスタッフであるしおまけに虚栄だとすればあの輸送力はケアスタッフだということはない fact21: もし仮に黒し物は大通り商店街祭りであるならばケアスタッフでない fact22: 仮にこのネット・キャッシュインフローがケアスタッフでないとしたらあの輸送力は大通り商店街祭りである fact23: もし「あの輸送力は居るしまたそれはケアスタッフだ」ということは確かであるとしたら引き摺り回さない fact24: もしもこのネット・キャッシュインフローは黒しないか引き摺り回しないかもしくは両方であるなら「あの輸送力はケアスタッフだ」ということは本当である
fact13 & fact18 -> int1: このネット・キャッシュインフローは黒し; void -> assump1: 以下のように仮定する。このネット・キャッシュインフローは大通り商店街祭りだ; int1 & assump1 -> int2: このネット・キャッシュインフローは黒ししさらに大通り商店街祭りである; fact21 -> int3: もしこのネット・キャッシュインフローが黒ししそれにそれは大通り商店街祭りであるとすればそれはケアスタッフだということはない; int2 & int3 -> int4: このネット・キャッシュインフローはケアスタッフでない; fact6 -> int5: このネット・キャッシュインフローはケアスタッフである; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: このネット・キャッシュインフローは大通り商店街祭りでない; int7 & fact7 -> int8: あのオフィサーは順応し易いかまたは虚栄でない; int8 & fact19 -> hypothesis;
あの姓氏はきったないということはない
fact25 -> int9: もしこのネット・キャッシュインフローが黒しないとすると大通り商店街祭りであるかもしくはケアスタッフでない; fact26 -> int10: もしもこのネット・キャッシュインフローが内視鏡的止血術だけれどそれが遊技しないとすれば黒しない; fact28 -> int11: 「あの輸送力は虚栄だが順応し易くない」ということは事実と異なるとすればそれはきったない;
$facts$ = fact1: 「この茶飲料は内視鏡的止血術でないがしかしそれは宇宙世界である」ということは成り立たない fact2: 順応し易くないものはケアスタッフであるし虚栄である fact3: 「この妻子はきったなくない」ということは本当だ fact4: 仮にあの輸送力が大通り商店街祭りであるしそれにきったないならあの姓氏はきったなくない fact5: 何らかの物は癒合しないかあるいは居るかもしくは両方ともである fact6: このネット・キャッシュインフローはケアスタッフであるし居る fact7: このネット・キャッシュインフローが大通り商店街祭りでないならばあのオフィサーは順応し易いかあるいはそれは虚栄でない fact8: あのオフィサーはくらくらしない fact9: もしも「「とある物は虚栄である一方で順応し易くない」ということは成り立つ」ということは成り立たないとすればきったない fact10: もし仮に「あの輸送力はケアスタッフであるということはない」ということは偽でないとすればあのオフィサーは黒しないし大通り商店街祭りでない fact11: なにかは黒しないし大通り商店街祭りでないとすれば伸び始めるということはない fact12: 「このネット・キャッシュインフローは引き摺り回さない」ということは成り立つ fact13: 仮にあの輸送力がきったなくないかもしくは引き摺り回さないならこのネット・キャッシュインフローは黒し fact14: あの農業就業者数が居るがしかし癒合しないとすればこのネット・キャッシュインフローは順応し易くない fact15: もし内視鏡的止血術が遊技しないならば黒しない fact16: もし仮に「何かは黒しない」ということは本当であるとしたらそれは大通り商店街祭りであるかケアスタッフでないかまたはどちらもだ fact17: このネット・キャッシュインフローが大通り商店街祭りであるとするとあの輸送力は大通り商店街祭りだ fact18: あの輸送力はきったなくないかもしくは引き摺り回さない fact19: 仮にあのオフィサーが順応し易いかまたは虚栄でないかあるいは両方ともだとしたら伸び始める fact20: 仮にこのネット・キャッシュインフローがケアスタッフであるしおまけに虚栄だとすればあの輸送力はケアスタッフだということはない fact21: もし仮に黒し物は大通り商店街祭りであるならばケアスタッフでない fact22: 仮にこのネット・キャッシュインフローがケアスタッフでないとしたらあの輸送力は大通り商店街祭りである fact23: もし「あの輸送力は居るしまたそれはケアスタッフだ」ということは確かであるとしたら引き摺り回さない fact24: もしもこのネット・キャッシュインフローは黒しないか引き摺り回しないかもしくは両方であるなら「あの輸送力はケアスタッフだ」ということは本当である ; $hypothesis$ = あのオフィサーは伸び始めない ; $proof$ = 
fact13 & fact18 -> int1: このネット・キャッシュインフローは黒し; void -> assump1: 以下のように仮定する。このネット・キャッシュインフローは大通り商店街祭りだ; int1 & assump1 -> int2: このネット・キャッシュインフローは黒ししさらに大通り商店街祭りである; fact21 -> int3: もしこのネット・キャッシュインフローが黒ししそれにそれは大通り商店街祭りであるとすればそれはケアスタッフだということはない; int2 & int3 -> int4: このネット・キャッシュインフローはケアスタッフでない; fact6 -> int5: このネット・キャッシュインフローはケアスタッフである; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: このネット・キャッシュインフローは大通り商店街祭りでない; int7 & fact7 -> int8: あのオフィサーは順応し易いかまたは虚栄でない; int8 & fact19 -> hypothesis; __DISPROVED__
事実1: 「この茶飲料は内視鏡的止血術でないがしかしそれは宇宙世界である」ということは成り立たない
事実2: 順応し易くないものはケアスタッフであるし虚栄である
事実3: 「この妻子はきったなくない」ということは本当だ
事実4: 仮にあの輸送力が大通り商店街祭りであるしそれにきったないならあの姓氏はきったなくない
事実5: 何らかの物は癒合しないかあるいは居るかもしくは両方ともである
事実6: このネット・キャッシュインフローはケアスタッフであるし居る
事実7: このネット・キャッシュインフローが大通り商店街祭りでないならばあのオフィサーは順応し易いかあるいはそれは虚栄でない
事実8: あのオフィサーはくらくらしない
事実9: もしも「「とある物は虚栄である一方で順応し易くない」ということは成り立つ」ということは成り立たないとすればきったない
事実10: もし仮に「あの輸送力はケアスタッフであるということはない」ということは偽でないとすればあのオフィサーは黒しないし大通り商店街祭りでない
事実11: なにかは黒しないし大通り商店街祭りでないとすれば伸び始めるということはない
事実12: 「このネット・キャッシュインフローは引き摺り回さない」ということは成り立つ
事実13: 仮にあの輸送力がきったなくないかもしくは引き摺り回さないならこのネット・キャッシュインフローは黒し
事実14: あの農業就業者数が居るがしかし癒合しないとすればこのネット・キャッシュインフローは順応し易くない
事実15: もし内視鏡的止血術が遊技しないならば黒しない
事実16: もし仮に「何かは黒しない」ということは本当であるとしたらそれは大通り商店街祭りであるかケアスタッフでないかまたはどちらもだ
事実17: このネット・キャッシュインフローが大通り商店街祭りであるとするとあの輸送力は大通り商店街祭りだ
事実18: あの輸送力はきったなくないかもしくは引き摺り回さない
事実19: 仮にあのオフィサーが順応し易いかまたは虚栄でないかあるいは両方ともだとしたら伸び始める
事実20: 仮にこのネット・キャッシュインフローがケアスタッフであるしおまけに虚栄だとすればあの輸送力はケアスタッフだということはない
事実21: もし仮に黒し物は大通り商店街祭りであるならばケアスタッフでない
事実22: 仮にこのネット・キャッシュインフローがケアスタッフでないとしたらあの輸送力は大通り商店街祭りである
事実23: もし「あの輸送力は居るしまたそれはケアスタッフだ」ということは確かであるとしたら引き摺り回さない
事実24: もしもこのネット・キャッシュインフローは黒しないか引き摺り回しないかもしくは両方であるなら「あの輸送力はケアスタッフだ」ということは本当である

仮説: あのオフィサーは伸び始めない
1. 事実13と事実18から、推論1: "このネット・キャッシュインフローは黒し"が導かれる
2. 仮定1: 以下のように仮定する。このネット・キャッシュインフローは大通り商店街祭りだ
3. 推論1と仮定1から、推論2: "このネット・キャッシュインフローは黒ししさらに大通り商店街祭りである"が導かれる
4. 事実21から、推論3: "もしこのネット・キャッシュインフローが黒ししそれにそれは大通り商店街祭りであるとすればそれはケアスタッフだということはない"が導かれる
5. 推論2と推論3から、推論4: "このネット・キャッシュインフローはケアスタッフでない"が導かれる
6. 事実6から、推論5: "このネット・キャッシュインフローはケアスタッフである"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "このネット・キャッシュインフローは大通り商店街祭りでない"が導かれる
9. 推論7と事実7から、推論8: "あのオフィサーは順応し易いかまたは虚栄でない"が導かれる
10. 推論8と事実19から、仮説が否定される

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