「あのビザカードは抜け易い」ということは正しい
fact1: もしあのビザカードが遣る瀬無いとしたら抜け易い fact2: なにがしかのものが遣る瀬無いとするとそれは抜け易い fact3: 何らかのものが飲み直すとすればそれは疑わしくないしそれは三月以前だ fact4: その元軍人は抜け易い fact5: もしなんらかの物は面接しないなら「それは遣る瀬無くないし更にそれは行き難くない」ということは間違っている fact6: あの窮余は遣る瀬無い fact7: もし仮にとあるものは遣る瀬無いなら「それは行き難い」ということは成り立つ fact8: なにかは行き難いとしたら抜け易い fact9: もしもあの窮余が三月以前でなくてそれが抜け易くないとするとこの中古品は抜け易くない fact10: もしもあのビザカードが疑わしくない三月以前ならば面接しない fact11: もし「あのビザカードは抜け易い」ということは確かであるとすれば遣る瀬無い fact12: もしもあの窮余は遣る瀬無いとすれば「あのビザカードは行き難い」ということは確かである fact13: あの窮余は擁立である
fact12 & fact6 -> int1: あのビザカードは行き難い; fact8 -> int2: 仮にあのビザカードが行き難いなら抜け易い; int1 & int2 -> hypothesis;
この中古品は遣る瀬無い
$facts$ = fact1: もしあのビザカードが遣る瀬無いとしたら抜け易い fact2: なにがしかのものが遣る瀬無いとするとそれは抜け易い fact3: 何らかのものが飲み直すとすればそれは疑わしくないしそれは三月以前だ fact4: その元軍人は抜け易い fact5: もしなんらかの物は面接しないなら「それは遣る瀬無くないし更にそれは行き難くない」ということは間違っている fact6: あの窮余は遣る瀬無い fact7: もし仮にとあるものは遣る瀬無いなら「それは行き難い」ということは成り立つ fact8: なにかは行き難いとしたら抜け易い fact9: もしもあの窮余が三月以前でなくてそれが抜け易くないとするとこの中古品は抜け易くない fact10: もしもあのビザカードが疑わしくない三月以前ならば面接しない fact11: もし「あのビザカードは抜け易い」ということは確かであるとすれば遣る瀬無い fact12: もしもあの窮余は遣る瀬無いとすれば「あのビザカードは行き難い」ということは確かである fact13: あの窮余は擁立である ; $hypothesis$ = 「あのビザカードは抜け易い」ということは正しい ; $proof$ = 
fact12 & fact6 -> int1: あのビザカードは行き難い; fact8 -> int2: 仮にあのビザカードが行き難いなら抜け易い; int1 & int2 -> hypothesis; __PROVED__
事実1: もしあのビザカードが遣る瀬無いとしたら抜け易い
事実2: なにがしかのものが遣る瀬無いとするとそれは抜け易い
事実3: 何らかのものが飲み直すとすればそれは疑わしくないしそれは三月以前だ
事実4: その元軍人は抜け易い
事実5: もしなんらかの物は面接しないなら「それは遣る瀬無くないし更にそれは行き難くない」ということは間違っている
事実6: あの窮余は遣る瀬無い
事実7: もし仮にとあるものは遣る瀬無いなら「それは行き難い」ということは成り立つ
事実8: なにかは行き難いとしたら抜け易い
事実9: もしもあの窮余が三月以前でなくてそれが抜け易くないとするとこの中古品は抜け易くない
事実10: もしもあのビザカードが疑わしくない三月以前ならば面接しない
事実11: もし「あのビザカードは抜け易い」ということは確かであるとすれば遣る瀬無い
事実12: もしもあの窮余は遣る瀬無いとすれば「あのビザカードは行き難い」ということは確かである
事実13: あの窮余は擁立である

仮説: 「あのビザカードは抜け易い」ということは正しい
1. 事実12と事実6から、推論1: "あのビザカードは行き難い"が導かれる
2. 事実8から、推論2: "仮にあのビザカードが行き難いなら抜け易い"が導かれる
3. 推論1と推論2から、仮説が導かれる

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