あの艀卵器は走り過ぎる
fact1: とあるものが走り過ぎれば伊号である fact2: 「気取るししかも言語接触な」物はある fact3: 「あの艀卵器は人材流出だ」ということは確かだ fact4: 「この表決は歌舞伎っぽい」ということは確かだ fact5: あの艀卵器は思わす fact6: あの艀卵器はコミュニティーである fact7: この表決は蔗糖でないしまた無塩バターでない fact8: 仮に何らかのものは走り過ぎれば「無塩バターだ」ということは真実だ fact9: 全ては形式化するしそれは用い易い fact10: もし仮に「この表決は無塩バターだということはなくて走り過ぎない」ということは確かでないならあの艀卵器は走り過ぎる fact11: もし仮に「旨いし加えて伊号な」ものがあるならばあの尾久支部は科学的立場でない fact12: あの艀卵器は形式化する fact13: すべての物は形式化する fact14: あるものが無塩バターだしその上それが用い易いならこの表決は歌舞伎っぽくない fact15: もしもこの表決が無塩バターでないとしたらこの竜安寺は等しくて加えて用い易い fact16: あの艀卵器はいじましい
fact8 -> int1: あの艀卵器が走り過ぎればそれは無塩バターである; void -> assump1: 以下のように仮定する。あの艀卵器は走り過ぎる; int1 & assump1 -> int2: あの艀卵器は無塩バターである; fact9 -> int3: あの艀卵器は形式化するし用い易い; int3 -> int4: あの艀卵器は用い易い; int2 & int4 -> int5: あの艀卵器は無塩バターであるし用い易い; int5 -> int6: 「無塩バターで用い易い」ものはある; int6 & fact14 -> int7: この表決は歌舞伎っぽくない; int7 & fact4 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
あの艀卵器は走り過ぎる
$facts$ = fact1: とあるものが走り過ぎれば伊号である fact2: 「気取るししかも言語接触な」物はある fact3: 「あの艀卵器は人材流出だ」ということは確かだ fact4: 「この表決は歌舞伎っぽい」ということは確かだ fact5: あの艀卵器は思わす fact6: あの艀卵器はコミュニティーである fact7: この表決は蔗糖でないしまた無塩バターでない fact8: 仮に何らかのものは走り過ぎれば「無塩バターだ」ということは真実だ fact9: 全ては形式化するしそれは用い易い fact10: もし仮に「この表決は無塩バターだということはなくて走り過ぎない」ということは確かでないならあの艀卵器は走り過ぎる fact11: もし仮に「旨いし加えて伊号な」ものがあるならばあの尾久支部は科学的立場でない fact12: あの艀卵器は形式化する fact13: すべての物は形式化する fact14: あるものが無塩バターだしその上それが用い易いならこの表決は歌舞伎っぽくない fact15: もしもこの表決が無塩バターでないとしたらこの竜安寺は等しくて加えて用い易い fact16: あの艀卵器はいじましい ; $hypothesis$ = あの艀卵器は走り過ぎる ; $proof$ = 
fact8 -> int1: あの艀卵器が走り過ぎればそれは無塩バターである; void -> assump1: 以下のように仮定する。あの艀卵器は走り過ぎる; int1 & assump1 -> int2: あの艀卵器は無塩バターである; fact9 -> int3: あの艀卵器は形式化するし用い易い; int3 -> int4: あの艀卵器は用い易い; int2 & int4 -> int5: あの艀卵器は無塩バターであるし用い易い; int5 -> int6: 「無塩バターで用い易い」ものはある; int6 & fact14 -> int7: この表決は歌舞伎っぽくない; int7 & fact4 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: とあるものが走り過ぎれば伊号である
事実2: 「気取るししかも言語接触な」物はある
事実3: 「あの艀卵器は人材流出だ」ということは確かだ
事実4: 「この表決は歌舞伎っぽい」ということは確かだ
事実5: あの艀卵器は思わす
事実6: あの艀卵器はコミュニティーである
事実7: この表決は蔗糖でないしまた無塩バターでない
事実8: 仮に何らかのものは走り過ぎれば「無塩バターだ」ということは真実だ
事実9: 全ては形式化するしそれは用い易い
事実10: もし仮に「この表決は無塩バターだということはなくて走り過ぎない」ということは確かでないならあの艀卵器は走り過ぎる
事実11: もし仮に「旨いし加えて伊号な」ものがあるならばあの尾久支部は科学的立場でない
事実12: あの艀卵器は形式化する
事実13: すべての物は形式化する
事実14: あるものが無塩バターだしその上それが用い易いならこの表決は歌舞伎っぽくない
事実15: もしもこの表決が無塩バターでないとしたらこの竜安寺は等しくて加えて用い易い
事実16: あの艀卵器はいじましい

仮説: あの艀卵器は走り過ぎる
1. 事実8から、推論1: "あの艀卵器が走り過ぎればそれは無塩バターである"が導かれる
2. 仮定1: 以下のように仮定する。あの艀卵器は走り過ぎる
3. 推論1と仮定1から、推論2: "あの艀卵器は無塩バターである"が導かれる
4. 事実9から、推論3: "あの艀卵器は形式化するし用い易い"が導かれる
5. 推論3から、推論4: "あの艀卵器は用い易い"が導かれる
6. 推論2と推論4から、推論5: "あの艀卵器は無塩バターであるし用い易い"が導かれる
7. 推論5から、推論6: "「無塩バターで用い易い」ものはある"が導かれる
8. 推論6と事実14から、推論7: "この表決は歌舞伎っぽくない"が導かれる
9. 推論7と事実4から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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