「その銃撃戦は残れる一方で当選しない」ということは偽だ
fact1: もしもこの望遠鏡が威嚇するとすればこの一石橋は威嚇する fact2: 「もしもこの一石橋が残れるということはないならばこの一石橋は婦人科だ一方で痙攣発作時でない」ということは本当である fact3: もし仮にその銃撃戦は痙攣発作時ならば「それは残れるしそれは当選しない」ということは成り立たない fact4: その銃撃戦は愛しい fact5: その応急措置は残れない fact6: 仮にこの一石橋が威嚇するとするとそれは残れるし更にそれは痙攣発作時でない fact7: 「その銃撃戦は愛しくない」ということは偽でないとすれば当選する fact8: この望遠鏡が大泣きしないかもしくは二分するとしたらそれは威嚇する fact9: この一石橋は婦人科だ fact10: どれもこれもは大泣きしない fact11: その銃撃戦は痙攣発作時でないとすると残れる fact12: もしもその銃撃戦が愛しくないなら当選するしかつそれは痙攣発作時でない fact13: もしも「何らかの物は痙攣発作時でない」ということは事実だとすれば「それは残れるし当選しない」ということは確かである fact14: この一石橋はファインマン伝播関数でない fact15: 仮にこの一石橋が愛しくないがしかし婦人科であるとするとその銃撃戦は痙攣発作時でない fact16: その返り支度はたわいなくない一方で残れる fact17: もし仮にこの接触感染が残れないならば伴い易い fact18: もし仮にこの一石橋が愛しいしその上痙攣発作時だとすればあの銃撃戦は残れない fact19: この一石橋は痙攣発作時だということはないけど婦人科である fact20: この一石橋は愛しくない一方で婦人科だ fact21: その銃撃戦は残れる fact22: なにがしかの物は痙攣発作時でないならば残れる fact23: その銃撃戦は残れるけれど婦人科でない
fact15 & fact20 -> int1: その銃撃戦は痙攣発作時であるということはない; fact13 -> int2: 仮にその銃撃戦は痙攣発作時でないとすると「それは残れるし更にそれは当選するということはない」ということは成り立つ; int1 & int2 -> hypothesis;
fact15 & fact20 -> int1: ¬{B}{b}; fact13 -> int2: ¬{B}{b} -> ({C}{b} & ¬{A}{b}); int1 & int2 -> hypothesis;
「その銃撃戦は残れるけどそれは当選しない」ということは間違いだ
$facts$ = fact1: もしもこの望遠鏡が威嚇するとすればこの一石橋は威嚇する fact2: 「もしもこの一石橋が残れるということはないならばこの一石橋は婦人科だ一方で痙攣発作時でない」ということは本当である fact3: もし仮にその銃撃戦は痙攣発作時ならば「それは残れるしそれは当選しない」ということは成り立たない fact4: その銃撃戦は愛しい fact5: その応急措置は残れない fact6: 仮にこの一石橋が威嚇するとするとそれは残れるし更にそれは痙攣発作時でない fact7: 「その銃撃戦は愛しくない」ということは偽でないとすれば当選する fact8: この望遠鏡が大泣きしないかもしくは二分するとしたらそれは威嚇する fact9: この一石橋は婦人科だ fact10: どれもこれもは大泣きしない fact11: その銃撃戦は痙攣発作時でないとすると残れる fact12: もしもその銃撃戦が愛しくないなら当選するしかつそれは痙攣発作時でない fact13: もしも「何らかの物は痙攣発作時でない」ということは事実だとすれば「それは残れるし当選しない」ということは確かである fact14: この一石橋はファインマン伝播関数でない fact15: 仮にこの一石橋が愛しくないがしかし婦人科であるとするとその銃撃戦は痙攣発作時でない fact16: その返り支度はたわいなくない一方で残れる fact17: もし仮にこの接触感染が残れないならば伴い易い fact18: もし仮にこの一石橋が愛しいしその上痙攣発作時だとすればあの銃撃戦は残れない fact19: この一石橋は痙攣発作時だということはないけど婦人科である fact20: この一石橋は愛しくない一方で婦人科だ fact21: その銃撃戦は残れる fact22: なにがしかの物は痙攣発作時でないならば残れる fact23: その銃撃戦は残れるけれど婦人科でない ; $hypothesis$ = 「その銃撃戦は残れる一方で当選しない」ということは偽だ ; $proof$ = 
fact15 & fact20 -> int1: その銃撃戦は痙攣発作時であるということはない; fact13 -> int2: 仮にその銃撃戦は痙攣発作時でないとすると「それは残れるし更にそれは当選するということはない」ということは成り立つ; int1 & int2 -> 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: その銃撃戦は残れるけれど婦人科でない

仮説: 「その銃撃戦は残れる一方で当選しない」ということは偽だ
1. 事実15と事実20から、推論1: "その銃撃戦は痙攣発作時であるということはない"が導かれる
2. 事実13から、推論2: "仮にその銃撃戦は痙攣発作時でないとすると「それは残れるし更にそれは当選するということはない」ということは成り立つ"が導かれる
3. 推論1と推論2から、仮説が否定される

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