もし仮にあの資生が乗り変わるとするとあの購入客は安し
fact1: あの購入客は乗り変わる fact2: もし仮にあの資生が乗り変わるならばあの購入客は末広である fact3: もしあの資生が末広ならばあの購入客は安し fact4: あの購入客が安しとしたらカーソルだ fact5: もし何かは求め得るなら宜しい fact6: 安しものは乗り変わる fact7: あの購入客は刃向かう fact8: 末広は安し fact9: あの待機場所は安し fact10: もし仮にあの購入客が乗り変わるとしたらあの資生は安し fact11: 仮にあの資生が末広だとしたらそれは乗り変わる fact12: 「あの資生は安し」ということは本当だ fact13: もしあの資生が安しならばあの購入客は乗り変わる fact14: あの資生は割れ易い fact15: この焼身供養が乗り変わるとすればそれは賎しむ
void -> assump1: 以下のように仮定する。あの資生は乗り変わる; fact2 & assump1 -> int1: 「あの購入客は末広である」ということは確かだ; fact8 -> int2: もしもあの購入客は末広であるならばそれは安し; int1 & int2 -> int3: あの購入客は安し; [assump1] & int3 -> hypothesis;
$facts$ = fact1: あの購入客は乗り変わる fact2: もし仮にあの資生が乗り変わるならばあの購入客は末広である fact3: もしあの資生が末広ならばあの購入客は安し fact4: あの購入客が安しとしたらカーソルだ fact5: もし何かは求め得るなら宜しい fact6: 安しものは乗り変わる fact7: あの購入客は刃向かう fact8: 末広は安し fact9: あの待機場所は安し fact10: もし仮にあの購入客が乗り変わるとしたらあの資生は安し fact11: 仮にあの資生が末広だとしたらそれは乗り変わる fact12: 「あの資生は安し」ということは本当だ fact13: もしあの資生が安しならばあの購入客は乗り変わる fact14: あの資生は割れ易い fact15: この焼身供養が乗り変わるとすればそれは賎しむ ; $hypothesis$ = もし仮にあの資生が乗り変わるとするとあの購入客は安し ; $proof$ = 
void -> assump1: 以下のように仮定する。あの資生は乗り変わる; fact2 & assump1 -> int1: 「あの購入客は末広である」ということは確かだ; fact8 -> int2: もしもあの購入客は末広であるならばそれは安し; int1 & int2 -> int3: あの購入客は安し; [assump1] & int3 -> hypothesis; __PROVED__
事実1: あの購入客は乗り変わる
事実2: もし仮にあの資生が乗り変わるならばあの購入客は末広である
事実3: もしあの資生が末広ならばあの購入客は安し
事実4: あの購入客が安しとしたらカーソルだ
事実5: もし何かは求め得るなら宜しい
事実6: 安しものは乗り変わる
事実7: あの購入客は刃向かう
事実8: 末広は安し
事実9: あの待機場所は安し
事実10: もし仮にあの購入客が乗り変わるとしたらあの資生は安し
事実11: 仮にあの資生が末広だとしたらそれは乗り変わる
事実12: 「あの資生は安し」ということは本当だ
事実13: もしあの資生が安しならばあの購入客は乗り変わる
事実14: あの資生は割れ易い
事実15: この焼身供養が乗り変わるとすればそれは賎しむ

仮説: もし仮にあの資生が乗り変わるとするとあの購入客は安し
1. 仮定1: 以下のように仮定する。あの資生は乗り変わる
2. 事実2と仮定1から、推論1: "「あの購入客は末広である」ということは確かだ"が導かれる
3. 事実8から、推論2: "もしもあの購入客は末広であるならばそれは安し"が導かれる
4. 推論1と推論2から、推論3: "あの購入客は安し"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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