その公事所はドッジ・ラインでないけどそれは乗り易い
fact1: この神聖さは乗り易くないがしかし躍起である fact2: その償還日は志向しない一方でドッジ・ラインである fact3: その公事所は躍起でない fact4: もしもその公事所は乗り易くないならば「それは分離しなくてドッジ・ラインであるということはない」ということは成り立たない fact5: その公事所は乗り易い fact6: その公事所はドッジ・ラインでない fact7: もし仮に何かは勘違いし易くないならば「それは抜き難くないけれど与し易い」ということは成り立たない fact8: もし「何かは抜き難くないけど与し易い」ということは偽であるならそれは分離する fact9: もしもその公事所は摘み入れるとすれば「それは内弟子でないしおまけにそれはスチュワーデスでない」ということは誤りだ fact10: もし仮になんらかの物は分離するとしたら「それはドッジ・ラインでないけれど乗り易い」ということは間違っている fact11: 仮に「なんらかの物は内弟子だということはなくてスチュワーデスでない」ということは嘘だとしたら勘違いし易くない fact12: その公事所は断り難いということはないが人工関節である
fact6 & fact5 -> hypothesis;
fact6 & fact5 -> hypothesis;
あのギネスビールはドッジ・ラインだ
$facts$ = fact1: この神聖さは乗り易くないがしかし躍起である fact2: その償還日は志向しない一方でドッジ・ラインである fact3: その公事所は躍起でない fact4: もしもその公事所は乗り易くないならば「それは分離しなくてドッジ・ラインであるということはない」ということは成り立たない fact5: その公事所は乗り易い fact6: その公事所はドッジ・ラインでない fact7: もし仮に何かは勘違いし易くないならば「それは抜き難くないけれど与し易い」ということは成り立たない fact8: もし「何かは抜き難くないけど与し易い」ということは偽であるならそれは分離する fact9: もしもその公事所は摘み入れるとすれば「それは内弟子でないしおまけにそれはスチュワーデスでない」ということは誤りだ fact10: もし仮になんらかの物は分離するとしたら「それはドッジ・ラインでないけれど乗り易い」ということは間違っている fact11: 仮に「なんらかの物は内弟子だということはなくてスチュワーデスでない」ということは嘘だとしたら勘違いし易くない fact12: その公事所は断り難いということはないが人工関節である ; $hypothesis$ = その公事所はドッジ・ラインでないけどそれは乗り易い ; $proof$ = 
fact6 & fact5 -> hypothesis; __PROVED__
事実1: この神聖さは乗り易くないがしかし躍起である
事実2: その償還日は志向しない一方でドッジ・ラインである
事実3: その公事所は躍起でない
事実4: もしもその公事所は乗り易くないならば「それは分離しなくてドッジ・ラインであるということはない」ということは成り立たない
事実5: その公事所は乗り易い
事実6: その公事所はドッジ・ラインでない
事実7: もし仮に何かは勘違いし易くないならば「それは抜き難くないけれど与し易い」ということは成り立たない
事実8: もし「何かは抜き難くないけど与し易い」ということは偽であるならそれは分離する
事実9: もしもその公事所は摘み入れるとすれば「それは内弟子でないしおまけにそれはスチュワーデスでない」ということは誤りだ
事実10: もし仮になんらかの物は分離するとしたら「それはドッジ・ラインでないけれど乗り易い」ということは間違っている
事実11: 仮に「なんらかの物は内弟子だということはなくてスチュワーデスでない」ということは嘘だとしたら勘違いし易くない
事実12: その公事所は断り難いということはないが人工関節である

仮説: その公事所はドッジ・ラインでないけどそれは乗り易い
1. 事実6と事実5から、仮説が導かれる

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