そのスライドは起電力であるということはない
fact1: その棗椰子は雲外蒼天でない fact2: その十．一は物凄ーくないがしかし日本産科婦人科学会である fact3: もしもとある物は行き難いとすれば「それは起電力であるしさらにそれは憔悴しない」ということは真実でない fact4: 「この新リーグは憔悴するということはない」ということは真実だとしたらそれは行き難くない fact5: この理学療法は雲外蒼天であるとすればそれは買い易い fact6: 仮に「接ぐ」ものがあるとしたらその十．一は媚び諂うしそれは行き難い fact7: もし「この新リーグは行き難くない」ということは確かならばあの棗椰子は行き難くないけど接ぐ fact8: もしその十．一が物凄ーいということはないがしかし日本産科婦人科学会であるとすればこの新リーグは憔悴しない fact9: もしもその棗椰子は行き難くないけど接ぐならそれは媚び諂わない fact10: もし仮に「その十．一は物凄ーいけど買い易いということはない」ということは事実と異なるとしたら「それは接ぐ」ということは成り立つ fact11: もしも「あるものは媚び諂うがしかし雲外蒼天であるということはない」ということは誤りであるとしたら「買い易い」ということは間違っていない fact12: もしも「「その十．一は買い易いけれど憔悴しない」ということは間違っている」ということは成り立つとしたらあの強化アペックスシールは買い易くない fact13: もし仮にこの理学療法が買い易いならばそのスライドは起電力である fact14: この新リーグは物凄ーくない fact15: もしもその棗椰子は媚び諂わないとすると「この理学療法は媚び諂うし加えてそれは雲外蒼天である」ということは成り立たない fact16: 「すべての物は接ぐ」ということは本当である fact17: もしもその棗椰子は媚び諂うということはないならば「この理学療法は媚び諂うがしかし雲外蒼天でない」ということは誤っている fact18: もし「買い易くない」物はあるなら「その十．一は買い易いけれど憔悴するということはない」ということは間違っている fact19: もしもその十．一が物凄ーいし日本産科婦人科学会であるならばこの新リーグは憔悴しない fact20: その棗椰子は接ぐ
fact8 & fact2 -> int1: この新リーグは憔悴しない; int1 & fact4 -> int2: この新リーグは行き難くない; int2 & fact7 -> int3: その棗椰子は行き難くないけど接ぐ; int3 & fact9 -> int4: その棗椰子は媚び諂わない; int4 & fact17 -> int5: 「この理学療法は媚び諂うが雲外蒼天でない」ということは成り立たない; fact11 -> int6: もし仮に「「この理学療法は媚び諂うけど雲外蒼天でない」ということは成り立つ」ということは成り立たないとすると「買い易い」ということは正しい; int5 & int6 -> int7: この理学療法は買い易い; int7 & fact13 -> hypothesis;
そのスライドは起電力でない
fact23 -> int8: もしも「その十．一は行き難い」ということは正しいならば「それは起電力であるが憔悴しない」ということは正しくない; fact22 -> int9: この新リーグは接ぐ; int9 -> int10: 「接ぐ」物はある; int10 & fact21 -> int11: 「その十．一は媚び諂うし更に行き難い」ということは本当だ; int11 -> int12: その十．一は行き難い; int8 & int12 -> int13: 「その十．一は起電力であるが憔悴しない」ということは成り立たない; int13 -> int14: 「「起電力であるし憔悴しない」ということは偽である」ものはある;
$facts$ = fact1: その棗椰子は雲外蒼天でない fact2: その十．一は物凄ーくないがしかし日本産科婦人科学会である fact3: もしもとある物は行き難いとすれば「それは起電力であるしさらにそれは憔悴しない」ということは真実でない fact4: 「この新リーグは憔悴するということはない」ということは真実だとしたらそれは行き難くない fact5: この理学療法は雲外蒼天であるとすればそれは買い易い fact6: 仮に「接ぐ」ものがあるとしたらその十．一は媚び諂うしそれは行き難い fact7: もし「この新リーグは行き難くない」ということは確かならばあの棗椰子は行き難くないけど接ぐ fact8: もしその十．一が物凄ーいということはないがしかし日本産科婦人科学会であるとすればこの新リーグは憔悴しない fact9: もしもその棗椰子は行き難くないけど接ぐならそれは媚び諂わない fact10: もし仮に「その十．一は物凄ーいけど買い易いということはない」ということは事実と異なるとしたら「それは接ぐ」ということは成り立つ fact11: もしも「あるものは媚び諂うがしかし雲外蒼天であるということはない」ということは誤りであるとしたら「買い易い」ということは間違っていない fact12: もしも「「その十．一は買い易いけれど憔悴しない」ということは間違っている」ということは成り立つとしたらあの強化アペックスシールは買い易くない fact13: もし仮にこの理学療法が買い易いならばそのスライドは起電力である fact14: この新リーグは物凄ーくない fact15: もしもその棗椰子は媚び諂わないとすると「この理学療法は媚び諂うし加えてそれは雲外蒼天である」ということは成り立たない fact16: 「すべての物は接ぐ」ということは本当である fact17: もしもその棗椰子は媚び諂うということはないならば「この理学療法は媚び諂うがしかし雲外蒼天でない」ということは誤っている fact18: もし「買い易くない」物はあるなら「その十．一は買い易いけれど憔悴するということはない」ということは間違っている fact19: もしもその十．一が物凄ーいし日本産科婦人科学会であるならばこの新リーグは憔悴しない fact20: その棗椰子は接ぐ ; $hypothesis$ = そのスライドは起電力であるということはない ; $proof$ = 
fact8 & fact2 -> int1: この新リーグは憔悴しない; int1 & fact4 -> int2: この新リーグは行き難くない; int2 & fact7 -> int3: その棗椰子は行き難くないけど接ぐ; int3 & fact9 -> int4: その棗椰子は媚び諂わない; int4 & fact17 -> int5: 「この理学療法は媚び諂うが雲外蒼天でない」ということは成り立たない; fact11 -> int6: もし仮に「「この理学療法は媚び諂うけど雲外蒼天でない」ということは成り立つ」ということは成り立たないとすると「買い易い」ということは正しい; int5 & int6 -> int7: この理学療法は買い易い; int7 & fact13 -> hypothesis; __DISPROVED__
事実1: その棗椰子は雲外蒼天でない
事実2: その十．一は物凄ーくないがしかし日本産科婦人科学会である
事実3: もしもとある物は行き難いとすれば「それは起電力であるしさらにそれは憔悴しない」ということは真実でない
事実4: 「この新リーグは憔悴するということはない」ということは真実だとしたらそれは行き難くない
事実5: この理学療法は雲外蒼天であるとすればそれは買い易い
事実6: 仮に「接ぐ」ものがあるとしたらその十．一は媚び諂うしそれは行き難い
事実7: もし「この新リーグは行き難くない」ということは確かならばあの棗椰子は行き難くないけど接ぐ
事実8: もしその十．一が物凄ーいということはないがしかし日本産科婦人科学会であるとすればこの新リーグは憔悴しない
事実9: もしもその棗椰子は行き難くないけど接ぐならそれは媚び諂わない
事実10: もし仮に「その十．一は物凄ーいけど買い易いということはない」ということは事実と異なるとしたら「それは接ぐ」ということは成り立つ
事実11: もしも「あるものは媚び諂うがしかし雲外蒼天であるということはない」ということは誤りであるとしたら「買い易い」ということは間違っていない
事実12: もしも「「その十．一は買い易いけれど憔悴しない」ということは間違っている」ということは成り立つとしたらあの強化アペックスシールは買い易くない
事実13: もし仮にこの理学療法が買い易いならばそのスライドは起電力である
事実14: この新リーグは物凄ーくない
事実15: もしもその棗椰子は媚び諂わないとすると「この理学療法は媚び諂うし加えてそれは雲外蒼天である」ということは成り立たない
事実16: 「すべての物は接ぐ」ということは本当である
事実17: もしもその棗椰子は媚び諂うということはないならば「この理学療法は媚び諂うがしかし雲外蒼天でない」ということは誤っている
事実18: もし「買い易くない」物はあるなら「その十．一は買い易いけれど憔悴するということはない」ということは間違っている
事実19: もしもその十．一が物凄ーいし日本産科婦人科学会であるならばこの新リーグは憔悴しない
事実20: その棗椰子は接ぐ

仮説: そのスライドは起電力であるということはない
1. 事実8と事実2から、推論1: "この新リーグは憔悴しない"が導かれる
2. 推論1と事実4から、推論2: "この新リーグは行き難くない"が導かれる
3. 推論2と事実7から、推論3: "その棗椰子は行き難くないけど接ぐ"が導かれる
4. 推論3と事実9から、推論4: "その棗椰子は媚び諂わない"が導かれる
5. 推論4と事実17から、推論5: "「この理学療法は媚び諂うが雲外蒼天でない」ということは成り立たない"が導かれる
6. 事実11から、推論6: "もし仮に「「この理学療法は媚び諂うけど雲外蒼天でない」ということは成り立つ」ということは成り立たないとすると「買い易い」ということは正しい"が導かれる
7. 推論5と推論6から、推論7: "この理学療法は買い易い"が導かれる
8. 推論7と事実13から、仮説が否定される

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