この鑢は休らうかそれは真ん丸くないか両方ともだ
fact1: もし仮に「この下降期間は六十五歳前である」ということは真実ならばこの鑢は休らうか真ん丸くないか両方ともだ fact2: もしもあの神父が動き易くないとしたらこの翌年春は気高くて十四年度版だ fact3: 仮に「なにがしかの物は大・中会社でないしさらに握り締めない」ということは誤りであるとすればそれは雇用しない fact4: もし仮に「あの寺跡は呼び止めない一方でそれは心弱い」ということは本当であるとしたらこの下降期間は呼び止める fact5: もしこの下降期間が六十五歳前ならこの鑢は休らうかまたは真ん丸いかあるいは両方である fact6: この鑢は休らうかまたは真ん丸い fact7: もしその脳波が雇用しないとしたらあの寺跡は呼び止めないけれどそれは心弱い fact8: 仮に「気高い」ものはあるとすると「その脳波は大・中会社でなくてかつそれは握り締めるということはない」ということは成り立たない fact9: 「あの掟書は位相でないし移動出来ない」ということは成り立たない fact10: この下降期間は六十五歳前だ fact11: もしもなにがしかのものは六十五歳前であるならば「それは休らうかそれは真ん丸くない」ということは成り立たない fact12: 「あの掟書は位相でないし加えて移動出来るということはない」ということは成り立つということはないとしたら「あの神父は動き易くない」ということは成り立つ
fact1 & fact10 -> hypothesis;
「この鑢は休らうか真ん丸くないか両方ともである」ということは間違いである
fact13 -> int1: もしもこの鑢は六十五歳前であるならば「それは休らうかあるいは真ん丸くないかあるいはどちらもだ」ということは誤りだ; fact18 -> int2: もしも「その脳波は大・中会社だということはなくて握り締めるということはない」ということは正しくないとすれば「雇用しない」ということは本当だ; fact17 & fact15 -> int3: あの神父は動き易いということはない; fact14 & int3 -> int4: この翌年春は気高いし更にそれは十四年度版だ; int4 -> int5: 「この翌年春は気高い」ということは成り立つ; int5 -> int6: 気高い物はある; int6 & fact20 -> int7: 「その脳波は大・中会社でないし加えて握り締めない」ということは間違いである; int2 & int7 -> int8: その脳波は雇用しない; fact16 & int8 -> int9: あの寺跡は呼び止めないがしかしそれは心弱い; fact19 & int9 -> int10: この下降期間は呼び止める; int10 -> int11: この下降期間は六十五歳前であるかあるいは呼び止めるかもしくはどちらもである; int11 -> int12: 「六十五歳前であるか呼び止める」ものはある;
$facts$ = fact1: もし仮に「この下降期間は六十五歳前である」ということは真実ならばこの鑢は休らうか真ん丸くないか両方ともだ fact2: もしもあの神父が動き易くないとしたらこの翌年春は気高くて十四年度版だ fact3: 仮に「なにがしかの物は大・中会社でないしさらに握り締めない」ということは誤りであるとすればそれは雇用しない fact4: もし仮に「あの寺跡は呼び止めない一方でそれは心弱い」ということは本当であるとしたらこの下降期間は呼び止める fact5: もしこの下降期間が六十五歳前ならこの鑢は休らうかまたは真ん丸いかあるいは両方である fact6: この鑢は休らうかまたは真ん丸い fact7: もしその脳波が雇用しないとしたらあの寺跡は呼び止めないけれどそれは心弱い fact8: 仮に「気高い」ものはあるとすると「その脳波は大・中会社でなくてかつそれは握り締めるということはない」ということは成り立たない fact9: 「あの掟書は位相でないし移動出来ない」ということは成り立たない fact10: この下降期間は六十五歳前だ fact11: もしもなにがしかのものは六十五歳前であるならば「それは休らうかそれは真ん丸くない」ということは成り立たない fact12: 「あの掟書は位相でないし加えて移動出来るということはない」ということは成り立つということはないとしたら「あの神父は動き易くない」ということは成り立つ ; $hypothesis$ = この鑢は休らうかそれは真ん丸くないか両方ともだ ; $proof$ = 
fact1 & fact10 -> hypothesis; __PROVED__
事実1: もし仮に「この下降期間は六十五歳前である」ということは真実ならばこの鑢は休らうか真ん丸くないか両方ともだ
事実2: もしもあの神父が動き易くないとしたらこの翌年春は気高くて十四年度版だ
事実3: 仮に「なにがしかの物は大・中会社でないしさらに握り締めない」ということは誤りであるとすればそれは雇用しない
事実4: もし仮に「あの寺跡は呼び止めない一方でそれは心弱い」ということは本当であるとしたらこの下降期間は呼び止める
事実5: もしこの下降期間が六十五歳前ならこの鑢は休らうかまたは真ん丸いかあるいは両方である
事実6: この鑢は休らうかまたは真ん丸い
事実7: もしその脳波が雇用しないとしたらあの寺跡は呼び止めないけれどそれは心弱い
事実8: 仮に「気高い」ものはあるとすると「その脳波は大・中会社でなくてかつそれは握り締めるということはない」ということは成り立たない
事実9: 「あの掟書は位相でないし移動出来ない」ということは成り立たない
事実10: この下降期間は六十五歳前だ
事実11: もしもなにがしかのものは六十五歳前であるならば「それは休らうかそれは真ん丸くない」ということは成り立たない
事実12: 「あの掟書は位相でないし加えて移動出来るということはない」ということは成り立つということはないとしたら「あの神父は動き易くない」ということは成り立つ

仮説: この鑢は休らうかそれは真ん丸くないか両方ともだ
1. 事実1と事実10から、仮説が導かれる

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