あのＤＡドゥーは不正利用する
fact1: もし仮に空しいものが目新しくないとしたら皮剥ぎである fact2: もしその三十八万円以下が焦れったくないならばあのＤＡドゥーは焦れったい fact3: 仮になにがしかのものは皮剥ぎでないなら切り株であるかそれは行書体でない fact4: 仮にその三十八万円以下が皮剥ぎでないならばそれは絡げるかまたは焦れったくない fact5: もしもその三十八万円以下が空しかないならあのＤＡドゥーは空しくてかつ不正利用する fact6: その三十八万円以下は皮剥ぎでない fact7: もしもなにかは絡げるかまたは焦れったくないとしたらそれは空しかない
fact4 & fact6 -> int1: 「その三十八万円以下は絡げるかまたはそれは焦れったくないかもしくは両方だ」ということは真実である; fact7 -> int2: その三十八万円以下が絡げるかもしくはそれは焦れったいということはないか両方ともならばそれは空しかない; int1 & int2 -> int3: その三十八万円以下は空しかない; int3 & fact5 -> int4: あのＤＡドゥーは空しくて不正利用する; int4 -> hypothesis;
あのＤＡドゥーは不正利用しない
fact8 -> int5: もし仮に「その三十八万円以下は空しい一方で目新しくない」ということは成り立つとするとそれは皮剥ぎだ;
$facts$ = fact1: もし仮に空しいものが目新しくないとしたら皮剥ぎである fact2: もしその三十八万円以下が焦れったくないならばあのＤＡドゥーは焦れったい fact3: 仮になにがしかのものは皮剥ぎでないなら切り株であるかそれは行書体でない fact4: 仮にその三十八万円以下が皮剥ぎでないならばそれは絡げるかまたは焦れったくない fact5: もしもその三十八万円以下が空しかないならあのＤＡドゥーは空しくてかつ不正利用する fact6: その三十八万円以下は皮剥ぎでない fact7: もしもなにかは絡げるかまたは焦れったくないとしたらそれは空しかない ; $hypothesis$ = あのＤＡドゥーは不正利用する ; $proof$ = 
fact4 & fact6 -> int1: 「その三十八万円以下は絡げるかまたはそれは焦れったくないかもしくは両方だ」ということは真実である; fact7 -> int2: その三十八万円以下が絡げるかもしくはそれは焦れったいということはないか両方ともならばそれは空しかない; int1 & int2 -> int3: その三十八万円以下は空しかない; int3 & fact5 -> int4: あのＤＡドゥーは空しくて不正利用する; int4 -> hypothesis; __PROVED__
事実1: もし仮に空しいものが目新しくないとしたら皮剥ぎである
事実2: もしその三十八万円以下が焦れったくないならばあのＤＡドゥーは焦れったい
事実3: 仮になにがしかのものは皮剥ぎでないなら切り株であるかそれは行書体でない
事実4: 仮にその三十八万円以下が皮剥ぎでないならばそれは絡げるかまたは焦れったくない
事実5: もしもその三十八万円以下が空しかないならあのＤＡドゥーは空しくてかつ不正利用する
事実6: その三十八万円以下は皮剥ぎでない
事実7: もしもなにかは絡げるかまたは焦れったくないとしたらそれは空しかない

仮説: あのＤＡドゥーは不正利用する
1. 事実4と事実6から、推論1: "「その三十八万円以下は絡げるかまたはそれは焦れったくないかもしくは両方だ」ということは真実である"が導かれる
2. 事実7から、推論2: "その三十八万円以下が絡げるかもしくはそれは焦れったいということはないか両方ともならばそれは空しかない"が導かれる
3. 推論1と推論2から、推論3: "その三十八万円以下は空しかない"が導かれる
4. 推論3と事実5から、推論4: "あのＤＡドゥーは空しくて不正利用する"が導かれる
5. 推論4から、仮説が導かれる

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