「そのソビエト連邦は空回りしなくてまた天幕だということはない」ということは成り立たない
fact1: 仮にあの動作様式は齎すとすると「水っぽいし通じ易い」ということは間違っている fact2: あの減額認定申請は齎す fact3: 「「齎すか天幕であるか両方だ」ということは偽な」物があるとしたらその気比神人は引き据えない fact4: もしもなにかは空回りしないとしたら「それは水っぽくて加えてそれは狙われ易いということはない」ということは確かでない fact5: もしなにかは抗体除去でないとすると「限り無しということはないし人間っぽくない」ということは間違っている fact6: 仮にあの動作様式が通じ易いならば引き据える fact7: 通じ易いものは引き据える fact8: 「あの動作様式は水っぽいし通じ易い」ということは偽である fact9: あの動作様式は齎すとすれば「それは水っぽいが通じ易くない」ということは成り立たない fact10: 仮になにかはごった返さないとしたら「齎すかあるいは天幕だ」ということは正しくない fact11: もしあの動作様式が引き据えるとしたらそのソビエト連邦は空回りしなくてそれは天幕でない fact12: なにかは引き据えないとしたら「それは空回りしない」ということは確かだ fact13: 厳選が指定するとすればそれは抗体除去でない fact14: この再石灰化は引き据える fact15: あの動作様式は齎す fact16: そのソビエト連邦は厳選であるしさらに指定する fact17: そのソビエト連邦は天幕でない fact18: もし仮にあの動作様式が引き据えるならそのソビエト連邦は天幕でない fact19: もしも「何らかの物は水っぽいがしかし通じ易くない」ということは確かでないとすると引き据える fact20: もし仮に「そのソビエト連邦は限り無しないしそれは人間っぽくない」ということは成り立たないとしたらごった返さない
fact19 -> int1: もしも「あの動作様式は水っぽいけど通じ易くない」ということは正しくないとすれば引き据える; fact9 & fact15 -> int2: 「あの動作様式は水っぽいけれど通じ易くない」ということは成り立つということはない; int1 & int2 -> int3: あの動作様式は引き据える; int3 & fact11 -> hypothesis;
「その気比神人は水っぽいけれどそれは狙われ易くない」ということは誤りだ
fact26 -> int4: もし仮にその気比神人は空回りしないならば「水っぽい一方で狙われ易くない」ということは誤っている; fact22 -> int5: もし仮にその気比神人が引き据えないとすれば空回りしない; fact27 -> int6: もし仮に「そのソビエト連邦はごった返さない」ということは成り立つなら「それは齎すかもしくは天幕であるか両方ともである」ということは間違っている; fact28 -> int7: そのソビエト連邦は抗体除去でないとすれば「限り無しないし人間っぽくない」ということは誤りだ; fact23 -> int8: 仮にそのソビエト連邦は厳選であるし指定するなら「それは抗体除去でない」ということは偽でない; int8 & fact21 -> int9: そのソビエト連邦は抗体除去でない; int7 & int9 -> int10: 「そのソビエト連邦は限り無しないし人間っぽいということはない」ということは成り立たない; fact24 & int10 -> int11: そのソビエト連邦はごった返さない; int6 & int11 -> int12: 「そのソビエト連邦は齎すかもしくは天幕だ」ということは誤りである; int12 -> int13: 「「齎すか天幕だ」ということは誤っている」ものはある; int13 & fact25 -> int14: その気比神人は引き据えない; int5 & int14 -> int15: その気比神人は空回りしない; int4 & int15 -> hypothesis;
$facts$ = fact1: 仮にあの動作様式は齎すとすると「水っぽいし通じ易い」ということは間違っている fact2: あの減額認定申請は齎す fact3: 「「齎すか天幕であるか両方だ」ということは偽な」物があるとしたらその気比神人は引き据えない fact4: もしもなにかは空回りしないとしたら「それは水っぽくて加えてそれは狙われ易いということはない」ということは確かでない fact5: もしなにかは抗体除去でないとすると「限り無しということはないし人間っぽくない」ということは間違っている fact6: 仮にあの動作様式が通じ易いならば引き据える fact7: 通じ易いものは引き据える fact8: 「あの動作様式は水っぽいし通じ易い」ということは偽である fact9: あの動作様式は齎すとすれば「それは水っぽいが通じ易くない」ということは成り立たない fact10: 仮になにかはごった返さないとしたら「齎すかあるいは天幕だ」ということは正しくない fact11: もしあの動作様式が引き据えるとしたらそのソビエト連邦は空回りしなくてそれは天幕でない fact12: なにかは引き据えないとしたら「それは空回りしない」ということは確かだ fact13: 厳選が指定するとすればそれは抗体除去でない fact14: この再石灰化は引き据える fact15: あの動作様式は齎す fact16: そのソビエト連邦は厳選であるしさらに指定する fact17: そのソビエト連邦は天幕でない fact18: もし仮にあの動作様式が引き据えるならそのソビエト連邦は天幕でない fact19: もしも「何らかの物は水っぽいがしかし通じ易くない」ということは確かでないとすると引き据える fact20: もし仮に「そのソビエト連邦は限り無しないしそれは人間っぽくない」ということは成り立たないとしたらごった返さない ; $hypothesis$ = 「そのソビエト連邦は空回りしなくてまた天幕だということはない」ということは成り立たない ; $proof$ = 
fact19 -> int1: もしも「あの動作様式は水っぽいけど通じ易くない」ということは正しくないとすれば引き据える; fact9 & fact15 -> int2: 「あの動作様式は水っぽいけれど通じ易くない」ということは成り立つということはない; int1 & int2 -> int3: あの動作様式は引き据える; int3 & fact11 -> hypothesis; __DISPROVED__
事実1: 仮にあの動作様式は齎すとすると「水っぽいし通じ易い」ということは間違っている
事実2: あの減額認定申請は齎す
事実3: 「「齎すか天幕であるか両方だ」ということは偽な」物があるとしたらその気比神人は引き据えない
事実4: もしもなにかは空回りしないとしたら「それは水っぽくて加えてそれは狙われ易いということはない」ということは確かでない
事実5: もしなにかは抗体除去でないとすると「限り無しということはないし人間っぽくない」ということは間違っている
事実6: 仮にあの動作様式が通じ易いならば引き据える
事実7: 通じ易いものは引き据える
事実8: 「あの動作様式は水っぽいし通じ易い」ということは偽である
事実9: あの動作様式は齎すとすれば「それは水っぽいが通じ易くない」ということは成り立たない
事実10: 仮になにかはごった返さないとしたら「齎すかあるいは天幕だ」ということは正しくない
事実11: もしあの動作様式が引き据えるとしたらそのソビエト連邦は空回りしなくてそれは天幕でない
事実12: なにかは引き据えないとしたら「それは空回りしない」ということは確かだ
事実13: 厳選が指定するとすればそれは抗体除去でない
事実14: この再石灰化は引き据える
事実15: あの動作様式は齎す
事実16: そのソビエト連邦は厳選であるしさらに指定する
事実17: そのソビエト連邦は天幕でない
事実18: もし仮にあの動作様式が引き据えるならそのソビエト連邦は天幕でない
事実19: もしも「何らかの物は水っぽいがしかし通じ易くない」ということは確かでないとすると引き据える
事実20: もし仮に「そのソビエト連邦は限り無しないしそれは人間っぽくない」ということは成り立たないとしたらごった返さない

仮説: 「そのソビエト連邦は空回りしなくてまた天幕だということはない」ということは成り立たない
1. 事実19から、推論1: "もしも「あの動作様式は水っぽいけど通じ易くない」ということは正しくないとすれば引き据える"が導かれる
2. 事実9と事実15から、推論2: "「あの動作様式は水っぽいけれど通じ易くない」ということは成り立つということはない"が導かれる
3. 推論1と推論2から、推論3: "あの動作様式は引き据える"が導かれる
4. 推論3と事実11から、仮説が否定される

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