あの減価償却制度はリプレイしない
fact1: 仮に「あの減価償却制度はフォーカシングで厚し」ということは成り立たないならばそれはリプレイしない fact2: もしも「あの減価償却制度は素人っぽい一方で社会・経済的要素でない」ということは真実でないならそれは投与出来ない fact3: もし仮にあの丸裸は詳しいとしたら「あの夢人物は聞き入るがしかしそれは投与出来ない」ということは事実と異なる fact4: あの夢人物は詳しい fact5: もしも「その鎮痛は社会・経済的要素でないしおまけに大きくない」ということは偽ならあの夢人物は詳しくない fact6: もし「とある物は投与出来ないかもしくは詳しくないか両方ともだ」ということは偽だとすればそれはリプレイする fact7: あの夢人物はフォーカシングでない fact8: もし仮にあの減価償却制度はフォーカシングでないとしたらリプレイしない fact9: 「あの夢人物がフォーカシングだということはないしさらにリプレイしない」ということは誤っているならあの減価償却制度は投与出来ない fact10: もしその鎮痛は社会・経済的要素でないとすれば「あの減価償却制度は素人っぽいけど社会・経済的要素でない」ということは誤りである fact11: もし仮にあの減価償却制度は投与出来ないなら「フォーカシングであるしまた厚し」ということは事実と異なる fact12: 「その鎮痛は社会・経済的要素でないけど大きい」ということは間違いである fact13: もし仮にその鎮痛は社会・経済的要素であるということはないなら「あの減価償却制度は素人っぽいしそれに社会・経済的要素だ」ということは誤りだ fact14: 「その鎮痛は社会・経済的要素であるけど大きくない」ということは偽だ
void -> assump1: 以下のように仮定する。「その鎮痛は社会・経済的要素でなくてしかも大きくない」ということは誤っている; fact5 & assump1 -> int1: あの夢人物は詳しくない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その鎮痛は社会・経済的要素でないししかもそれは大きくない」ということは確かである; int3 -> int4: その鎮痛は社会・経済的要素でない; int4 & fact10 -> int5: 「あの減価償却制度は素人っぽいがしかし社会・経済的要素でない」ということは成り立たない; int5 & fact2 -> int6: あの減価償却制度は投与出来ない; int6 & fact11 -> int7: 「あの減価償却制度はフォーカシングであるしそれは厚し」ということは成り立たない; int7 & fact1 -> hypothesis;
あの減価償却制度はリプレイする
fact15 -> int8: 仮に「あの減価償却制度は投与出来ないかもしくはそれは詳しくないかあるいは両方だ」ということは成り立つということはないならそれはリプレイする;
$facts$ = fact1: 仮に「あの減価償却制度はフォーカシングで厚し」ということは成り立たないならばそれはリプレイしない fact2: もしも「あの減価償却制度は素人っぽい一方で社会・経済的要素でない」ということは真実でないならそれは投与出来ない fact3: もし仮にあの丸裸は詳しいとしたら「あの夢人物は聞き入るがしかしそれは投与出来ない」ということは事実と異なる fact4: あの夢人物は詳しい fact5: もしも「その鎮痛は社会・経済的要素でないしおまけに大きくない」ということは偽ならあの夢人物は詳しくない fact6: もし「とある物は投与出来ないかもしくは詳しくないか両方ともだ」ということは偽だとすればそれはリプレイする fact7: あの夢人物はフォーカシングでない fact8: もし仮にあの減価償却制度はフォーカシングでないとしたらリプレイしない fact9: 「あの夢人物がフォーカシングだということはないしさらにリプレイしない」ということは誤っているならあの減価償却制度は投与出来ない fact10: もしその鎮痛は社会・経済的要素でないとすれば「あの減価償却制度は素人っぽいけど社会・経済的要素でない」ということは誤りである fact11: もし仮にあの減価償却制度は投与出来ないなら「フォーカシングであるしまた厚し」ということは事実と異なる fact12: 「その鎮痛は社会・経済的要素でないけど大きい」ということは間違いである fact13: もし仮にその鎮痛は社会・経済的要素であるということはないなら「あの減価償却制度は素人っぽいしそれに社会・経済的要素だ」ということは誤りだ fact14: 「その鎮痛は社会・経済的要素であるけど大きくない」ということは偽だ ; $hypothesis$ = あの減価償却制度はリプレイしない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その鎮痛は社会・経済的要素でなくてしかも大きくない」ということは誤っている; fact5 & assump1 -> int1: あの夢人物は詳しくない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その鎮痛は社会・経済的要素でないししかもそれは大きくない」ということは確かである; int3 -> int4: その鎮痛は社会・経済的要素でない; int4 & fact10 -> int5: 「あの減価償却制度は素人っぽいがしかし社会・経済的要素でない」ということは成り立たない; int5 & fact2 -> int6: あの減価償却制度は投与出来ない; int6 & fact11 -> int7: 「あの減価償却制度はフォーカシングであるしそれは厚し」ということは成り立たない; int7 & fact1 -> hypothesis; __PROVED__
事実1: 仮に「あの減価償却制度はフォーカシングで厚し」ということは成り立たないならばそれはリプレイしない
事実2: もしも「あの減価償却制度は素人っぽい一方で社会・経済的要素でない」ということは真実でないならそれは投与出来ない
事実3: もし仮にあの丸裸は詳しいとしたら「あの夢人物は聞き入るがしかしそれは投与出来ない」ということは事実と異なる
事実4: あの夢人物は詳しい
事実5: もしも「その鎮痛は社会・経済的要素でないしおまけに大きくない」ということは偽ならあの夢人物は詳しくない
事実6: もし「とある物は投与出来ないかもしくは詳しくないか両方ともだ」ということは偽だとすればそれはリプレイする
事実7: あの夢人物はフォーカシングでない
事実8: もし仮にあの減価償却制度はフォーカシングでないとしたらリプレイしない
事実9: 「あの夢人物がフォーカシングだということはないしさらにリプレイしない」ということは誤っているならあの減価償却制度は投与出来ない
事実10: もしその鎮痛は社会・経済的要素でないとすれば「あの減価償却制度は素人っぽいけど社会・経済的要素でない」ということは誤りである
事実11: もし仮にあの減価償却制度は投与出来ないなら「フォーカシングであるしまた厚し」ということは事実と異なる
事実12: 「その鎮痛は社会・経済的要素でないけど大きい」ということは間違いである
事実13: もし仮にその鎮痛は社会・経済的要素であるということはないなら「あの減価償却制度は素人っぽいしそれに社会・経済的要素だ」ということは誤りだ
事実14: 「その鎮痛は社会・経済的要素であるけど大きくない」ということは偽だ

仮説: あの減価償却制度はリプレイしない
1. 仮定1: 以下のように仮定する。「その鎮痛は社会・経済的要素でなくてしかも大きくない」ということは誤っている
2. 事実5と仮定1から、推論1: "あの夢人物は詳しくない"が導かれる
3. 推論1と事実4から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「その鎮痛は社会・経済的要素でないししかもそれは大きくない」ということは確かである"が導かれる
5. 推論3から、推論4: "その鎮痛は社会・経済的要素でない"が導かれる
6. 推論4と事実10から、推論5: "「あの減価償却制度は素人っぽいがしかし社会・経済的要素でない」ということは成り立たない"が導かれる
7. 推論5と事実2から、推論6: "あの減価償却制度は投与出来ない"が導かれる
8. 推論6と事実11から、推論7: "「あの減価償却制度はフォーカシングであるしそれは厚し」ということは成り立たない"が導かれる
9. 推論7と事実1から、仮説が導かれる

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