「このランドは律ホウ術でないけどそれは与え難い」ということは成り立つということはない
fact1: もし仮にとある物は生き長らえないとすれば「このユタ州政府は言い易くないが利口振る」ということは嘘である fact2: もしそのノミネートは律ホウ術であるとすると「このランドは律ホウ術で更に与え難い」ということは本当でない fact3: もし仮にその主債務は解消しないなら「この孝行息子はさらっとしないし二十三日判決でない」ということは誤りである fact4: もしこの物理的劣化が供給し続けるとするとそのノミネートは律ホウ術である fact5: この物理的劣化は勘定出来る fact6: 仮に何らかのものが申し立てするとすれば供給し続ける fact7: 「生き長らえない」ものはある fact8: 仮に「このユタ州政府は言い易くないけど利口振る」ということは嘘であるならばあの腰刀は細長い fact9: その主債務は解消しない fact10: もし仮に「そのノミネートは律ホウ術である」ということは事実であるとすると「このランドは律ホウ術でないけれど与え難い」ということは間違いである fact11: もし仮にこのランドが供給し続けるならこの物理的劣化は与え難い fact12: この物理的劣化はＴＭであるかあるいはそれは供給し続けるかあるいは両方だ fact13: 「そのノミネートは律ホウ術でない一方で与え難い」ということは偽である fact14: もし仮にそのノミネートが供給し続ければこの物理的劣化はＴＭでない fact15: 「このランドは律ホウ術で与え難い」ということは誤りである fact16: その腰刀が細長いとすればあの孝行息子は味気ない fact17: 仮にこの物理的劣化がＴＭだとすればそのノミネートは律ホウ術だ fact18: もしも「何らかのものはさらっとしないし二十三日判決でない」ということは真実でないなら「さらっとする」ということは誤りであるということはない
fact12 & fact17 & fact4 -> int1: そのノミネートは律ホウ術である; int1 & fact10 -> hypothesis;
fact12 & fact17 & fact4 -> int1: {C}{c}; int1 & fact10 -> hypothesis;
このランドは律ホウ術でないけれど与え難い
fact20 -> int2: そのノミネートが申し立てするとするとそれは供給し続ける; fact26 -> int3: 仮に「この孝行息子はさらっとしないし二十三日判決でない」ということは誤りであるとしたらさらっとする; fact25 & fact23 -> int4: 「この孝行息子はさらっとするということはなくて二十三日判決でない」ということは本当でない; int3 & int4 -> int5: この孝行息子はさらっとする; fact24 & fact21 -> int6: 「このユタ州政府は言い易くないがしかし利口振る」ということは成り立たない; fact27 & int6 -> int7: その腰刀は細長い; fact19 & int7 -> int8: この孝行息子は味気ない; int5 & int8 -> int9: この孝行息子はさらっとするし味気ない; int9 -> int10: 「さらっとするしその上味気ない」ものはある;
$facts$ = fact1: もし仮にとある物は生き長らえないとすれば「このユタ州政府は言い易くないが利口振る」ということは嘘である fact2: もしそのノミネートは律ホウ術であるとすると「このランドは律ホウ術で更に与え難い」ということは本当でない fact3: もし仮にその主債務は解消しないなら「この孝行息子はさらっとしないし二十三日判決でない」ということは誤りである fact4: もしこの物理的劣化が供給し続けるとするとそのノミネートは律ホウ術である fact5: この物理的劣化は勘定出来る fact6: 仮に何らかのものが申し立てするとすれば供給し続ける fact7: 「生き長らえない」ものはある fact8: 仮に「このユタ州政府は言い易くないけど利口振る」ということは嘘であるならばあの腰刀は細長い fact9: その主債務は解消しない fact10: もし仮に「そのノミネートは律ホウ術である」ということは事実であるとすると「このランドは律ホウ術でないけれど与え難い」ということは間違いである fact11: もし仮にこのランドが供給し続けるならこの物理的劣化は与え難い fact12: この物理的劣化はＴＭであるかあるいはそれは供給し続けるかあるいは両方だ fact13: 「そのノミネートは律ホウ術でない一方で与え難い」ということは偽である fact14: もし仮にそのノミネートが供給し続ければこの物理的劣化はＴＭでない fact15: 「このランドは律ホウ術で与え難い」ということは誤りである fact16: その腰刀が細長いとすればあの孝行息子は味気ない fact17: 仮にこの物理的劣化がＴＭだとすればそのノミネートは律ホウ術だ fact18: もしも「何らかのものはさらっとしないし二十三日判決でない」ということは真実でないなら「さらっとする」ということは誤りであるということはない ; $hypothesis$ = 「このランドは律ホウ術でないけどそれは与え難い」ということは成り立つということはない ; $proof$ = 
fact12 & fact17 & fact4 -> int1: そのノミネートは律ホウ術である; int1 & fact10 -> hypothesis; __PROVED__
事実1: もし仮にとある物は生き長らえないとすれば「このユタ州政府は言い易くないが利口振る」ということは嘘である
事実2: もしそのノミネートは律ホウ術であるとすると「このランドは律ホウ術で更に与え難い」ということは本当でない
事実3: もし仮にその主債務は解消しないなら「この孝行息子はさらっとしないし二十三日判決でない」ということは誤りである
事実4: もしこの物理的劣化が供給し続けるとするとそのノミネートは律ホウ術である
事実5: この物理的劣化は勘定出来る
事実6: 仮に何らかのものが申し立てするとすれば供給し続ける
事実7: 「生き長らえない」ものはある
事実8: 仮に「このユタ州政府は言い易くないけど利口振る」ということは嘘であるならばあの腰刀は細長い
事実9: その主債務は解消しない
事実10: もし仮に「そのノミネートは律ホウ術である」ということは事実であるとすると「このランドは律ホウ術でないけれど与え難い」ということは間違いである
事実11: もし仮にこのランドが供給し続けるならこの物理的劣化は与え難い
事実12: この物理的劣化はＴＭであるかあるいはそれは供給し続けるかあるいは両方だ
事実13: 「そのノミネートは律ホウ術でない一方で与え難い」ということは偽である
事実14: もし仮にそのノミネートが供給し続ければこの物理的劣化はＴＭでない
事実15: 「このランドは律ホウ術で与え難い」ということは誤りである
事実16: その腰刀が細長いとすればあの孝行息子は味気ない
事実17: 仮にこの物理的劣化がＴＭだとすればそのノミネートは律ホウ術だ
事実18: もしも「何らかのものはさらっとしないし二十三日判決でない」ということは真実でないなら「さらっとする」ということは誤りであるということはない

仮説: 「このランドは律ホウ術でないけどそれは与え難い」ということは成り立つということはない
1. 事実12と事実17と事実4から、推論1: "そのノミネートは律ホウ術である"が導かれる
2. 推論1と事実10から、仮説が導かれる

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