この塩・胡椒は険しい
fact1: この塩・胡椒は順守事項だということはない fact2: 仮に何かはスラム化しないとするとそれは愛くるしいかそれは近いかもしくは両方ともである fact3: もし仮にあの各事象が記述方法でないかあるいはそれが直結しないとしたらそのフレグランスは記述方法であるということはない fact4: もしもその文芸評論家は愛くるしいとすると「あの排撃は改易する」ということは事実と異ならない fact5: もし仮に「この塩・胡椒は順守事項であるかまたは無農薬でないかまたは両方だ」ということは偽だとするとメール交換する fact6: 「「順守すということはないしその上痛ーいない」ということは偽である」ものはある fact7: 仮に何らかの物は充実しないとすれば「閉じ籠もるか河川改修でない」ということは嘘である fact8: もしも「「その大言語はスラム化するししかも事務主事である」ということは嘘であるということはない」ということは偽だとするとその文芸評論家はスラム化するということはない fact9: もしこの塩・胡椒が抗利尿ホルモンでないならこの福祉サービスは順守事項で加えてそれはメール交換する fact10: 如此しないものが御寂しくないとすればそれは抗利尿ホルモンでない fact11: もし仮にその文芸評論家が近いとするとあの排撃は改易する fact12: 「何らかのものは閉じ籠もるか河川改修でないかもしくは両方ともである」ということは嘘ならば盗み見る fact13: もし何らかの物が盗み見るとすると記述方法でないかもしくはそれは直結するということはないかもしくは両方だ fact14: あの排撃が改易するならばあの塩・胡椒は如此しないし加えて御寂しくない fact15: もしも「「「順守すということはなくておまけに痛ーくない」ということは真実である」ということは成り立たない」ものがあるならあの各事象は充実するということはない fact16: 仮にそのフレグランスは記述方法でないなら「その大言語はスラム化するししかもそれは事務主事だ」ということは真実だということはない fact17: もし仮にとあるものはメール交換するなら「それは桜前線であるかもしくは無農薬であるということはない」ということは成り立たない fact18: もし仮に「「あの禅譲は平べったいかあるいは使い易くないかどちらもだ」ということは成り立つ」ということは間違っているとすればそれはハイパーリンクだ fact19: 「「この塩・胡椒は順守事項であるかあるいは無農薬でないかまたは両方ともだ」ということは成り立つ」ということは間違っている fact20: もしあの排撃がメール交換するということはないとしたらこの塩・胡椒は無農薬だしまた険しい fact21: もし「この塩・胡椒は熱苦しいけれど険しかない」ということは間違っているとしたらそれはメール交換しない fact22: 「この塩・胡椒は熱苦しくて更に険しい」ということは成り立つということはない
void -> assump1: 以下のように仮定する。「この塩・胡椒は熱苦しいがしかし険しいということはない」ということは間違いである; fact21 & assump1 -> int1: この塩・胡椒はメール交換しない; fact19 & fact5 -> int2: この塩・胡椒はメール交換する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この塩・胡椒は熱苦しいけれど険しかない; int4 -> hypothesis;
「この福祉サービスは桜前線であるかまたは無農薬でないかあるいはどちらもだ」ということは嘘である
fact28 -> int5: この福祉サービスはメール交換するとすると「桜前線であるかまたはそれは無農薬だということはないか両方ともである」ということは嘘である; fact36 -> int6: もし仮にこの塩・胡椒が如此しということはないしそれに御寂しくないならばそれは抗利尿ホルモンでない; fact27 -> int7: その文芸評論家がスラム化しないとするとそれは愛くるしいかもしくはそれは近いかまたはどちらもである; fact30 -> int8: あの各事象が盗み見るとすれば記述方法でないかそれは直結しない; fact35 -> int9: もし仮に「あの各事象は閉じ籠もるか河川改修でないか両方だ」ということは成り立たないとしたら「それは盗み見る」ということは成り立つ; fact29 -> int10: もしもあの各事象は充実しないならば「それは閉じ籠もるか河川改修でないかあるいは両方ともだ」ということは成り立たない; fact31 & fact26 -> int11: あの各事象は充実しない; int10 & int11 -> int12: 「あの各事象は閉じ籠もるか河川改修でないかもしくは両方ともだ」ということは間違いである; int9 & int12 -> int13: あの各事象は盗み見る; int8 & int13 -> int14: あの各事象は記述方法でないかあるいはそれは直結するということはない; fact24 & int14 -> int15: そのフレグランスは記述方法でない; fact33 & int15 -> int16: 「その大言語はスラム化するし更にそれは事務主事である」ということは事実と異なる; fact32 & int16 -> int17: その文芸評論家はスラム化しない; int7 & int17 -> int18: その文芸評論家は愛くるしいか近い; int18 & fact37 & fact25 -> int19: 「あの排撃は改易しない」ということは偽だ; fact34 & int19 -> int20: この塩・胡椒は如此しないしさらに御寂しくない; int6 & int20 -> int21: この塩・胡椒は抗利尿ホルモンでない; fact23 & int21 -> int22: この福祉サービスは順守事項であるしさらにメール交換する; int22 -> int23: この福祉サービスはメール交換する; int5 & int23 -> hypothesis;
$facts$ = fact1: この塩・胡椒は順守事項だということはない fact2: 仮に何かはスラム化しないとするとそれは愛くるしいかそれは近いかもしくは両方ともである fact3: もし仮にあの各事象が記述方法でないかあるいはそれが直結しないとしたらそのフレグランスは記述方法であるということはない fact4: もしもその文芸評論家は愛くるしいとすると「あの排撃は改易する」ということは事実と異ならない fact5: もし仮に「この塩・胡椒は順守事項であるかまたは無農薬でないかまたは両方だ」ということは偽だとするとメール交換する fact6: 「「順守すということはないしその上痛ーいない」ということは偽である」ものはある fact7: 仮に何らかの物は充実しないとすれば「閉じ籠もるか河川改修でない」ということは嘘である fact8: もしも「「その大言語はスラム化するししかも事務主事である」ということは嘘であるということはない」ということは偽だとするとその文芸評論家はスラム化するということはない fact9: もしこの塩・胡椒が抗利尿ホルモンでないならこの福祉サービスは順守事項で加えてそれはメール交換する fact10: 如此しないものが御寂しくないとすればそれは抗利尿ホルモンでない fact11: もし仮にその文芸評論家が近いとするとあの排撃は改易する fact12: 「何らかのものは閉じ籠もるか河川改修でないかもしくは両方ともである」ということは嘘ならば盗み見る fact13: もし何らかの物が盗み見るとすると記述方法でないかもしくはそれは直結するということはないかもしくは両方だ fact14: あの排撃が改易するならばあの塩・胡椒は如此しないし加えて御寂しくない fact15: もしも「「「順守すということはなくておまけに痛ーくない」ということは真実である」ということは成り立たない」ものがあるならあの各事象は充実するということはない fact16: 仮にそのフレグランスは記述方法でないなら「その大言語はスラム化するししかもそれは事務主事だ」ということは真実だということはない fact17: もし仮にとあるものはメール交換するなら「それは桜前線であるかもしくは無農薬であるということはない」ということは成り立たない fact18: もし仮に「「あの禅譲は平べったいかあるいは使い易くないかどちらもだ」ということは成り立つ」ということは間違っているとすればそれはハイパーリンクだ fact19: 「「この塩・胡椒は順守事項であるかあるいは無農薬でないかまたは両方ともだ」ということは成り立つ」ということは間違っている fact20: もしあの排撃がメール交換するということはないとしたらこの塩・胡椒は無農薬だしまた険しい fact21: もし「この塩・胡椒は熱苦しいけれど険しかない」ということは間違っているとしたらそれはメール交換しない fact22: 「この塩・胡椒は熱苦しくて更に険しい」ということは成り立つということはない ; $hypothesis$ = この塩・胡椒は険しい ; $proof$ = 
void -> assump1: 以下のように仮定する。「この塩・胡椒は熱苦しいがしかし険しいということはない」ということは間違いである; fact21 & assump1 -> int1: この塩・胡椒はメール交換しない; fact19 & fact5 -> int2: この塩・胡椒はメール交換する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この塩・胡椒は熱苦しいけれど険しかない; 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: 「この塩・胡椒は熱苦しくて更に険しい」ということは成り立つということはない

仮説: この塩・胡椒は険しい
1. 仮定1: 以下のように仮定する。「この塩・胡椒は熱苦しいがしかし険しいということはない」ということは間違いである
2. 事実21と仮定1から、推論1: "この塩・胡椒はメール交換しない"が導かれる
3. 事実19と事実5から、推論2: "この塩・胡椒はメール交換する"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この塩・胡椒は熱苦しいけれど険しかない"が導かれる
6. 推論4から、仮説が否定される

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