「あの豆科植物は操作し易いかもしくはそれは手当てするかもしくは両方ともである」ということは成り立たない
fact1: この新境地は一新する fact2: もしもなにがしかの物は一新するとすれば「それは三Ｅ検査であるし止む無くない」ということは正しい fact3: この信用保証協会は手当てしないならば「あの豆科植物は操作し易いかもしくは手当てする」ということは間違っている fact4: もしも何らかのものが優しいとすればこの信用保証協会は家系図でないし更に二千四年度でない fact5: もし仮にこの五逆が二千四年度でないとするとこの信用保証協会は優しくてそれにそれは家系図だ fact6: この毎分は赤松でないなら「それは到着出来ないけれど分かり難い」ということは成り立たない fact7: もしもなんらかの物は家系図でないし加えて二千四年度でないとしたら「それは手当てしない」ということは正しい fact8: もし仮にこの信用保証協会が手当てするならばあの豆科植物は手当てする fact9: 「「操作し易くないし到着出来ない」ということは嘘な」物はある fact10: あの豆科植物は操作し易くない fact11: なにかは優しい fact12: 優しい物は手当てする fact13: もし仮に三Ｅ検査が止む無くないとしたらそれは空閑でない fact14: もし仮にこの新境地は空閑であるということはないならば「あの青紫色は広がるし更に前期である」ということは成り立つということはない fact15: もしも「「あの青紫色は広がるしかつそれは前期だ」ということは成り立つ」ということは偽であるならばこの毎分は赤松でない
fact11 & fact4 -> int1: この信用保証協会は家系図でないし二千四年度でない; fact7 -> int2: もしこの信用保証協会は家系図でなくて二千四年度でないとするとそれは手当てしない; int1 & int2 -> int3: この信用保証協会は手当てしない; int3 & fact3 -> hypothesis;
「この原資は変わり易いか二千四年度である」ということは成り立たない
$facts$ = fact1: この新境地は一新する fact2: もしもなにがしかの物は一新するとすれば「それは三Ｅ検査であるし止む無くない」ということは正しい fact3: この信用保証協会は手当てしないならば「あの豆科植物は操作し易いかもしくは手当てする」ということは間違っている fact4: もしも何らかのものが優しいとすればこの信用保証協会は家系図でないし更に二千四年度でない fact5: もし仮にこの五逆が二千四年度でないとするとこの信用保証協会は優しくてそれにそれは家系図だ fact6: この毎分は赤松でないなら「それは到着出来ないけれど分かり難い」ということは成り立たない fact7: もしもなんらかの物は家系図でないし加えて二千四年度でないとしたら「それは手当てしない」ということは正しい fact8: もし仮にこの信用保証協会が手当てするならばあの豆科植物は手当てする fact9: 「「操作し易くないし到着出来ない」ということは嘘な」物はある fact10: あの豆科植物は操作し易くない fact11: なにかは優しい fact12: 優しい物は手当てする fact13: もし仮に三Ｅ検査が止む無くないとしたらそれは空閑でない fact14: もし仮にこの新境地は空閑であるということはないならば「あの青紫色は広がるし更に前期である」ということは成り立つということはない fact15: もしも「「あの青紫色は広がるしかつそれは前期だ」ということは成り立つ」ということは偽であるならばこの毎分は赤松でない ; $hypothesis$ = 「あの豆科植物は操作し易いかもしくはそれは手当てするかもしくは両方ともである」ということは成り立たない ; $proof$ = 
fact11 & fact4 -> int1: この信用保証協会は家系図でないし二千四年度でない; fact7 -> int2: もしこの信用保証協会は家系図でなくて二千四年度でないとするとそれは手当てしない; int1 & int2 -> int3: この信用保証協会は手当てしない; int3 & fact3 -> hypothesis; __PROVED__
事実1: この新境地は一新する
事実2: もしもなにがしかの物は一新するとすれば「それは三Ｅ検査であるし止む無くない」ということは正しい
事実3: この信用保証協会は手当てしないならば「あの豆科植物は操作し易いかもしくは手当てする」ということは間違っている
事実4: もしも何らかのものが優しいとすればこの信用保証協会は家系図でないし更に二千四年度でない
事実5: もし仮にこの五逆が二千四年度でないとするとこの信用保証協会は優しくてそれにそれは家系図だ
事実6: この毎分は赤松でないなら「それは到着出来ないけれど分かり難い」ということは成り立たない
事実7: もしもなんらかの物は家系図でないし加えて二千四年度でないとしたら「それは手当てしない」ということは正しい
事実8: もし仮にこの信用保証協会が手当てするならばあの豆科植物は手当てする
事実9: 「「操作し易くないし到着出来ない」ということは嘘な」物はある
事実10: あの豆科植物は操作し易くない
事実11: なにかは優しい
事実12: 優しい物は手当てする
事実13: もし仮に三Ｅ検査が止む無くないとしたらそれは空閑でない
事実14: もし仮にこの新境地は空閑であるということはないならば「あの青紫色は広がるし更に前期である」ということは成り立つということはない
事実15: もしも「「あの青紫色は広がるしかつそれは前期だ」ということは成り立つ」ということは偽であるならばこの毎分は赤松でない

仮説: 「あの豆科植物は操作し易いかもしくはそれは手当てするかもしくは両方ともである」ということは成り立たない
1. 事実11と事実4から、推論1: "この信用保証協会は家系図でないし二千四年度でない"が導かれる
2. 事実7から、推論2: "もしこの信用保証協会は家系図でなくて二千四年度でないとするとそれは手当てしない"が導かれる
3. 推論1と推論2から、推論3: "この信用保証協会は手当てしない"が導かれる
4. 推論3と事実3から、仮説が導かれる

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