このスキンケア方法は水っぽくない
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: 「如己堂でない」物はある
fact17 & fact21 -> int1: この平準は探り出さない; int1 & fact9 -> int2: あの応用Ｑは油抜きするかそれは探り出す; int2 & fact8 & fact4 -> int3: このスキンケア方法は配流する; fact2 -> int4: もしもこのスキンケア方法が配流するなら水っぽい; int3 & int4 -> hypothesis;
このスキンケア方法は水っぽくない
fact32 -> int5: もしこの近赤外線は繁栄し続けるしまたたどたどしいならば折り上げない; fact27 -> int6: 「もし仮にこの近赤外線が由々しいとするとこの近赤外線はたどたどしい」ということは成り立つ; fact29 & fact26 -> int7: このインテークは予定取り引きであるか辞書であるかもしくはどちらもだ; int7 & fact30 & fact31 -> int8: この近赤外線は由々しい; int6 & int8 -> int9: この近赤外線はたどたどしい; fact34 & int9 -> int10: この近赤外線は繁栄し続けるしそれはたどたどしい; int5 & int10 -> int11: この近赤外線は折り上げない; int11 -> int12: 「「折り上げない」ということは正しい」ものはある; int12 & fact33 -> int13: あの応用Ｑは差し切らないけど恨めしい; fact28 & int13 -> int14: この平準は油抜きしない;
$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: 「如己堂でない」物はある ; $hypothesis$ = このスキンケア方法は水っぽくない ; $proof$ = 
fact17 & fact21 -> int1: この平準は探り出さない; int1 & fact9 -> int2: あの応用Ｑは油抜きするかそれは探り出す; int2 & fact8 & fact4 -> int3: このスキンケア方法は配流する; fact2 -> int4: もしもこのスキンケア方法が配流するなら水っぽい; int3 & int4 -> 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: 「如己堂でない」物はある

仮説: このスキンケア方法は水っぽくない
1. 事実17と事実21から、推論1: "この平準は探り出さない"が導かれる
2. 推論1と事実9から、推論2: "あの応用Ｑは油抜きするかそれは探り出す"が導かれる
3. 推論2と事実8と事実4から、推論3: "このスキンケア方法は配流する"が導かれる
4. 事実2から、推論4: "もしもこのスキンケア方法が配流するなら水っぽい"が導かれる
5. 推論3と推論4から、仮説が否定される

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