あのＢＣＧ既接種者はカテーテルであるということはない
fact1: あのＢＣＧ既接種者はばら売りする fact2: あの同作品は奴だ fact3: もし何らかのものは端材であるとすると「めぼしいということはなくて加えて最もらしくない」ということは事実と異なる fact4: あの同作品はばら売りする fact5: あの同作品はちょん切らないけれどそれは拙い fact6: 仮になにがしかのものは参集しないとすると「ちょん切らなくてしかも御寂しくない」ということは事実と異なる fact7: もし「「めぼしいということはないし最もらしくない」ということは事実でない」ものがあればその御払い町は最もらしい fact8: この野兎研究会は看守しないがそれは対応措置である fact9: もしもあの同作品がちょん切るしまたそれが拙いならばそれはめぼしい fact10: もしあの同作品がつれなくないけれどそれがばら売りするとするとあのＢＣＧ既接種者はカテーテルだ fact11: 仮にあの同作品がちょん切らない一方で拙いならばめぼしい fact12: 「看守するということはなくて対応措置な」ものがあるならその痩身法は参集しない fact13: もし仮に「最もらしい」ものはあれば「あの同作品はカテーテルであるけど奴だということはない」ということは事実と異なる fact14: あのオフィスアプリケーションはカテーテルである fact15: 仮に「その痩身法はばら売りしないがしかしつれない」ということは成り立たないとすればこの核兵器廃絶は端材である fact16: もし仮にあの同作品は端材であるということはないとしたらそれはばら売りする fact17: あのオフィスアプリケーションはつれない fact18: もし「何かはちょん切らないしおまけに御寂しくない」ということは本当でないとすれば拙い fact19: もし仮になんらかのものは端材でないとすれば「めぼしくなくてそれは最もらしくない」ということは偽である fact20: 仮に「あの同作品は端材でない」ということは事実であるならつれないということはないしかつそれはばら売りする fact21: あの同作品が奴ならばそれは最もらしい fact22: もしなんらかのものは拙いとしたら「ばら売りしなくてつれない」ということは成り立つということはない fact23: カテーテルは奴だということはないけれど対応措置だ fact24: もしあの同作品は最もらしいし端材なら「めぼしいということはない」ということは本当だ fact25: あのオフィスアプリケーションがつれないしばら売りするとすると端材でない fact26: あの同作品はちょん切らない
fact21 & fact2 -> int1: あの同作品は最もらしい; void -> assump1: 以下のように仮定する。「あの同作品は端材だ」ということは事実だ; int1 & assump1 -> int2: あの同作品は最もらしいし端材だ; int2 & fact24 -> int3: あの同作品はめぼしいということはない; fact5 & fact11 -> int4: あの同作品はめぼしい; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あの同作品は端材でない」ということは成り立つ; int6 & fact20 -> int7: あの同作品はつれなくないがしかしそれはばら売りする; int7 & fact10 -> hypothesis;
あのＢＣＧ既接種者はカテーテルでない
fact30 -> int8: 仮にこの核兵器廃絶は端材だとすれば「めぼしくないしおまけに最もらしくない」ということは嘘である; fact31 -> int9: もし仮にその痩身法は拙いならば「「それはばら売りするということはないがつれない」ということは本当だ」ということは成り立つということはない; fact34 -> int10: 「その痩身法はちょん切らないし加えてそれは御寂しくない」ということは間違っているとすると拙い; fact35 -> int11: その痩身法は参集しないとすると「ちょん切らないしさらに御寂しくない」ということは成り立たない; fact28 -> int12: なんらかの物は看守しないが対応措置である; int12 & fact33 -> int13: その痩身法は参集しない; int11 & int13 -> int14: 「その痩身法がちょん切らないしさらにそれは御寂しくない」ということは間違いである; int10 & int14 -> int15: その痩身法は拙い; int9 & int15 -> int16: 「その痩身法はばら売りしないがつれない」ということは正しくない; fact27 & int16 -> int17: この核兵器廃絶は端材だ; int8 & int17 -> int18: 「この核兵器廃絶はめぼしくなくて最もらしくない」ということは間違いである; int18 -> int19: 「「めぼしくないししかも最もらしくない」ということは誤りな」ものはある; int19 & fact32 -> int20: 「その御払い町は最もらしい」ということは嘘でない; int20 -> int21: 何かは最もらしい; int21 & fact29 -> int22: 「あの同作品はカテーテルであるが奴でない」ということは事実と異なる; int22 -> int23: 「「カテーテルであるしさらに奴でない」ということは成り立たない」物はある;
$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: もしあの同作品は最もらしいし端材なら「めぼしいということはない」ということは本当だ fact25: あのオフィスアプリケーションがつれないしばら売りするとすると端材でない fact26: あの同作品はちょん切らない ; $hypothesis$ = あのＢＣＧ既接種者はカテーテルであるということはない ; $proof$ = 
fact21 & fact2 -> int1: あの同作品は最もらしい; void -> assump1: 以下のように仮定する。「あの同作品は端材だ」ということは事実だ; int1 & assump1 -> int2: あの同作品は最もらしいし端材だ; int2 & fact24 -> int3: あの同作品はめぼしいということはない; fact5 & fact11 -> int4: あの同作品はめぼしい; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あの同作品は端材でない」ということは成り立つ; int6 & fact20 -> int7: あの同作品はつれなくないがしかしそれはばら売りする; int7 & fact10 -> 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: もしあの同作品は最もらしいし端材なら「めぼしいということはない」ということは本当だ
事実25: あのオフィスアプリケーションがつれないしばら売りするとすると端材でない
事実26: あの同作品はちょん切らない

仮説: あのＢＣＧ既接種者はカテーテルであるということはない
1. 事実21と事実2から、推論1: "あの同作品は最もらしい"が導かれる
2. 仮定1: 以下のように仮定する。「あの同作品は端材だ」ということは事実だ
3. 推論1と仮定1から、推論2: "あの同作品は最もらしいし端材だ"が導かれる
4. 推論2と事実24から、推論3: "あの同作品はめぼしいということはない"が導かれる
5. 事実5と事実11から、推論4: "あの同作品はめぼしい"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「あの同作品は端材でない」ということは成り立つ"が導かれる
8. 推論6と事実20から、推論7: "あの同作品はつれなくないがしかしそれはばら売りする"が導かれる
9. 推論7と事実10から、仮説が否定される

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