「仮に「引き出し易くないがしかし悍ましい」ということは間違っているなら「仮納付しない」ということは真実な」ものはある
fact1: 「もし仮に「夫婦らしくないしおまけに恙無い」ということは誤りであるなら着る」物はある fact2: 「「在野法曹でないし残り難い」ということは成り立てば知り難くない」物はある fact3: 「上がり難いとしたら「痴愚でない」ということは成り立つ」物はある fact4: 「「何らかのものは引き出し易くないけど悍ましい」ということは事実と異なるということはない」ということは成り立たないならそれは仮納付しない fact5: 「もし「チェコ人である」ということは事実であるとしたら嬲るということはない」ものはある fact6: 「もしも雄々しかないが軽しとしたら冷え易くない」物はある fact7: 「もしも「引き出し易いし更に悍ましい」ということは成り立たないとすれば「仮納付しない」ということは成り立つ」物はある fact8: 「もし仮に「明治憲法体制でないししかも補正する」ということは事実と異なるとすればインスティチュートシニアフェローである」ものはある fact9: この見向きは広がり難いとすれば「それは疲れ易いということはない」ということは確かだ fact10: 「もしも「剥がれ易くないが見え難い」ということは事実でないとすれば在野法曹でない」物はある fact11: 「もし仮に「古くないし平凡だ」ということは誤りであるとすると発症し易い」物はある fact12: 「もし「動き易くないけど補正する」ということは偽だとすると「生易しい」ということは本当な」物はある fact13: もし引き出し易くない物が悍ましいとしたら仮納付しない fact14: 「この購入契約は旧器であるということはないけれど仮納付する」ということは間違いなら焼きビーフンだ fact15: 「「最高レベルでないし本件自動車である」ということは間違いなら切れ込まない」物はある fact16: もしその高段者が本件自動車ならば悍ましかない fact17: 「もしも外し易いならガラス玉でない」物はある fact18: もし仮にこの見向きは地方住宅供給公社であるなら六〜八人だということはない fact19: 「このトラブル発生はしみったれない一方で汚れ難い」ということは成り立たないとしたら背馳する fact20: もしも「この利己主義は切り難いということはない一方でそれは仮納付する」ということは成り立たないなら塗り易くない
fact4 -> int1: もし仮に「この見向きは引き出し易くないがしかし悍ましい」ということは嘘であるとしたら仮納付しない; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に「夫婦らしくないしおまけに恙無い」ということは誤りであるなら着る」物はある fact2: 「「在野法曹でないし残り難い」ということは成り立てば知り難くない」物はある fact3: 「上がり難いとしたら「痴愚でない」ということは成り立つ」物はある fact4: 「「何らかのものは引き出し易くないけど悍ましい」ということは事実と異なるということはない」ということは成り立たないならそれは仮納付しない fact5: 「もし「チェコ人である」ということは事実であるとしたら嬲るということはない」ものはある fact6: 「もしも雄々しかないが軽しとしたら冷え易くない」物はある fact7: 「もしも「引き出し易いし更に悍ましい」ということは成り立たないとすれば「仮納付しない」ということは成り立つ」物はある fact8: 「もし仮に「明治憲法体制でないししかも補正する」ということは事実と異なるとすればインスティチュートシニアフェローである」ものはある fact9: この見向きは広がり難いとすれば「それは疲れ易いということはない」ということは確かだ fact10: 「もしも「剥がれ易くないが見え難い」ということは事実でないとすれば在野法曹でない」物はある fact11: 「もし仮に「古くないし平凡だ」ということは誤りであるとすると発症し易い」物はある fact12: 「もし「動き易くないけど補正する」ということは偽だとすると「生易しい」ということは本当な」物はある fact13: もし引き出し易くない物が悍ましいとしたら仮納付しない fact14: 「この購入契約は旧器であるということはないけれど仮納付する」ということは間違いなら焼きビーフンだ fact15: 「「最高レベルでないし本件自動車である」ということは間違いなら切れ込まない」物はある fact16: もしその高段者が本件自動車ならば悍ましかない fact17: 「もしも外し易いならガラス玉でない」物はある fact18: もし仮にこの見向きは地方住宅供給公社であるなら六〜八人だということはない fact19: 「このトラブル発生はしみったれない一方で汚れ難い」ということは成り立たないとしたら背馳する fact20: もしも「この利己主義は切り難いということはない一方でそれは仮納付する」ということは成り立たないなら塗り易くない ; $hypothesis$ = 「仮に「引き出し易くないがしかし悍ましい」ということは間違っているなら「仮納付しない」ということは真実な」ものはある ; $proof$ = 
fact4 -> int1: もし仮に「この見向きは引き出し易くないがしかし悍ましい」ということは嘘であるとしたら仮納付しない; int1 -> hypothesis; __PROVED__
事実1: 「もし仮に「夫婦らしくないしおまけに恙無い」ということは誤りであるなら着る」物はある
事実2: 「「在野法曹でないし残り難い」ということは成り立てば知り難くない」物はある
事実3: 「上がり難いとしたら「痴愚でない」ということは成り立つ」物はある
事実4: 「「何らかのものは引き出し易くないけど悍ましい」ということは事実と異なるということはない」ということは成り立たないならそれは仮納付しない
事実5: 「もし「チェコ人である」ということは事実であるとしたら嬲るということはない」ものはある
事実6: 「もしも雄々しかないが軽しとしたら冷え易くない」物はある
事実7: 「もしも「引き出し易いし更に悍ましい」ということは成り立たないとすれば「仮納付しない」ということは成り立つ」物はある
事実8: 「もし仮に「明治憲法体制でないししかも補正する」ということは事実と異なるとすればインスティチュートシニアフェローである」ものはある
事実9: この見向きは広がり難いとすれば「それは疲れ易いということはない」ということは確かだ
事実10: 「もしも「剥がれ易くないが見え難い」ということは事実でないとすれば在野法曹でない」物はある
事実11: 「もし仮に「古くないし平凡だ」ということは誤りであるとすると発症し易い」物はある
事実12: 「もし「動き易くないけど補正する」ということは偽だとすると「生易しい」ということは本当な」物はある
事実13: もし引き出し易くない物が悍ましいとしたら仮納付しない
事実14: 「この購入契約は旧器であるということはないけれど仮納付する」ということは間違いなら焼きビーフンだ
事実15: 「「最高レベルでないし本件自動車である」ということは間違いなら切れ込まない」物はある
事実16: もしその高段者が本件自動車ならば悍ましかない
事実17: 「もしも外し易いならガラス玉でない」物はある
事実18: もし仮にこの見向きは地方住宅供給公社であるなら六〜八人だということはない
事実19: 「このトラブル発生はしみったれない一方で汚れ難い」ということは成り立たないとしたら背馳する
事実20: もしも「この利己主義は切り難いということはない一方でそれは仮納付する」ということは成り立たないなら塗り易くない

仮説: 「仮に「引き出し易くないがしかし悍ましい」ということは間違っているなら「仮納付しない」ということは真実な」ものはある
1. 事実4から、推論1: "もし仮に「この見向きは引き出し易くないがしかし悍ましい」ということは嘘であるとしたら仮納付しない"が導かれる
2. 推論1から、仮説が導かれる

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