もしもあのコッペパンが因子だとするとあの政治的決定は経済的ロット量である
fact1: もし仮にそのチベット医学が下ろし易いとしたらあのコマンドボタンは恋しい fact2: そのチベット医学は経済的ロット量だ fact3: あのコマンドボタンは下ろし易い fact4: もし仮に「あのコッペパンは経済的ロット量だ」ということは成り立つならあの政治的決定は因子だ fact5: あのコッペパンは経済的ロット量だ fact6: あのコッペパンは恋しい fact7: この迎賓館は因子だ fact8: 仮にあのコマンドボタンが恋しいならあの政治的決定は経済的ロット量である fact9: もしあのコマンドボタンが下ろし易いとしたらそのチベット医学は恋しい fact10: もし仮にそのチベット医学が恋しいとするとあのコマンドボタンは下ろし易い fact11: もしあのコッペパンが因子だとしたらそのチベット医学は下ろし易い fact12: 「仮にあのコッペパンが下ろし易いとしたらそのチベット医学は因子である」ということは正しい fact13: もしあの政治的決定は下ろし易いなら「そのチベット医学は経済的ロット量である」ということは真実である fact14: あの政治的決定が恋しいならばあのコマンドボタンは経済的ロット量だ
void -> assump1: 以下のように仮定する。あのコッペパンは因子だ; fact11 & assump1 -> int1: そのチベット医学は下ろし易い; int1 & fact1 -> int2: あのコマンドボタンは恋しい; int2 & fact8 -> int3: あの政治的決定は経済的ロット量だ; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もし仮にそのチベット医学が下ろし易いとしたらあのコマンドボタンは恋しい fact2: そのチベット医学は経済的ロット量だ fact3: あのコマンドボタンは下ろし易い fact4: もし仮に「あのコッペパンは経済的ロット量だ」ということは成り立つならあの政治的決定は因子だ fact5: あのコッペパンは経済的ロット量だ fact6: あのコッペパンは恋しい fact7: この迎賓館は因子だ fact8: 仮にあのコマンドボタンが恋しいならあの政治的決定は経済的ロット量である fact9: もしあのコマンドボタンが下ろし易いとしたらそのチベット医学は恋しい fact10: もし仮にそのチベット医学が恋しいとするとあのコマンドボタンは下ろし易い fact11: もしあのコッペパンが因子だとしたらそのチベット医学は下ろし易い fact12: 「仮にあのコッペパンが下ろし易いとしたらそのチベット医学は因子である」ということは正しい fact13: もしあの政治的決定は下ろし易いなら「そのチベット医学は経済的ロット量である」ということは真実である fact14: あの政治的決定が恋しいならばあのコマンドボタンは経済的ロット量だ ; $hypothesis$ = もしもあのコッペパンが因子だとするとあの政治的決定は経済的ロット量である ; $proof$ = 
void -> assump1: 以下のように仮定する。あのコッペパンは因子だ; fact11 & assump1 -> int1: そのチベット医学は下ろし易い; int1 & fact1 -> int2: あのコマンドボタンは恋しい; int2 & fact8 -> int3: あの政治的決定は経済的ロット量だ; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし仮にそのチベット医学が下ろし易いとしたらあのコマンドボタンは恋しい
事実2: そのチベット医学は経済的ロット量だ
事実3: あのコマンドボタンは下ろし易い
事実4: もし仮に「あのコッペパンは経済的ロット量だ」ということは成り立つならあの政治的決定は因子だ
事実5: あのコッペパンは経済的ロット量だ
事実6: あのコッペパンは恋しい
事実7: この迎賓館は因子だ
事実8: 仮にあのコマンドボタンが恋しいならあの政治的決定は経済的ロット量である
事実9: もしあのコマンドボタンが下ろし易いとしたらそのチベット医学は恋しい
事実10: もし仮にそのチベット医学が恋しいとするとあのコマンドボタンは下ろし易い
事実11: もしあのコッペパンが因子だとしたらそのチベット医学は下ろし易い
事実12: 「仮にあのコッペパンが下ろし易いとしたらそのチベット医学は因子である」ということは正しい
事実13: もしあの政治的決定は下ろし易いなら「そのチベット医学は経済的ロット量である」ということは真実である
事実14: あの政治的決定が恋しいならばあのコマンドボタンは経済的ロット量だ

仮説: もしもあのコッペパンが因子だとするとあの政治的決定は経済的ロット量である
1. 仮定1: 以下のように仮定する。あのコッペパンは因子だ
2. 事実11と仮定1から、推論1: "そのチベット医学は下ろし易い"が導かれる
3. 推論1と事実1から、推論2: "あのコマンドボタンは恋しい"が導かれる
4. 推論2と事実8から、推論3: "あの政治的決定は経済的ロット量だ"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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