あの確定判決は際限無い
fact1: もしも「その流派は早いがしかし滑り易くない」ということは事実だとしたらあの確定判決は下行する fact2: もしあの確定判決が下行するが早くないならその流派は際限無い fact3: もしあの確定判決は早いしおまけに下行するとしたら「その流派は際限無い」ということは成り立つ fact4: そのどら猫は際限無くない fact5: もし仮にあの確定判決が早いけれど際限無いということはないならその流派は下行する fact6: もし仮に何らかのものが両立しないとしたら発震後であるかもしくはごっつい fact7: 仮にあの確定判決は際限無いけど早くないとすると「その流派は滑り易い」ということは本当である fact8: ある物が際限無いとしたら御提案するし更にそれは全微分しない fact9: もしもその内視が御固いならそれは煩わしい fact10: もし仮にあの確定判決が下行するしかつ早いとするとその流派は際限無い fact11: あの確定判決は医療訴訟だ fact12: その流派は早いが滑り易くない fact13: 煩わしいものは住宅街である fact14: もし仮に「あるものは下行する」ということは成り立つとすると際限無い
fact1 & fact12 -> int1: あの確定判決は下行する; fact14 -> int2: あの確定判決が下行すればそれは際限無い; int1 & int2 -> hypothesis;
fact1 & fact12 -> int1: {B}{b}; fact14 -> int2: {B}{b} -> {A}{b}; int1 & int2 -> hypothesis;
あの確定判決は際限無いということはない
fact15 -> int3: もしもこの四角形マスクツールが両立しないならばそれは発震後であるかごっついかまたは両方ともだ;
$facts$ = fact1: もしも「その流派は早いがしかし滑り易くない」ということは事実だとしたらあの確定判決は下行する fact2: もしあの確定判決が下行するが早くないならその流派は際限無い fact3: もしあの確定判決は早いしおまけに下行するとしたら「その流派は際限無い」ということは成り立つ fact4: そのどら猫は際限無くない fact5: もし仮にあの確定判決が早いけれど際限無いということはないならその流派は下行する fact6: もし仮に何らかのものが両立しないとしたら発震後であるかもしくはごっつい fact7: 仮にあの確定判決は際限無いけど早くないとすると「その流派は滑り易い」ということは本当である fact8: ある物が際限無いとしたら御提案するし更にそれは全微分しない fact9: もしもその内視が御固いならそれは煩わしい fact10: もし仮にあの確定判決が下行するしかつ早いとするとその流派は際限無い fact11: あの確定判決は医療訴訟だ fact12: その流派は早いが滑り易くない fact13: 煩わしいものは住宅街である fact14: もし仮に「あるものは下行する」ということは成り立つとすると際限無い ; $hypothesis$ = あの確定判決は際限無い ; $proof$ = 
fact1 & fact12 -> int1: あの確定判決は下行する; fact14 -> int2: あの確定判決が下行すればそれは際限無い; int1 & int2 -> hypothesis; __PROVED__
事実1: もしも「その流派は早いがしかし滑り易くない」ということは事実だとしたらあの確定判決は下行する
事実2: もしあの確定判決が下行するが早くないならその流派は際限無い
事実3: もしあの確定判決は早いしおまけに下行するとしたら「その流派は際限無い」ということは成り立つ
事実4: そのどら猫は際限無くない
事実5: もし仮にあの確定判決が早いけれど際限無いということはないならその流派は下行する
事実6: もし仮に何らかのものが両立しないとしたら発震後であるかもしくはごっつい
事実7: 仮にあの確定判決は際限無いけど早くないとすると「その流派は滑り易い」ということは本当である
事実8: ある物が際限無いとしたら御提案するし更にそれは全微分しない
事実9: もしもその内視が御固いならそれは煩わしい
事実10: もし仮にあの確定判決が下行するしかつ早いとするとその流派は際限無い
事実11: あの確定判決は医療訴訟だ
事実12: その流派は早いが滑り易くない
事実13: 煩わしいものは住宅街である
事実14: もし仮に「あるものは下行する」ということは成り立つとすると際限無い

仮説: あの確定判決は際限無い
1. 事実1と事実12から、推論1: "あの確定判決は下行する"が導かれる
2. 事実14から、推論2: "あの確定判決が下行すればそれは際限無い"が導かれる
3. 推論1と推論2から、仮説が導かれる

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