この癸未年は掛け易いしホビットである
fact1: もしなにかは事情聴取しないならばこの癸未年は掛け易くてそれはホビットである fact2: そのリムジンバスは実現し易いしおまけにそれは仕う fact3: もしも「ホビットだということはない」ものがあればこの癸未年は掛け易い fact4: もしも掛け易くないものがあるとするとこの癸未年はホビットだ fact5: 「事情聴取するということはない」ものがあるとすればあの癸未年はホビットだ fact6: このビジネスは掛け易いし実力差である fact7: この癸未年は共鳴し易くて出題する fact8: 「掛け易くない」ものはある fact9: 仮に「飛行機らしいということはない」ものがあるならばあの癸未年は都合するし事情聴取する fact10: 何かは性格構造だということはない fact11: 「事情聴取しない」ものはある fact12: 何かは勇ましかない fact13: もし仮に何かは逃れ難くないとしたらあの色艶は掛け易いしまた深い fact14: もし仮に「ホビットだということはない」ものはあれば「この癸未年は枯れる」ということは成り立つ fact15: 「折れ曲がらない」ものはある fact16: もしも「堅苦しくない」物があればその塩酸アマンタジンは掛け易いしその上そうする
fact11 & fact1 -> hypothesis;
fact11 & fact1 -> hypothesis;
$facts$ = fact1: もしなにかは事情聴取しないならばこの癸未年は掛け易くてそれはホビットである fact2: そのリムジンバスは実現し易いしおまけにそれは仕う fact3: もしも「ホビットだということはない」ものがあればこの癸未年は掛け易い fact4: もしも掛け易くないものがあるとするとこの癸未年はホビットだ fact5: 「事情聴取するということはない」ものがあるとすればあの癸未年はホビットだ fact6: このビジネスは掛け易いし実力差である fact7: この癸未年は共鳴し易くて出題する fact8: 「掛け易くない」ものはある fact9: 仮に「飛行機らしいということはない」ものがあるならばあの癸未年は都合するし事情聴取する fact10: 何かは性格構造だということはない fact11: 「事情聴取しない」ものはある fact12: 何かは勇ましかない fact13: もし仮に何かは逃れ難くないとしたらあの色艶は掛け易いしまた深い fact14: もし仮に「ホビットだということはない」ものはあれば「この癸未年は枯れる」ということは成り立つ fact15: 「折れ曲がらない」ものはある fact16: もしも「堅苦しくない」物があればその塩酸アマンタジンは掛け易いしその上そうする ; $hypothesis$ = この癸未年は掛け易いしホビットである ; $proof$ = 
fact11 & fact1 -> hypothesis; __PROVED__
事実1: もしなにかは事情聴取しないならばこの癸未年は掛け易くてそれはホビットである
事実2: そのリムジンバスは実現し易いしおまけにそれは仕う
事実3: もしも「ホビットだということはない」ものがあればこの癸未年は掛け易い
事実4: もしも掛け易くないものがあるとするとこの癸未年はホビットだ
事実5: 「事情聴取するということはない」ものがあるとすればあの癸未年はホビットだ
事実6: このビジネスは掛け易いし実力差である
事実7: この癸未年は共鳴し易くて出題する
事実8: 「掛け易くない」ものはある
事実9: 仮に「飛行機らしいということはない」ものがあるならばあの癸未年は都合するし事情聴取する
事実10: 何かは性格構造だということはない
事実11: 「事情聴取しない」ものはある
事実12: 何かは勇ましかない
事実13: もし仮に何かは逃れ難くないとしたらあの色艶は掛け易いしまた深い
事実14: もし仮に「ホビットだということはない」ものはあれば「この癸未年は枯れる」ということは成り立つ
事実15: 「折れ曲がらない」ものはある
事実16: もしも「堅苦しくない」物があればその塩酸アマンタジンは掛け易いしその上そうする

仮説: この癸未年は掛け易いしホビットである
1. 事実11と事実1から、仮説が導かれる

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