そのシーン名はメール送信フォームだ
fact1: 仮に「なんらかの物は自分らしくないかまたはステロイドでないかまたはどちらもである」ということは成り立たないならばそれは感染し易い fact2: そのシーン名が出発出来るならそれは感染し易い fact3: そのシーン名は感染し易い fact4: この師僧はステロイドであるなら体得する fact5: もし仮に「そのシーン名は揺すり始めるしかつ前掲だ」ということは本当であるなら「冗談っぽくない」ということは成り立つ fact6: そのシーン名は出発出来るとすると「それは安全圏だということはないかまたはそれは感染し易くないか両方ともだ」ということは間違っている fact7: この妻子は感染し易い fact8: 仮に「そのシーン名は安全圏でないかもしくは感染し易い」ということは間違っているとしたら「それはステロイドである」ということは成り立つ fact9: 仮に「なにがしかの物は安全圏でないかもしくはそれは感染し易くない」ということは誤りだとしたらそれはステロイドだ fact10: そのシーン名は思さない fact11: そのシーン名は愚考するがそれは自分らしくない fact12: 「そのシーン名は出発出来る」ということは確かである fact13: そのシーン名が建築資金だしそれに下さる fact14: もしなんらかの物は体得するしステロイドであるとしたらメール送信フォームでない fact15: もしも「何らかの物は自分らしくないかそれは感染し易いということはない」ということは成り立たないとすればそれは愚考する fact16: 仮にとある物が愚考するとすればそれは体得する fact17: 「この化石は思す」ということは事実である fact18: そのシーン名は自分らしいということはない
fact11 -> int1: そのシーン名は愚考する; fact16 -> int2: もし仮にそのシーン名が愚考するとしたらそれは体得する; int1 & int2 -> int3: そのシーン名は体得する; fact6 & fact12 -> int4: 「そのシーン名は安全圏でないかあるいはそれは感染し易くないかもしくは両方ともだ」ということは誤りだ; fact9 -> int5: もしも「そのシーン名は安全圏であるということはないか感染し易くないかもしくはどちらもである」ということは成り立たないならばそれはステロイドだ; int4 & int5 -> int6: そのシーン名はステロイドだ; int3 & int6 -> int7: そのシーン名は体得するしステロイドだ; fact14 -> int8: もし仮にそのシーン名が体得するしそれがステロイドならメール送信フォームでない; int7 & int8 -> hypothesis;
そのシーン名はメール送信フォームだ
$facts$ = fact1: 仮に「なんらかの物は自分らしくないかまたはステロイドでないかまたはどちらもである」ということは成り立たないならばそれは感染し易い fact2: そのシーン名が出発出来るならそれは感染し易い fact3: そのシーン名は感染し易い fact4: この師僧はステロイドであるなら体得する fact5: もし仮に「そのシーン名は揺すり始めるしかつ前掲だ」ということは本当であるなら「冗談っぽくない」ということは成り立つ fact6: そのシーン名は出発出来るとすると「それは安全圏だということはないかまたはそれは感染し易くないか両方ともだ」ということは間違っている fact7: この妻子は感染し易い fact8: 仮に「そのシーン名は安全圏でないかもしくは感染し易い」ということは間違っているとしたら「それはステロイドである」ということは成り立つ fact9: 仮に「なにがしかの物は安全圏でないかもしくはそれは感染し易くない」ということは誤りだとしたらそれはステロイドだ fact10: そのシーン名は思さない fact11: そのシーン名は愚考するがそれは自分らしくない fact12: 「そのシーン名は出発出来る」ということは確かである fact13: そのシーン名が建築資金だしそれに下さる fact14: もしなんらかの物は体得するしステロイドであるとしたらメール送信フォームでない fact15: もしも「何らかの物は自分らしくないかそれは感染し易いということはない」ということは成り立たないとすればそれは愚考する fact16: 仮にとある物が愚考するとすればそれは体得する fact17: 「この化石は思す」ということは事実である fact18: そのシーン名は自分らしいということはない ; $hypothesis$ = そのシーン名はメール送信フォームだ ; $proof$ = 
fact11 -> int1: そのシーン名は愚考する; fact16 -> int2: もし仮にそのシーン名が愚考するとしたらそれは体得する; int1 & int2 -> int3: そのシーン名は体得する; fact6 & fact12 -> int4: 「そのシーン名は安全圏でないかあるいはそれは感染し易くないかもしくは両方ともだ」ということは誤りだ; fact9 -> int5: もしも「そのシーン名は安全圏であるということはないか感染し易くないかもしくはどちらもである」ということは成り立たないならばそれはステロイドだ; int4 & int5 -> int6: そのシーン名はステロイドだ; int3 & int6 -> int7: そのシーン名は体得するしステロイドだ; fact14 -> int8: もし仮にそのシーン名が体得するしそれがステロイドならメール送信フォームでない; int7 & int8 -> hypothesis; __DISPROVED__
事実1: 仮に「なんらかの物は自分らしくないかまたはステロイドでないかまたはどちらもである」ということは成り立たないならばそれは感染し易い
事実2: そのシーン名が出発出来るならそれは感染し易い
事実3: そのシーン名は感染し易い
事実4: この師僧はステロイドであるなら体得する
事実5: もし仮に「そのシーン名は揺すり始めるしかつ前掲だ」ということは本当であるなら「冗談っぽくない」ということは成り立つ
事実6: そのシーン名は出発出来るとすると「それは安全圏だということはないかまたはそれは感染し易くないか両方ともだ」ということは間違っている
事実7: この妻子は感染し易い
事実8: 仮に「そのシーン名は安全圏でないかもしくは感染し易い」ということは間違っているとしたら「それはステロイドである」ということは成り立つ
事実9: 仮に「なにがしかの物は安全圏でないかもしくはそれは感染し易くない」ということは誤りだとしたらそれはステロイドだ
事実10: そのシーン名は思さない
事実11: そのシーン名は愚考するがそれは自分らしくない
事実12: 「そのシーン名は出発出来る」ということは確かである
事実13: そのシーン名が建築資金だしそれに下さる
事実14: もしなんらかの物は体得するしステロイドであるとしたらメール送信フォームでない
事実15: もしも「何らかの物は自分らしくないかそれは感染し易いということはない」ということは成り立たないとすればそれは愚考する
事実16: 仮にとある物が愚考するとすればそれは体得する
事実17: 「この化石は思す」ということは事実である
事実18: そのシーン名は自分らしいということはない

仮説: そのシーン名はメール送信フォームだ
1. 事実11から、推論1: "そのシーン名は愚考する"が導かれる
2. 事実16から、推論2: "もし仮にそのシーン名が愚考するとしたらそれは体得する"が導かれる
3. 推論1と推論2から、推論3: "そのシーン名は体得する"が導かれる
4. 事実6と事実12から、推論4: "「そのシーン名は安全圏でないかあるいはそれは感染し易くないかもしくは両方ともだ」ということは誤りだ"が導かれる
5. 事実9から、推論5: "もしも「そのシーン名は安全圏であるということはないか感染し易くないかもしくはどちらもである」ということは成り立たないならばそれはステロイドだ"が導かれる
6. 推論4と推論5から、推論6: "そのシーン名はステロイドだ"が導かれる
7. 推論3と推論6から、推論7: "そのシーン名は体得するしステロイドだ"が導かれる
8. 事実14から、推論8: "もし仮にそのシーン名が体得するしそれがステロイドならメール送信フォームでない"が導かれる
9. 推論7と推論8から、仮説が否定される

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