この用語は込み上げない
fact1: この焦点調節は御紹介致さない fact2: この用語はぱたぱたする fact3: もしも「拠出するしそれに子供っぽい」ものがあるならあの栗御飯は当たり易くない fact4: すべては措置費である fact5: その初期キリスト教神学は子供っぽい fact6: 「すべては条件判断だ」ということは事実だ fact7: 「全てのものが当たり易いしその上それはぱたぱたする」ということは真実だ fact8: もし仮にその初期キリスト教神学が拠出しないとしたらこの用語が措置費だしそれは込み上げる
void -> assump1: 以下のように仮定する。「その初期キリスト教神学は拠出する」ということは成り立つ; assump1 & fact5 -> int1: その初期キリスト教神学は拠出するしかつ子供っぽい; int1 -> int2: 「拠出するし子供っぽい」ものはある; int2 & fact3 -> int3: 「あの栗御飯は当たり易くない」ということは真実である; fact7 -> int4: あの栗御飯は当たり易いしそれはぱたぱたする; int4 -> int5: 「あの栗御飯は当たり易い」ということは真実である; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その初期キリスト教神学は拠出しない; int7 & fact8 -> int8: この用語は措置費であるしかつ込み上げる; int8 -> hypothesis;
$facts$ = fact1: この焦点調節は御紹介致さない fact2: この用語はぱたぱたする fact3: もしも「拠出するしそれに子供っぽい」ものがあるならあの栗御飯は当たり易くない fact4: すべては措置費である fact5: その初期キリスト教神学は子供っぽい fact6: 「すべては条件判断だ」ということは事実だ fact7: 「全てのものが当たり易いしその上それはぱたぱたする」ということは真実だ fact8: もし仮にその初期キリスト教神学が拠出しないとしたらこの用語が措置費だしそれは込み上げる ; $hypothesis$ = この用語は込み上げない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その初期キリスト教神学は拠出する」ということは成り立つ; assump1 & fact5 -> int1: その初期キリスト教神学は拠出するしかつ子供っぽい; int1 -> int2: 「拠出するし子供っぽい」ものはある; int2 & fact3 -> int3: 「あの栗御飯は当たり易くない」ということは真実である; fact7 -> int4: あの栗御飯は当たり易いしそれはぱたぱたする; int4 -> int5: 「あの栗御飯は当たり易い」ということは真実である; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その初期キリスト教神学は拠出しない; int7 & fact8 -> int8: この用語は措置費であるしかつ込み上げる; int8 -> hypothesis; __DISPROVED__
事実1: この焦点調節は御紹介致さない
事実2: この用語はぱたぱたする
事実3: もしも「拠出するしそれに子供っぽい」ものがあるならあの栗御飯は当たり易くない
事実4: すべては措置費である
事実5: その初期キリスト教神学は子供っぽい
事実6: 「すべては条件判断だ」ということは事実だ
事実7: 「全てのものが当たり易いしその上それはぱたぱたする」ということは真実だ
事実8: もし仮にその初期キリスト教神学が拠出しないとしたらこの用語が措置費だしそれは込み上げる

仮説: この用語は込み上げない
1. 仮定1: 以下のように仮定する。「その初期キリスト教神学は拠出する」ということは成り立つ
2. 仮定1と事実5から、推論1: "その初期キリスト教神学は拠出するしかつ子供っぽい"が導かれる
3. 推論1から、推論2: "「拠出するし子供っぽい」ものはある"が導かれる
4. 推論2と事実3から、推論3: "「あの栗御飯は当たり易くない」ということは真実である"が導かれる
5. 事実7から、推論4: "あの栗御飯は当たり易いしそれはぱたぱたする"が導かれる
6. 推論4から、推論5: "「あの栗御飯は当たり易い」ということは真実である"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その初期キリスト教神学は拠出しない"が導かれる
9. 推論7と事実8から、推論8: "この用語は措置費であるしかつ込み上げる"が導かれる
10. 推論8から、仮説が否定される

よって、仮説が否定されました。