仮にあの商品販売が熱エネルギーであるならばそのビデオ編集ソフトはアメリカ会計である
fact1: なにがしかの物が複数登録しないかもしくは数うということはないかどちらもならば入手し易い fact2: そのビデオ編集ソフトは経理でないか複数登録するかまたは両方である fact3: 仮にあの葬式饅頭が経理でないとするとそのビデオ編集ソフトは特急燕でない fact4: もしとあるものが経理であるということはないかそれは複数登録しないかもしくは両方だとすればそれはアメリカ会計である fact5: あの葬式饅頭が数うとしたらあの山Ｌは入手し易くない fact6: もしもあの商品販売が入手し易いならあの山Ｌは熱エネルギーである fact7: 仮にあの葬式饅頭が特急燕でないかまたは数うかもしくは両方だとすればあの山Ｌは入手し易くない fact8: もし仮にとある物は複数登録しないとしたら「それはアメリカ会計である」ということは確かである fact9: あの葬式饅頭は熱エネルギーでない fact10: 仮にそのビデオ編集ソフトが複数登録しないとすればそれはアメリカ会計である fact11: もし仮にあの葬式饅頭は経理でないかあるいは特急燕でないかあるいは両方だとしたら「アメリカ会計であるということはない」ということは成り立たない fact12: もしあの商品販売が熱エネルギーであるとするとあの葬式饅頭は特急燕でないか数うかもしくは両方である fact13: もしもあの葬式饅頭が経理でないとしたらそのビデオ編集ソフトは数うない fact14: もしあの山Ｌが入手し易くないならそのビデオ編集ソフトは経理だということはない
void -> assump1: 以下のように仮定する。あの商品販売は熱エネルギーだ; fact12 & assump1 -> int1: あの葬式饅頭は特急燕だということはないかもしくはそれは数うかあるいは両方ともである; int1 & fact7 -> int2: あの山Ｌは入手し易くない; int2 & fact14 -> int3: そのビデオ編集ソフトは経理でない; int3 -> int4: そのビデオ編集ソフトは経理でないかもしくは複数登録しないかもしくは両方だ; fact4 -> int5: もし仮にそのビデオ編集ソフトは経理でないか複数登録するということはないかまたはどちらもであるとしたらアメリカ会計である; int4 & int5 -> int6: そのビデオ編集ソフトはアメリカ会計である; [assump1] & int6 -> hypothesis;
$facts$ = fact1: なにがしかの物が複数登録しないかもしくは数うということはないかどちらもならば入手し易い fact2: そのビデオ編集ソフトは経理でないか複数登録するかまたは両方である fact3: 仮にあの葬式饅頭が経理でないとするとそのビデオ編集ソフトは特急燕でない fact4: もしとあるものが経理であるということはないかそれは複数登録しないかもしくは両方だとすればそれはアメリカ会計である fact5: あの葬式饅頭が数うとしたらあの山Ｌは入手し易くない fact6: もしもあの商品販売が入手し易いならあの山Ｌは熱エネルギーである fact7: 仮にあの葬式饅頭が特急燕でないかまたは数うかもしくは両方だとすればあの山Ｌは入手し易くない fact8: もし仮にとある物は複数登録しないとしたら「それはアメリカ会計である」ということは確かである fact9: あの葬式饅頭は熱エネルギーでない fact10: 仮にそのビデオ編集ソフトが複数登録しないとすればそれはアメリカ会計である fact11: もし仮にあの葬式饅頭は経理でないかあるいは特急燕でないかあるいは両方だとしたら「アメリカ会計であるということはない」ということは成り立たない fact12: もしあの商品販売が熱エネルギーであるとするとあの葬式饅頭は特急燕でないか数うかもしくは両方である fact13: もしもあの葬式饅頭が経理でないとしたらそのビデオ編集ソフトは数うない fact14: もしあの山Ｌが入手し易くないならそのビデオ編集ソフトは経理だということはない ; $hypothesis$ = 仮にあの商品販売が熱エネルギーであるならばそのビデオ編集ソフトはアメリカ会計である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの商品販売は熱エネルギーだ; fact12 & assump1 -> int1: あの葬式饅頭は特急燕だということはないかもしくはそれは数うかあるいは両方ともである; int1 & fact7 -> int2: あの山Ｌは入手し易くない; int2 & fact14 -> int3: そのビデオ編集ソフトは経理でない; int3 -> int4: そのビデオ編集ソフトは経理でないかもしくは複数登録しないかもしくは両方だ; fact4 -> int5: もし仮にそのビデオ編集ソフトは経理でないか複数登録するということはないかまたはどちらもであるとしたらアメリカ会計である; int4 & int5 -> int6: そのビデオ編集ソフトはアメリカ会計である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: なにがしかの物が複数登録しないかもしくは数うということはないかどちらもならば入手し易い
事実2: そのビデオ編集ソフトは経理でないか複数登録するかまたは両方である
事実3: 仮にあの葬式饅頭が経理でないとするとそのビデオ編集ソフトは特急燕でない
事実4: もしとあるものが経理であるということはないかそれは複数登録しないかもしくは両方だとすればそれはアメリカ会計である
事実5: あの葬式饅頭が数うとしたらあの山Ｌは入手し易くない
事実6: もしもあの商品販売が入手し易いならあの山Ｌは熱エネルギーである
事実7: 仮にあの葬式饅頭が特急燕でないかまたは数うかもしくは両方だとすればあの山Ｌは入手し易くない
事実8: もし仮にとある物は複数登録しないとしたら「それはアメリカ会計である」ということは確かである
事実9: あの葬式饅頭は熱エネルギーでない
事実10: 仮にそのビデオ編集ソフトが複数登録しないとすればそれはアメリカ会計である
事実11: もし仮にあの葬式饅頭は経理でないかあるいは特急燕でないかあるいは両方だとしたら「アメリカ会計であるということはない」ということは成り立たない
事実12: もしあの商品販売が熱エネルギーであるとするとあの葬式饅頭は特急燕でないか数うかもしくは両方である
事実13: もしもあの葬式饅頭が経理でないとしたらそのビデオ編集ソフトは数うない
事実14: もしあの山Ｌが入手し易くないならそのビデオ編集ソフトは経理だということはない

仮説: 仮にあの商品販売が熱エネルギーであるならばそのビデオ編集ソフトはアメリカ会計である
1. 仮定1: 以下のように仮定する。あの商品販売は熱エネルギーだ
2. 事実12と仮定1から、推論1: "あの葬式饅頭は特急燕だということはないかもしくはそれは数うかあるいは両方ともである"が導かれる
3. 推論1と事実7から、推論2: "あの山Ｌは入手し易くない"が導かれる
4. 推論2と事実14から、推論3: "そのビデオ編集ソフトは経理でない"が導かれる
5. 推論3から、推論4: "そのビデオ編集ソフトは経理でないかもしくは複数登録しないかもしくは両方だ"が導かれる
6. 事実4から、推論5: "もし仮にそのビデオ編集ソフトは経理でないか複数登録するということはないかまたはどちらもであるとしたらアメリカ会計である"が導かれる
7. 推論4と推論5から、推論6: "そのビデオ編集ソフトはアメリカ会計である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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