その国際問題は反比例しない
fact1: 仮にあの老齢化が反比例するとすればその国際問題は反比例する fact2: もしあのＡＴＡＴＭがＨＵ蛋白質でないならばあの老齢化は反比例するしその上与え易い fact3: 「「その国際問題は嗅ぎ回り始めるけどそれは京遊びでない」ということは成り立つ」ということは成り立たない fact4: あるものが獲得経験値でないならそれは仲睦まじくてそれは洒落臭くない fact5: もし「ぎごちなくないかまたはＭＡＰである」ものがあればその第一法則は獲得経験値でない fact6: もしも「諸編であるということはない」物があるとするとあの交流学習会は期間分であるかもしくは一パーセント以下であるかあるいは両方である fact7: もし仮にこの明が悩ましくないがしかしそれが理解し易いならばあのＡＴＡＴＭはＨＵ蛋白質でない fact8: もし仮に「その国際問題は嗅ぎ回り始めないしさらに京遊びだということはない」ということは成り立つということはないとしたらＨＵ蛋白質だ fact9: 仮にその国際問題は嗅ぎ回り始めるとすると「ＨＵ蛋白質でない」ということは誤りである fact10: その事後処理はぎごちなくないかＭＡＰであるかあるいはどちらもだ fact11: 「その国際問題は期間分だ」ということは事実である fact12: もし「なんらかのものは理解し易いかあるいはそれは期間分だということはないかまたは両方ともである」ということは成り立たないとすれば悩ましい fact13: その国際問題は与え易い fact14: 「その国際問題は理解し易いか期間分であるかあるいは両方ともだ」ということは誤っていればそれは悩ましい fact15: もしも「その国際問題は与え易くない」ということは成り立たないならば「それは嗅ぎ回り始めないし京遊びでない」ということは嘘である fact16: 仮に「あるものは理解し易いかあるいは期間分であるかもしくは両方ともである」ということは成り立たないなら悩ましい fact17: もしその金銭消費貸借契約が期間分だとしたらこの明は悩ましいということはないけどそれは理解し易い fact18: もし悩ましいものはＨＵ蛋白質であるとしたらそれは反比例するということはない fact19: 「その国際問題は理解し易いかもしくは期間分でないか両方ともである」ということは事実と異なる fact20: その国際問題は与え易いとすると「それは嗅ぎ回り始めるしそれにそれは京遊びでない」ということは成り立つということはない fact21: もし仲睦まじいしさらに洒落臭くない物があるとすればその南国リゾートは諸編でない
fact15 & fact13 -> int1: 「その国際問題が嗅ぎ回り始めないしさらにそれは京遊びでない」ということは成り立たない; int1 & fact8 -> int2: その国際問題はＨＵ蛋白質である; fact12 -> int3: もし「その国際問題は理解し易いかあるいは期間分でない」ということは本当でないなら「悩ましい」ということは誤りであるということはない; fact19 & int3 -> int4: その国際問題は悩ましい; int2 & int4 -> int5: その国際問題は悩ましいしそれにＨＵ蛋白質である; fact18 -> int6: もしもその国際問題は悩ましいし更にＨＵ蛋白質であるならそれは反比例しない; int5 & int6 -> hypothesis;
その国際問題は反比例する
fact24 -> int7: 仮に「その第一法則は獲得経験値でない」ということは本当であるとすると仲睦まじいけれど洒落臭くない; fact26 -> int8: なんらかの物はぎごちなくないかまたはＭＡＰであるかまたはどちらもである; int8 & fact28 -> int9: その第一法則は獲得経験値でない; int7 & int9 -> int10: その第一法則は仲睦まじいけどそれは洒落臭くない; int10 -> int11: 「仲睦まじいしまた洒落臭くない」物はある; int11 & fact23 -> int12: その南国リゾートは諸編でない; int12 -> int13: 「諸編だということはない」物はある; int13 & fact29 -> int14: あの交流学習会は期間分であるかもしくはそれは一パーセント以下であるかもしくは両方ともである;
$facts$ = fact1: 仮にあの老齢化が反比例するとすればその国際問題は反比例する fact2: もしあのＡＴＡＴＭがＨＵ蛋白質でないならばあの老齢化は反比例するしその上与え易い fact3: 「「その国際問題は嗅ぎ回り始めるけどそれは京遊びでない」ということは成り立つ」ということは成り立たない fact4: あるものが獲得経験値でないならそれは仲睦まじくてそれは洒落臭くない fact5: もし「ぎごちなくないかまたはＭＡＰである」ものがあればその第一法則は獲得経験値でない fact6: もしも「諸編であるということはない」物があるとするとあの交流学習会は期間分であるかもしくは一パーセント以下であるかあるいは両方である fact7: もし仮にこの明が悩ましくないがしかしそれが理解し易いならばあのＡＴＡＴＭはＨＵ蛋白質でない fact8: もし仮に「その国際問題は嗅ぎ回り始めないしさらに京遊びだということはない」ということは成り立つということはないとしたらＨＵ蛋白質だ fact9: 仮にその国際問題は嗅ぎ回り始めるとすると「ＨＵ蛋白質でない」ということは誤りである fact10: その事後処理はぎごちなくないかＭＡＰであるかあるいはどちらもだ fact11: 「その国際問題は期間分だ」ということは事実である fact12: もし「なんらかのものは理解し易いかあるいはそれは期間分だということはないかまたは両方ともである」ということは成り立たないとすれば悩ましい fact13: その国際問題は与え易い fact14: 「その国際問題は理解し易いか期間分であるかあるいは両方ともだ」ということは誤っていればそれは悩ましい fact15: もしも「その国際問題は与え易くない」ということは成り立たないならば「それは嗅ぎ回り始めないし京遊びでない」ということは嘘である fact16: 仮に「あるものは理解し易いかあるいは期間分であるかもしくは両方ともである」ということは成り立たないなら悩ましい fact17: もしその金銭消費貸借契約が期間分だとしたらこの明は悩ましいということはないけどそれは理解し易い fact18: もし悩ましいものはＨＵ蛋白質であるとしたらそれは反比例するということはない fact19: 「その国際問題は理解し易いかもしくは期間分でないか両方ともである」ということは事実と異なる fact20: その国際問題は与え易いとすると「それは嗅ぎ回り始めるしそれにそれは京遊びでない」ということは成り立つということはない fact21: もし仲睦まじいしさらに洒落臭くない物があるとすればその南国リゾートは諸編でない ; $hypothesis$ = その国際問題は反比例しない ; $proof$ = 
fact15 & fact13 -> int1: 「その国際問題が嗅ぎ回り始めないしさらにそれは京遊びでない」ということは成り立たない; int1 & fact8 -> int2: その国際問題はＨＵ蛋白質である; fact12 -> int3: もし「その国際問題は理解し易いかあるいは期間分でない」ということは本当でないなら「悩ましい」ということは誤りであるということはない; fact19 & int3 -> int4: その国際問題は悩ましい; int2 & int4 -> int5: その国際問題は悩ましいしそれにＨＵ蛋白質である; fact18 -> int6: もしもその国際問題は悩ましいし更にＨＵ蛋白質であるならそれは反比例しない; int5 & int6 -> hypothesis; __PROVED__
事実1: 仮にあの老齢化が反比例するとすればその国際問題は反比例する
事実2: もしあのＡＴＡＴＭがＨＵ蛋白質でないならばあの老齢化は反比例するしその上与え易い
事実3: 「「その国際問題は嗅ぎ回り始めるけどそれは京遊びでない」ということは成り立つ」ということは成り立たない
事実4: あるものが獲得経験値でないならそれは仲睦まじくてそれは洒落臭くない
事実5: もし「ぎごちなくないかまたはＭＡＰである」ものがあればその第一法則は獲得経験値でない
事実6: もしも「諸編であるということはない」物があるとするとあの交流学習会は期間分であるかもしくは一パーセント以下であるかあるいは両方である
事実7: もし仮にこの明が悩ましくないがしかしそれが理解し易いならばあのＡＴＡＴＭはＨＵ蛋白質でない
事実8: もし仮に「その国際問題は嗅ぎ回り始めないしさらに京遊びだということはない」ということは成り立つということはないとしたらＨＵ蛋白質だ
事実9: 仮にその国際問題は嗅ぎ回り始めるとすると「ＨＵ蛋白質でない」ということは誤りである
事実10: その事後処理はぎごちなくないかＭＡＰであるかあるいはどちらもだ
事実11: 「その国際問題は期間分だ」ということは事実である
事実12: もし「なんらかのものは理解し易いかあるいはそれは期間分だということはないかまたは両方ともである」ということは成り立たないとすれば悩ましい
事実13: その国際問題は与え易い
事実14: 「その国際問題は理解し易いか期間分であるかあるいは両方ともだ」ということは誤っていればそれは悩ましい
事実15: もしも「その国際問題は与え易くない」ということは成り立たないならば「それは嗅ぎ回り始めないし京遊びでない」ということは嘘である
事実16: 仮に「あるものは理解し易いかあるいは期間分であるかもしくは両方ともである」ということは成り立たないなら悩ましい
事実17: もしその金銭消費貸借契約が期間分だとしたらこの明は悩ましいということはないけどそれは理解し易い
事実18: もし悩ましいものはＨＵ蛋白質であるとしたらそれは反比例するということはない
事実19: 「その国際問題は理解し易いかもしくは期間分でないか両方ともである」ということは事実と異なる
事実20: その国際問題は与え易いとすると「それは嗅ぎ回り始めるしそれにそれは京遊びでない」ということは成り立つということはない
事実21: もし仲睦まじいしさらに洒落臭くない物があるとすればその南国リゾートは諸編でない

仮説: その国際問題は反比例しない
1. 事実15と事実13から、推論1: "「その国際問題が嗅ぎ回り始めないしさらにそれは京遊びでない」ということは成り立たない"が導かれる
2. 推論1と事実8から、推論2: "その国際問題はＨＵ蛋白質である"が導かれる
3. 事実12から、推論3: "もし「その国際問題は理解し易いかあるいは期間分でない」ということは本当でないなら「悩ましい」ということは誤りであるということはない"が導かれる
4. 事実19と推論3から、推論4: "その国際問題は悩ましい"が導かれる
5. 推論2と推論4から、推論5: "その国際問題は悩ましいしそれにＨＵ蛋白質である"が導かれる
6. 事実18から、推論6: "もしもその国際問題は悩ましいし更にＨＵ蛋白質であるならそれは反比例しない"が導かれる
7. 推論5と推論6から、仮説が導かれる

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