この消臭剤は株式会社キーズファクトリーでない
fact1: この当館は新規形状パレットである fact2: この当館は上級訓練でない fact3: 何らかのものが上級訓練でないがそれは擦り剥けるとすれば「それは仰向かない」ということは確かである fact4: 仮にあの西正面はマップチャンネルでないならば「その滝尾神社は上級訓練であるしおまけに仰向く」ということは偽だ fact5: この当館は十三種類だということはなくてつれなくない fact6: もしなにがしかの物が擦り剥けるし上級訓練であるとするとマップチャンネルでない fact7: 仮にこの消臭剤が仰向かないし更に株式会社キーズファクトリーでないとすればその滝尾神社はマップチャンネルである fact8: 仮にあの西正面が擦り剥けないしかつ上級訓練でないとしたらこの消臭剤はマップチャンネルである fact9: この換気口は応神記でそれは上級訓練だ fact10: その滝尾神社が仰向くということはないとすればあの当館は結合し易い fact11: 「あの西正面はマップチャンネルだし加えてそれは中年以降だ」ということは誤っている fact12: その滝尾神社は擦り剥ける fact13: この当館は結合し易いし擦り剥ける fact14: この当館は中年以降でなくておまけに非行問題でない fact15: この当館が擦り剥けるとしたらこの消臭剤は上級訓練でないけれど擦り剥ける fact16: あの西正面は総力でないなら「マップチャンネルでない」ということは確かである fact17: もし「あの西正面はマップチャンネルだしそれに中年以降である」ということは成り立たないとしたらその滝尾神社はマップチャンネルでない fact18: 「「広域化するし中年以降だ」ということは嘘である」ものはある fact19: 「その滝尾神社は軍隊用語でしかもそれは武田家滅亡だ」ということは成り立つということはない fact20: 「あの西正面は株式会社キーズファクトリーであるしさらに血塗る」ということは成り立たない fact21: 「この消臭剤は近代五輪だ」ということは間違っているということはない
fact13 -> int1: この当館は擦り剥ける; int1 & fact15 -> int2: この消臭剤は上級訓練でない一方で擦り剥ける; fact3 -> int3: この消臭剤は上級訓練でないがしかし擦り剥けるとすれば仰向かない; int2 & int3 -> int4: この消臭剤は仰向かない; void -> assump1: 以下のように仮定する。この消臭剤は株式会社キーズファクトリーでない; int4 & assump1 -> int5: この消臭剤は仰向かないしまたそれは株式会社キーズファクトリーでない; int5 & fact7 -> int6: その滝尾神社はマップチャンネルだ; fact11 & fact17 -> int7: その滝尾神社はマップチャンネルでない; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
「この消臭剤は株式会社キーズファクトリーでない」ということは本当である
$facts$ = fact1: この当館は新規形状パレットである fact2: この当館は上級訓練でない fact3: 何らかのものが上級訓練でないがそれは擦り剥けるとすれば「それは仰向かない」ということは確かである fact4: 仮にあの西正面はマップチャンネルでないならば「その滝尾神社は上級訓練であるしおまけに仰向く」ということは偽だ fact5: この当館は十三種類だということはなくてつれなくない fact6: もしなにがしかの物が擦り剥けるし上級訓練であるとするとマップチャンネルでない fact7: 仮にこの消臭剤が仰向かないし更に株式会社キーズファクトリーでないとすればその滝尾神社はマップチャンネルである fact8: 仮にあの西正面が擦り剥けないしかつ上級訓練でないとしたらこの消臭剤はマップチャンネルである fact9: この換気口は応神記でそれは上級訓練だ fact10: その滝尾神社が仰向くということはないとすればあの当館は結合し易い fact11: 「あの西正面はマップチャンネルだし加えてそれは中年以降だ」ということは誤っている fact12: その滝尾神社は擦り剥ける fact13: この当館は結合し易いし擦り剥ける fact14: この当館は中年以降でなくておまけに非行問題でない fact15: この当館が擦り剥けるとしたらこの消臭剤は上級訓練でないけれど擦り剥ける fact16: あの西正面は総力でないなら「マップチャンネルでない」ということは確かである fact17: もし「あの西正面はマップチャンネルだしそれに中年以降である」ということは成り立たないとしたらその滝尾神社はマップチャンネルでない fact18: 「「広域化するし中年以降だ」ということは嘘である」ものはある fact19: 「その滝尾神社は軍隊用語でしかもそれは武田家滅亡だ」ということは成り立つということはない fact20: 「あの西正面は株式会社キーズファクトリーであるしさらに血塗る」ということは成り立たない fact21: 「この消臭剤は近代五輪だ」ということは間違っているということはない ; $hypothesis$ = この消臭剤は株式会社キーズファクトリーでない ; $proof$ = 
fact13 -> int1: この当館は擦り剥ける; int1 & fact15 -> int2: この消臭剤は上級訓練でない一方で擦り剥ける; fact3 -> int3: この消臭剤は上級訓練でないがしかし擦り剥けるとすれば仰向かない; int2 & int3 -> int4: この消臭剤は仰向かない; void -> assump1: 以下のように仮定する。この消臭剤は株式会社キーズファクトリーでない; int4 & assump1 -> int5: この消臭剤は仰向かないしまたそれは株式会社キーズファクトリーでない; int5 & fact7 -> int6: その滝尾神社はマップチャンネルだ; fact11 & fact17 -> int7: その滝尾神社はマップチャンネルでない; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: この当館は新規形状パレットである
事実2: この当館は上級訓練でない
事実3: 何らかのものが上級訓練でないがそれは擦り剥けるとすれば「それは仰向かない」ということは確かである
事実4: 仮にあの西正面はマップチャンネルでないならば「その滝尾神社は上級訓練であるしおまけに仰向く」ということは偽だ
事実5: この当館は十三種類だということはなくてつれなくない
事実6: もしなにがしかの物が擦り剥けるし上級訓練であるとするとマップチャンネルでない
事実7: 仮にこの消臭剤が仰向かないし更に株式会社キーズファクトリーでないとすればその滝尾神社はマップチャンネルである
事実8: 仮にあの西正面が擦り剥けないしかつ上級訓練でないとしたらこの消臭剤はマップチャンネルである
事実9: この換気口は応神記でそれは上級訓練だ
事実10: その滝尾神社が仰向くということはないとすればあの当館は結合し易い
事実11: 「あの西正面はマップチャンネルだし加えてそれは中年以降だ」ということは誤っている
事実12: その滝尾神社は擦り剥ける
事実13: この当館は結合し易いし擦り剥ける
事実14: この当館は中年以降でなくておまけに非行問題でない
事実15: この当館が擦り剥けるとしたらこの消臭剤は上級訓練でないけれど擦り剥ける
事実16: あの西正面は総力でないなら「マップチャンネルでない」ということは確かである
事実17: もし「あの西正面はマップチャンネルだしそれに中年以降である」ということは成り立たないとしたらその滝尾神社はマップチャンネルでない
事実18: 「「広域化するし中年以降だ」ということは嘘である」ものはある
事実19: 「その滝尾神社は軍隊用語でしかもそれは武田家滅亡だ」ということは成り立つということはない
事実20: 「あの西正面は株式会社キーズファクトリーであるしさらに血塗る」ということは成り立たない
事実21: 「この消臭剤は近代五輪だ」ということは間違っているということはない

仮説: この消臭剤は株式会社キーズファクトリーでない
1. 事実13から、推論1: "この当館は擦り剥ける"が導かれる
2. 推論1と事実15から、推論2: "この消臭剤は上級訓練でない一方で擦り剥ける"が導かれる
3. 事実3から、推論3: "この消臭剤は上級訓練でないがしかし擦り剥けるとすれば仰向かない"が導かれる
4. 推論2と推論3から、推論4: "この消臭剤は仰向かない"が導かれる
5. 仮定1: 以下のように仮定する。この消臭剤は株式会社キーズファクトリーでない
6. 推論4と仮定1から、推論5: "この消臭剤は仰向かないしまたそれは株式会社キーズファクトリーでない"が導かれる
7. 推論5と事実7から、推論6: "その滝尾神社はマップチャンネルだ"が導かれる
8. 事実11と事実17から、推論7: "その滝尾神社はマップチャンネルでない"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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