この新分野はマイフォードだ
fact1: もしも「この新分野は同年分である」ということは確かであるならば身繕いである fact2: あの初代社長は同年分だ fact3: この新分野は立法論である fact4: この新分野は嘘っぽい fact5: この新分野は遅い fact6: この新分野は美し fact7: もし仮に何かは物狂おしいならそれは省ける fact8: 「同年分はマイフォードだ」ということは真実だ fact9: そのマガジン・ウォールはマイフォードである fact10: もしもなんらかのものが同年分なら打ち払う fact11: もしあの後ろ髪が忍ばないならこの新分野は使えないかそれは血管収縮作用でないか両方ともである fact12: 仮にあの後ろ髪が打ち払うならこの新分野はマイフォードでない fact13: もしもなんらかのものがマイフォードならば打ち払う fact14: 「物狂おしい物は射る」ということは本当である fact15: この新分野は意味付ける fact16: この新分野は晴々する fact17: 「この新分野は打ち払う」ということは本当である fact18: ある物が振れないとすれば打ち払わないしまたそれは同年分だ fact19: この新分野が同年分だとすればそれは溶け難い fact20: 仮に「なにかは使えないか血管収縮作用でないかあるいは両方ともだ」ということは嘘でないとすれば「それは振れない」ということは成り立つ fact21: もしもあの後ろ髪が心理学科であるしかつ省略出来るとすれば忍ばない fact22: なんらかのものが振り下ろせばそれは遣り返す fact23: もし仮にこの新分野は打ち払うとすれば「同年分である」ということは正しい
fact23 & fact17 -> int1: この新分野は同年分である; fact8 -> int2: もし仮にこの新分野が同年分ならばそれはマイフォードだ; int1 & int2 -> hypothesis;
fact23 & fact17 -> int1: {B}{a}; fact8 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> hypothesis;
この新分野はマイフォードでない
$facts$ = fact1: もしも「この新分野は同年分である」ということは確かであるならば身繕いである fact2: あの初代社長は同年分だ fact3: この新分野は立法論である fact4: この新分野は嘘っぽい fact5: この新分野は遅い fact6: この新分野は美し fact7: もし仮に何かは物狂おしいならそれは省ける fact8: 「同年分はマイフォードだ」ということは真実だ fact9: そのマガジン・ウォールはマイフォードである fact10: もしもなんらかのものが同年分なら打ち払う fact11: もしあの後ろ髪が忍ばないならこの新分野は使えないかそれは血管収縮作用でないか両方ともである fact12: 仮にあの後ろ髪が打ち払うならこの新分野はマイフォードでない fact13: もしもなんらかのものがマイフォードならば打ち払う fact14: 「物狂おしい物は射る」ということは本当である fact15: この新分野は意味付ける fact16: この新分野は晴々する fact17: 「この新分野は打ち払う」ということは本当である fact18: ある物が振れないとすれば打ち払わないしまたそれは同年分だ fact19: この新分野が同年分だとすればそれは溶け難い fact20: 仮に「なにかは使えないか血管収縮作用でないかあるいは両方ともだ」ということは嘘でないとすれば「それは振れない」ということは成り立つ fact21: もしもあの後ろ髪が心理学科であるしかつ省略出来るとすれば忍ばない fact22: なんらかのものが振り下ろせばそれは遣り返す fact23: もし仮にこの新分野は打ち払うとすれば「同年分である」ということは正しい ; $hypothesis$ = この新分野はマイフォードだ ; $proof$ = 
fact23 & fact17 -> int1: この新分野は同年分である; fact8 -> int2: もし仮にこの新分野が同年分ならばそれはマイフォードだ; int1 & int2 -> hypothesis; __PROVED__
事実1: もしも「この新分野は同年分である」ということは確かであるならば身繕いである
事実2: あの初代社長は同年分だ
事実3: この新分野は立法論である
事実4: この新分野は嘘っぽい
事実5: この新分野は遅い
事実6: この新分野は美し
事実7: もし仮に何かは物狂おしいならそれは省ける
事実8: 「同年分はマイフォードだ」ということは真実だ
事実9: そのマガジン・ウォールはマイフォードである
事実10: もしもなんらかのものが同年分なら打ち払う
事実11: もしあの後ろ髪が忍ばないならこの新分野は使えないかそれは血管収縮作用でないか両方ともである
事実12: 仮にあの後ろ髪が打ち払うならこの新分野はマイフォードでない
事実13: もしもなんらかのものがマイフォードならば打ち払う
事実14: 「物狂おしい物は射る」ということは本当である
事実15: この新分野は意味付ける
事実16: この新分野は晴々する
事実17: 「この新分野は打ち払う」ということは本当である
事実18: ある物が振れないとすれば打ち払わないしまたそれは同年分だ
事実19: この新分野が同年分だとすればそれは溶け難い
事実20: 仮に「なにかは使えないか血管収縮作用でないかあるいは両方ともだ」ということは嘘でないとすれば「それは振れない」ということは成り立つ
事実21: もしもあの後ろ髪が心理学科であるしかつ省略出来るとすれば忍ばない
事実22: なんらかのものが振り下ろせばそれは遣り返す
事実23: もし仮にこの新分野は打ち払うとすれば「同年分である」ということは正しい

仮説: この新分野はマイフォードだ
1. 事実23と事実17から、推論1: "この新分野は同年分である"が導かれる
2. 事実8から、推論2: "もし仮にこの新分野が同年分ならばそれはマイフォードだ"が導かれる
3. 推論1と推論2から、仮説が導かれる

よって、仮説が証明されました。