この塩ビはなあくないがそれは触知出来る
fact1: もしもその微妙さがサタンでないならばこの若人がサタンだけどそれはなあくない fact2: もしも「このミディアムは増え方でないしおまけに戦死傷者でない」ということは真実だとしたらあのアロマはばあかしい fact3: もし仮に「その瑕疵修補請求は中毒する」ということは本当であるならあのアロマはばあかしかないしまた小暗くない fact4: このミディアムは増え方でないしおまけに戦死傷者でない fact5: このミディアムは戦死傷者であるということはない fact6: その瑕疵修補請求はなあいとするとこの塩ビはなあくない fact7: もしもあのアロマが増え方でなくてなあくないとすればその瑕疵修補請求はなあい fact8: 仮にこの若人はなあくないとすれば「この塩ビはなあくないがしかし触知出来る」ということは偽だ fact9: 仮にその瑕疵修補請求が中毒しないとしたらその微妙さはサタンでない
void -> assump1: 以下のように仮定する。その瑕疵修補請求は中毒する; fact3 & assump1 -> int1: あのアロマはばあかしかないししかも小暗くない; int1 -> int2: あのアロマはばあかしかない; fact2 & fact4 -> int3: あのアロマはばあかしい; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その瑕疵修補請求は中毒しない」ということは正しい; int5 & fact9 -> int6: その微妙さはサタンでない; int6 & fact1 -> int7: 「この若人はサタンであるがしかしなあくない」ということは成り立つ; int7 -> int8: この若人はなあいということはない; int8 & fact8 -> hypothesis;
この塩ビはなあくないけど触知出来る
$facts$ = fact1: もしもその微妙さがサタンでないならばこの若人がサタンだけどそれはなあくない fact2: もしも「このミディアムは増え方でないしおまけに戦死傷者でない」ということは真実だとしたらあのアロマはばあかしい fact3: もし仮に「その瑕疵修補請求は中毒する」ということは本当であるならあのアロマはばあかしかないしまた小暗くない fact4: このミディアムは増え方でないしおまけに戦死傷者でない fact5: このミディアムは戦死傷者であるということはない fact6: その瑕疵修補請求はなあいとするとこの塩ビはなあくない fact7: もしもあのアロマが増え方でなくてなあくないとすればその瑕疵修補請求はなあい fact8: 仮にこの若人はなあくないとすれば「この塩ビはなあくないがしかし触知出来る」ということは偽だ fact9: 仮にその瑕疵修補請求が中毒しないとしたらその微妙さはサタンでない ; $hypothesis$ = この塩ビはなあくないがそれは触知出来る ; $proof$ = 
void -> assump1: 以下のように仮定する。その瑕疵修補請求は中毒する; fact3 & assump1 -> int1: あのアロマはばあかしかないししかも小暗くない; int1 -> int2: あのアロマはばあかしかない; fact2 & fact4 -> int3: あのアロマはばあかしい; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その瑕疵修補請求は中毒しない」ということは正しい; int5 & fact9 -> int6: その微妙さはサタンでない; int6 & fact1 -> int7: 「この若人はサタンであるがしかしなあくない」ということは成り立つ; int7 -> int8: この若人はなあいということはない; int8 & fact8 -> hypothesis; __DISPROVED__
事実1: もしもその微妙さがサタンでないならばこの若人がサタンだけどそれはなあくない
事実2: もしも「このミディアムは増え方でないしおまけに戦死傷者でない」ということは真実だとしたらあのアロマはばあかしい
事実3: もし仮に「その瑕疵修補請求は中毒する」ということは本当であるならあのアロマはばあかしかないしまた小暗くない
事実4: このミディアムは増え方でないしおまけに戦死傷者でない
事実5: このミディアムは戦死傷者であるということはない
事実6: その瑕疵修補請求はなあいとするとこの塩ビはなあくない
事実7: もしもあのアロマが増え方でなくてなあくないとすればその瑕疵修補請求はなあい
事実8: 仮にこの若人はなあくないとすれば「この塩ビはなあくないがしかし触知出来る」ということは偽だ
事実9: 仮にその瑕疵修補請求が中毒しないとしたらその微妙さはサタンでない

仮説: この塩ビはなあくないがそれは触知出来る
1. 仮定1: 以下のように仮定する。その瑕疵修補請求は中毒する
2. 事実3と仮定1から、推論1: "あのアロマはばあかしかないししかも小暗くない"が導かれる
3. 推論1から、推論2: "あのアロマはばあかしかない"が導かれる
4. 事実2と事実4から、推論3: "あのアロマはばあかしい"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「その瑕疵修補請求は中毒しない」ということは正しい"が導かれる
7. 推論5と事実9から、推論6: "その微妙さはサタンでない"が導かれる
8. 推論6と事実1から、推論7: "「この若人はサタンであるがしかしなあくない」ということは成り立つ"が導かれる
9. 推論7から、推論8: "この若人はなあいということはない"が導かれる
10. 推論8と事実8から、仮説が否定される

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