「このキャンプ・ファイアは色々しない」ということは正しい
fact1: もし仮にあのＩＧＭは踏み外さない一方で現われ易いとすれば悲しまない fact2: もし「このグリッド線はサーチ表である一方でそれは乾煎りしない」ということは成り立たないならこのキャンプ・ファイアは色々する fact3: 仮にこのグリッド線が知るとしたら恨みがましい fact4: このグリッド線は知らないとすれば「サーチ表だし乾煎りする」ということは誤りである fact5: もしも「このキャンプ・ファイアは踏み外さないが真っ暗い」ということは偽ならばそれは現われ易いということはない fact6: このグリッド線は恨みがましかない fact7: もし仮に「このキャンプ・ファイアは送り状でないがそれは悲しむ」ということは誤りであるとするとそれは送り状である fact8: もしも「このグリッド線が恨みはましくらなくてかつ知るということはない」ということは誤っているとしたらこのキャンプ・ファイアは色々しない fact9: もし仮に何らかの物は現われ易くないならば「それは送り状でなくておまけにそれは悲しむ」ということは成り立たない fact10: 鎖帷子は知るけれど四文銭であるということはない fact11: その事件史は真っ暗い fact12: もしも「何らかの物は乾煎りする一方でそれは色々しない」ということは真実でないとすると「それはサーチ表である」ということは成り立つ fact13: 「このキャンプ・ファイアは鎖帷子でないしさらにそれは邪魔臭くない」ということは偽である fact14: 仮にあのＩＧＭは悲しまないとすると「「それは送り状だし鎖帷子だ」ということは本当である」ということは間違いである fact15: このグリッド線は知らないとすると「サーチ表であるしそれは乾煎りしない」ということは事実と異なる fact16: 仮にとあるものは送り状であるなら「乾煎りするし色々するということはない」ということは成り立たない fact17: もしその第四章参照は乾煎りするとすると「このグリッド線はサーチ表でない」ということは正しい fact18: なにがしかのものが送り状でないならば乾煎りするしかつ四文銭だ fact19: このグリッド線は滑降する fact20: 仮にその事件史が真っ暗いとすればあのＩＧＭは踏み外さないがしかし現われ易い fact21: そのショーツは知らない fact22: もし仮に「このグリッド線は滑降する」ということは本当であるとしたら「このキャンプ・ファイアは踏み外さないがしかし真っ暗い」ということは偽である fact23: もしも「なにがしかのものは鎖帷子でないし邪魔臭くない」ということは成り立たないなら「それは鎖帷子だ」ということは成り立つ
void -> assump1: 以下のように仮定する。「このグリッド線は知る」ということは成り立つ; fact3 & assump1 -> int1: このグリッド線は恨みがましい; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> int3: このグリッド線は知らない; int3 & fact15 -> int4: 「このグリッド線はサーチ表だがしかしそれは乾煎りするということはない」ということは成り立たない; int4 & fact2 -> hypothesis;
このキャンプ・ファイアは恨みがましかない
fact33 -> int5: 「このキャンプ・ファイアは乾煎りするがそれは色々しない」ということは嘘であるならばサーチ表だ; fact24 -> int6: もしもこのキャンプ・ファイアは送り状であるならば「乾煎りするしそれは色々するということはない」ということは成り立たない; fact31 -> int7: もし仮にこのキャンプ・ファイアは現われ易くないとすれば「送り状でなくてかつ悲しむ」ということは成り立たない; fact27 & fact25 -> int8: 「このキャンプ・ファイアは踏み外さないが真っ暗い」ということは間違っている; fact28 & int8 -> int9: このキャンプ・ファイアは現われ易いということはない; int7 & int9 -> int10: 「「このキャンプ・ファイアは送り状でないけど悲しむ」ということは成り立つ」ということは間違いである; fact30 & int10 -> int11: このキャンプ・ファイアは送り状だ; int6 & int11 -> int12: 「このキャンプ・ファイアは乾煎りする一方で色々しない」ということは間違いである; int5 & int12 -> int13: このキャンプ・ファイアはサーチ表だ; fact26 -> int14: このキャンプ・ファイアが鎖帷子だとしたらそれは知るししかも四文銭であるということはない; fact29 -> int15: 仮に「このキャンプ・ファイアは鎖帷子だということはなくてまた邪魔臭くない」ということは間違いだとするとそれは鎖帷子だ; int15 & fact32 -> int16: このキャンプ・ファイアは鎖帷子だ; int14 & int16 -> int17: このキャンプ・ファイアは知るけれど四文銭でない; int17 -> int18: このキャンプ・ファイアは知る; int13 & int18 -> int19: このキャンプ・ファイアはサーチ表であるし知る;
$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$ = 
void -> assump1: 以下のように仮定する。「このグリッド線は知る」ということは成り立つ; fact3 & assump1 -> int1: このグリッド線は恨みがましい; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> int3: このグリッド線は知らない; int3 & fact15 -> int4: 「このグリッド線はサーチ表だがしかしそれは乾煎りするということはない」ということは成り立たない; int4 & fact2 -> 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. 仮定1: 以下のように仮定する。「このグリッド線は知る」ということは成り立つ
2. 事実3と仮定1から、推論1: "このグリッド線は恨みがましい"が導かれる
3. 推論1と事実6から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "このグリッド線は知らない"が導かれる
5. 推論3と事実15から、推論4: "「このグリッド線はサーチ表だがしかしそれは乾煎りするということはない」ということは成り立たない"が導かれる
6. 推論4と事実2から、仮説が否定される

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