この階下は無し
fact1: この不適合製品は無し fact2: もしあの諸政治勢力は非決定性オートマトンであるとすると「「この階下はリストカットしなくて湿っぽくない」ということは本当だ」ということは成り立たない fact3: 「この階下は非決定性オートマトンだ一方でそれは湿っぽくない」ということは事実と異なる fact4: 「非決定性オートマトンは無しないかあるいは絞り止めしないかまたは両方である」ということは本当だ fact5: 仮になんらかの物は無しないか絞り止めするということはないかあるいはどちらもであるとすれば無しない fact6: あの諸政治勢力は非決定性オートマトンである fact7: もしもあの諸政治勢力が非決定性オートマトンだとしたらそれは湿っぽい fact8: 御宜しくない物は非決定性オートマトンであるし更に製品群Ｂである fact9: 「この階下は御呼び出すがしかし湿っぽくない」ということは正しくない fact10: もしもこの階下は非決定性オートマトンなら「あの諸政治勢力は無しないしまたリストカットしない」ということは事実と異なる fact11: 「あの諸政治勢力はリストカットしなくて非決定性オートマトンでない」ということは偽である fact12: 「もしこの階下は湿っぽいとすると「あの諸政治勢力は無しが非決定性オートマトンでない」ということは成り立たない」ということは本当だ fact13: 「あの諸政治勢力は湿っぽいということはないししかも非決定性オートマトンでない」ということは誤りである fact14: この発注先はリストカットする fact15: もし仮に「この階下はリストカットしなくてかつ湿っぽくない」ということは成り立たないとすればそれは無し fact16: あの諸政治勢力はリストカットする fact17: 「あの諸政治勢力は非決定性オートマトンだけれど湿っぽくない」ということは成り立たない fact18: もしもこの階下は非決定性オートマトンであるとすると「「あの諸政治勢力は湿っぽい一方でリストカットするということはない」ということは間違いだ」ということは事実だ
fact2 & fact6 -> int1: 「この階下はリストカットしなくてその上湿っぽいということはない」ということは成り立たない; int1 & fact15 -> hypothesis;
この階下は無しない
fact19 -> int2: この階下が無しないかもしくは絞り止めするということはないとすればそれは無しない; fact20 -> int3: もしもこの階下が非決定性オートマトンであるならそれは無しないかもしくは絞り止めしないかあるいはどちらもだ; fact21 -> int4: 仮にこの階下が御宜しくないとすればそれは非決定性オートマトンであるしその上製品群Ｂである;
$facts$ = fact1: この不適合製品は無し fact2: もしあの諸政治勢力は非決定性オートマトンであるとすると「「この階下はリストカットしなくて湿っぽくない」ということは本当だ」ということは成り立たない fact3: 「この階下は非決定性オートマトンだ一方でそれは湿っぽくない」ということは事実と異なる fact4: 「非決定性オートマトンは無しないかあるいは絞り止めしないかまたは両方である」ということは本当だ fact5: 仮になんらかの物は無しないか絞り止めするということはないかあるいはどちらもであるとすれば無しない fact6: あの諸政治勢力は非決定性オートマトンである fact7: もしもあの諸政治勢力が非決定性オートマトンだとしたらそれは湿っぽい fact8: 御宜しくない物は非決定性オートマトンであるし更に製品群Ｂである fact9: 「この階下は御呼び出すがしかし湿っぽくない」ということは正しくない fact10: もしもこの階下は非決定性オートマトンなら「あの諸政治勢力は無しないしまたリストカットしない」ということは事実と異なる fact11: 「あの諸政治勢力はリストカットしなくて非決定性オートマトンでない」ということは偽である fact12: 「もしこの階下は湿っぽいとすると「あの諸政治勢力は無しが非決定性オートマトンでない」ということは成り立たない」ということは本当だ fact13: 「あの諸政治勢力は湿っぽいということはないししかも非決定性オートマトンでない」ということは誤りである fact14: この発注先はリストカットする fact15: もし仮に「この階下はリストカットしなくてかつ湿っぽくない」ということは成り立たないとすればそれは無し fact16: あの諸政治勢力はリストカットする fact17: 「あの諸政治勢力は非決定性オートマトンだけれど湿っぽくない」ということは成り立たない fact18: もしもこの階下は非決定性オートマトンであるとすると「「あの諸政治勢力は湿っぽい一方でリストカットするということはない」ということは間違いだ」ということは事実だ ; $hypothesis$ = この階下は無し ; $proof$ = 
fact2 & fact6 -> int1: 「この階下はリストカットしなくてその上湿っぽいということはない」ということは成り立たない; int1 & fact15 -> hypothesis; __PROVED__
事実1: この不適合製品は無し
事実2: もしあの諸政治勢力は非決定性オートマトンであるとすると「「この階下はリストカットしなくて湿っぽくない」ということは本当だ」ということは成り立たない
事実3: 「この階下は非決定性オートマトンだ一方でそれは湿っぽくない」ということは事実と異なる
事実4: 「非決定性オートマトンは無しないかあるいは絞り止めしないかまたは両方である」ということは本当だ
事実5: 仮になんらかの物は無しないか絞り止めするということはないかあるいはどちらもであるとすれば無しない
事実6: あの諸政治勢力は非決定性オートマトンである
事実7: もしもあの諸政治勢力が非決定性オートマトンだとしたらそれは湿っぽい
事実8: 御宜しくない物は非決定性オートマトンであるし更に製品群Ｂである
事実9: 「この階下は御呼び出すがしかし湿っぽくない」ということは正しくない
事実10: もしもこの階下は非決定性オートマトンなら「あの諸政治勢力は無しないしまたリストカットしない」ということは事実と異なる
事実11: 「あの諸政治勢力はリストカットしなくて非決定性オートマトンでない」ということは偽である
事実12: 「もしこの階下は湿っぽいとすると「あの諸政治勢力は無しが非決定性オートマトンでない」ということは成り立たない」ということは本当だ
事実13: 「あの諸政治勢力は湿っぽいということはないししかも非決定性オートマトンでない」ということは誤りである
事実14: この発注先はリストカットする
事実15: もし仮に「この階下はリストカットしなくてかつ湿っぽくない」ということは成り立たないとすればそれは無し
事実16: あの諸政治勢力はリストカットする
事実17: 「あの諸政治勢力は非決定性オートマトンだけれど湿っぽくない」ということは成り立たない
事実18: もしもこの階下は非決定性オートマトンであるとすると「「あの諸政治勢力は湿っぽい一方でリストカットするということはない」ということは間違いだ」ということは事実だ

仮説: この階下は無し
1. 事実2と事実6から、推論1: "「この階下はリストカットしなくてその上湿っぽいということはない」ということは成り立たない"が導かれる
2. 推論1と事実15から、仮説が導かれる

よって、仮説が証明されました。