あの将来推計は着飾るということはない
fact1: 宅配は着飾る fact2: あの米国株式市場が駆使出来るかそれは聞き取り難くないならば「あの将来推計は着飾らない」ということは本当である fact3: 「「宅配でその上進め易い」ということは事実と異なる」ものはある fact4: もしもこの二千一年度が赤黒くないならばあの米国株式市場は駆使出来るかあるいは聞き取り難いということはない fact5: この二千一年度は磨り潰すし更にそれは両断する fact6: もし仮にあの米国株式市場が磨り潰すとするとこの二千一年度は磨り潰す fact7: もし仮に「あのリモートメソッド呼び出しは赤黒いけど駆使出来るということはない」ということは事実と異なるならあの大後は付け手である fact8: その個人全集は宅配である fact9: なんらかのものは両断するし付け手なら赤黒くない fact10: 仮に「「宅配であるしかつ進め易い」ということは事実でない」ものはあるとすれば「この二千一年度は付け手である」ということは事実だ fact11: もし「この二千一年度は磨り潰す」ということは本当だとしたらあの将来推計は聞き取り難い
fact5 -> int1: この二千一年度は両断する; fact10 & fact3 -> int2: この二千一年度は付け手だ; int1 & int2 -> int3: この二千一年度は両断するしさらに付け手だ; fact9 -> int4: もしこの二千一年度が両断するしその上付け手だとするとそれは赤黒くない; int3 & int4 -> int5: この二千一年度は赤黒くない; int5 & fact4 -> int6: あの米国株式市場は駆使出来るかまたはそれは聞き取り難くないかまたはどちらもだ; int6 & fact2 -> hypothesis;
あの将来推計は聞き取り難い
fact13 -> int7: 「その個人全集が宅配だとしたらその個人全集は着飾る」ということは間違いだということはない; int7 & fact12 -> int8: その個人全集は着飾る; int8 -> int9: とある物は着飾る;
$facts$ = fact1: 宅配は着飾る fact2: あの米国株式市場が駆使出来るかそれは聞き取り難くないならば「あの将来推計は着飾らない」ということは本当である fact3: 「「宅配でその上進め易い」ということは事実と異なる」ものはある fact4: もしもこの二千一年度が赤黒くないならばあの米国株式市場は駆使出来るかあるいは聞き取り難いということはない fact5: この二千一年度は磨り潰すし更にそれは両断する fact6: もし仮にあの米国株式市場が磨り潰すとするとこの二千一年度は磨り潰す fact7: もし仮に「あのリモートメソッド呼び出しは赤黒いけど駆使出来るということはない」ということは事実と異なるならあの大後は付け手である fact8: その個人全集は宅配である fact9: なんらかのものは両断するし付け手なら赤黒くない fact10: 仮に「「宅配であるしかつ進め易い」ということは事実でない」ものはあるとすれば「この二千一年度は付け手である」ということは事実だ fact11: もし「この二千一年度は磨り潰す」ということは本当だとしたらあの将来推計は聞き取り難い ; $hypothesis$ = あの将来推計は着飾るということはない ; $proof$ = 
fact5 -> int1: この二千一年度は両断する; fact10 & fact3 -> int2: この二千一年度は付け手だ; int1 & int2 -> int3: この二千一年度は両断するしさらに付け手だ; fact9 -> int4: もしこの二千一年度が両断するしその上付け手だとするとそれは赤黒くない; int3 & int4 -> int5: この二千一年度は赤黒くない; int5 & fact4 -> int6: あの米国株式市場は駆使出来るかまたはそれは聞き取り難くないかまたはどちらもだ; int6 & fact2 -> hypothesis; __PROVED__
事実1: 宅配は着飾る
事実2: あの米国株式市場が駆使出来るかそれは聞き取り難くないならば「あの将来推計は着飾らない」ということは本当である
事実3: 「「宅配でその上進め易い」ということは事実と異なる」ものはある
事実4: もしもこの二千一年度が赤黒くないならばあの米国株式市場は駆使出来るかあるいは聞き取り難いということはない
事実5: この二千一年度は磨り潰すし更にそれは両断する
事実6: もし仮にあの米国株式市場が磨り潰すとするとこの二千一年度は磨り潰す
事実7: もし仮に「あのリモートメソッド呼び出しは赤黒いけど駆使出来るということはない」ということは事実と異なるならあの大後は付け手である
事実8: その個人全集は宅配である
事実9: なんらかのものは両断するし付け手なら赤黒くない
事実10: 仮に「「宅配であるしかつ進め易い」ということは事実でない」ものはあるとすれば「この二千一年度は付け手である」ということは事実だ
事実11: もし「この二千一年度は磨り潰す」ということは本当だとしたらあの将来推計は聞き取り難い

仮説: あの将来推計は着飾るということはない
1. 事実5から、推論1: "この二千一年度は両断する"が導かれる
2. 事実10と事実3から、推論2: "この二千一年度は付け手だ"が導かれる
3. 推論1と推論2から、推論3: "この二千一年度は両断するしさらに付け手だ"が導かれる
4. 事実9から、推論4: "もしこの二千一年度が両断するしその上付け手だとするとそれは赤黒くない"が導かれる
5. 推論3と推論4から、推論5: "この二千一年度は赤黒くない"が導かれる
6. 推論5と事実4から、推論6: "あの米国株式市場は駆使出来るかまたはそれは聞き取り難くないかまたはどちらもだ"が導かれる
7. 推論6と事実2から、仮説が導かれる

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