その新学力観はし易くない
fact1: その全記録は御取り立てである fact2: その新学力観は楽し fact3: もしも広い物が保証期間ならば出兵しない fact4: もし仮にこの抽象的関係は御取り立てであるということはないならば「その新学力観は電磁場である」ということは成り立つ fact5: もしもその新学力観は年銘でないとすると御取り立てでないがしかし電磁場である fact6: 電磁場がし易いならそれは大燥ぎしない fact7: この仕事人間はインサイダー取り引きだ fact8: もしもあのぼた山は活動し易くないなら喜び歌わないけど起こし為さる fact9: この抽象的関係は大燥ぎするということはない fact10: もしこの抽象的関係が年銘であるし泥臭いとすれば大燥ぎしない fact11: 泥臭くないものは御取り立てだしし易い fact12: この抽象的関係は泥臭くない fact13: もし仮にその新学力観が大燥ぎしないとすればインサイダー取り引きでないし所狭し fact14: 泥臭い物は電磁場である fact15: この抽象的関係は御取り立てであるかもしくは泥臭くないかまたは両方だ fact16: その新学力観が大燥ぎしないなら所狭し fact17: もしもこの抽象的関係が御取り立てでないかまたは泥臭くないかあるいは両方であるならばその新学力観は電磁場である fact18: その新学力観はバロメーターだ fact19: その新学力観はインサイダー取り引きだし年銘だ fact20: この器物は御取り立てでない fact21: その新学力観は所狭し fact22: その新学力観は年銘だ
fact12 -> int1: この抽象的関係は御取り立てでないかまたはそれは泥臭くないかもしくはどちらもだ; int1 & fact17 -> int2: その新学力観は電磁場だ; void -> assump1: 以下のように仮定する。その新学力観はし易い; int2 & assump1 -> int3: その新学力観は電磁場でし易い; fact6 -> int4: もしもその新学力観は電磁場であるし更にし易いとすると大燥ぎしない; int3 & int4 -> int5: その新学力観は大燥ぎするということはない; int5 & fact13 -> int6: その新学力観はインサイダー取り引きでない一方で所狭し; int6 -> int7: その新学力観はインサイダー取り引きでない; fact19 -> int8: その新学力観はインサイダー取り引きである; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
その新学力観はし易い
fact23 -> int10: もしもその新学力観が泥臭くないとすれば御取り立てであるしかつし易い;
$facts$ = fact1: その全記録は御取り立てである fact2: その新学力観は楽し fact3: もしも広い物が保証期間ならば出兵しない fact4: もし仮にこの抽象的関係は御取り立てであるということはないならば「その新学力観は電磁場である」ということは成り立つ fact5: もしもその新学力観は年銘でないとすると御取り立てでないがしかし電磁場である fact6: 電磁場がし易いならそれは大燥ぎしない fact7: この仕事人間はインサイダー取り引きだ fact8: もしもあのぼた山は活動し易くないなら喜び歌わないけど起こし為さる fact9: この抽象的関係は大燥ぎするということはない fact10: もしこの抽象的関係が年銘であるし泥臭いとすれば大燥ぎしない fact11: 泥臭くないものは御取り立てだしし易い fact12: この抽象的関係は泥臭くない fact13: もし仮にその新学力観が大燥ぎしないとすればインサイダー取り引きでないし所狭し fact14: 泥臭い物は電磁場である fact15: この抽象的関係は御取り立てであるかもしくは泥臭くないかまたは両方だ fact16: その新学力観が大燥ぎしないなら所狭し fact17: もしもこの抽象的関係が御取り立てでないかまたは泥臭くないかあるいは両方であるならばその新学力観は電磁場である fact18: その新学力観はバロメーターだ fact19: その新学力観はインサイダー取り引きだし年銘だ fact20: この器物は御取り立てでない fact21: その新学力観は所狭し fact22: その新学力観は年銘だ ; $hypothesis$ = その新学力観はし易くない ; $proof$ = 
fact12 -> int1: この抽象的関係は御取り立てでないかまたはそれは泥臭くないかもしくはどちらもだ; int1 & fact17 -> int2: その新学力観は電磁場だ; void -> assump1: 以下のように仮定する。その新学力観はし易い; int2 & assump1 -> int3: その新学力観は電磁場でし易い; fact6 -> int4: もしもその新学力観は電磁場であるし更にし易いとすると大燥ぎしない; int3 & int4 -> int5: その新学力観は大燥ぎするということはない; int5 & fact13 -> int6: その新学力観はインサイダー取り引きでない一方で所狭し; int6 -> int7: その新学力観はインサイダー取り引きでない; fact19 -> int8: その新学力観はインサイダー取り引きである; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __PROVED__
事実1: その全記録は御取り立てである
事実2: その新学力観は楽し
事実3: もしも広い物が保証期間ならば出兵しない
事実4: もし仮にこの抽象的関係は御取り立てであるということはないならば「その新学力観は電磁場である」ということは成り立つ
事実5: もしもその新学力観は年銘でないとすると御取り立てでないがしかし電磁場である
事実6: 電磁場がし易いならそれは大燥ぎしない
事実7: この仕事人間はインサイダー取り引きだ
事実8: もしもあのぼた山は活動し易くないなら喜び歌わないけど起こし為さる
事実9: この抽象的関係は大燥ぎするということはない
事実10: もしこの抽象的関係が年銘であるし泥臭いとすれば大燥ぎしない
事実11: 泥臭くないものは御取り立てだしし易い
事実12: この抽象的関係は泥臭くない
事実13: もし仮にその新学力観が大燥ぎしないとすればインサイダー取り引きでないし所狭し
事実14: 泥臭い物は電磁場である
事実15: この抽象的関係は御取り立てであるかもしくは泥臭くないかまたは両方だ
事実16: その新学力観が大燥ぎしないなら所狭し
事実17: もしもこの抽象的関係が御取り立てでないかまたは泥臭くないかあるいは両方であるならばその新学力観は電磁場である
事実18: その新学力観はバロメーターだ
事実19: その新学力観はインサイダー取り引きだし年銘だ
事実20: この器物は御取り立てでない
事実21: その新学力観は所狭し
事実22: その新学力観は年銘だ

仮説: その新学力観はし易くない
1. 事実12から、推論1: "この抽象的関係は御取り立てでないかまたはそれは泥臭くないかもしくはどちらもだ"が導かれる
2. 推論1と事実17から、推論2: "その新学力観は電磁場だ"が導かれる
3. 仮定1: 以下のように仮定する。その新学力観はし易い
4. 推論2と仮定1から、推論3: "その新学力観は電磁場でし易い"が導かれる
5. 事実6から、推論4: "もしもその新学力観は電磁場であるし更にし易いとすると大燥ぎしない"が導かれる
6. 推論3と推論4から、推論5: "その新学力観は大燥ぎするということはない"が導かれる
7. 推論5と事実13から、推論6: "その新学力観はインサイダー取り引きでない一方で所狭し"が導かれる
8. 推論6から、推論7: "その新学力観はインサイダー取り引きでない"が導かれる
9. 事実19から、推論8: "その新学力観はインサイダー取り引きである"が導かれる
10. 推論7と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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