「「頼み難くて官だ」ということは事実と異なるならボサノバであるということはない」物はある
fact1: 仮に「なんらかのものは吐き出せるしそれに所狭し」ということは間違っているとしたらそれは宝石箱でない fact2: もし頼み難いものが官だとするとそれはボサノバだということはない fact3: 「もしも官でないならボサノバでない」ものはある fact4: 「頼み難いしそれに官であるとしたら「ボサノバでない」ということは成り立つ」物はある fact5: 仮に「この家族員は頼み難くて加えてＡＤＨである」ということは誤りであるとすると労務管理上でない fact6: もし仮に「とあるものは変え難くて世界ランクだ」ということは間違いであるなら手形行為でない fact7: もし「何かは頼み難いしまた官だ」ということは嘘だとすればそれはボサノバだ fact8: もし仮に「とある物は優しいしかつ第十二飛行教育団だ」ということは嘘だとするとそれは合い過ぎない fact9: 「もし「万葉人で生活し易い」ということは誤りならば仲直り出来ない」物はある fact10: 「もし仮に「「リビングウイルだしその上用心深い」ということは確かである」ということは偽ならばし掛けない」ものはある fact11: もしも「あるものは頼み難いしかつそれは官である」ということは誤りであるとすればそれはボサノバだということはない fact12: もし「「このＤＶＤ‐ＲＯＭドライブは御返し致すしまた腹黒い」ということは確かだ」ということは成り立たないならばそれは脱獄しない fact13: 「「頼み難いししかも官だ」ということは成り立たないならばボサノバな」物はある fact14: もしこの家族員は官でないとしたらボサノバでない fact15: もし「なにがしかの物は勘当するししかも擽ったい」ということは誤りだとするとそれは電子図書館でない fact16: もし仮に「この家族員は頼み難いしかつ官だ」ということは成り立たないとするとそれはボサノバである fact17: もし仮に「なにかは等ししおまけに隠し続ける」ということは誤りならばそれは蹴破らない fact18: もしも「「そのパイオニア達がカランだしそれはボサノバだ」ということは成り立たない」ということは本当だとすれば遣り返さない fact19: もしもこの家族員が頼み難くて官であるならそれはボサノバだということはない fact20: 仮に「なんらかのものは第十二飛行教育団で加えて重たい」ということは成り立たないとしたら自国政府でない fact21: 何らかのものは官でないとしたらそれはボサノバであるということはない
fact11 -> int1: もし仮に「この家族員が頼み難いしその上官である」ということは間違いであるならばボサノバでない; int1 -> hypothesis;
$facts$ = fact1: 仮に「なんらかのものは吐き出せるしそれに所狭し」ということは間違っているとしたらそれは宝石箱でない fact2: もし頼み難いものが官だとするとそれはボサノバだということはない fact3: 「もしも官でないならボサノバでない」ものはある fact4: 「頼み難いしそれに官であるとしたら「ボサノバでない」ということは成り立つ」物はある fact5: 仮に「この家族員は頼み難くて加えてＡＤＨである」ということは誤りであるとすると労務管理上でない fact6: もし仮に「とあるものは変え難くて世界ランクだ」ということは間違いであるなら手形行為でない fact7: もし「何かは頼み難いしまた官だ」ということは嘘だとすればそれはボサノバだ fact8: もし仮に「とある物は優しいしかつ第十二飛行教育団だ」ということは嘘だとするとそれは合い過ぎない fact9: 「もし「万葉人で生活し易い」ということは誤りならば仲直り出来ない」物はある fact10: 「もし仮に「「リビングウイルだしその上用心深い」ということは確かである」ということは偽ならばし掛けない」ものはある fact11: もしも「あるものは頼み難いしかつそれは官である」ということは誤りであるとすればそれはボサノバだということはない fact12: もし「「このＤＶＤ‐ＲＯＭドライブは御返し致すしまた腹黒い」ということは確かだ」ということは成り立たないならばそれは脱獄しない fact13: 「「頼み難いししかも官だ」ということは成り立たないならばボサノバな」物はある fact14: もしこの家族員は官でないとしたらボサノバでない fact15: もし「なにがしかの物は勘当するししかも擽ったい」ということは誤りだとするとそれは電子図書館でない fact16: もし仮に「この家族員は頼み難いしかつ官だ」ということは成り立たないとするとそれはボサノバである fact17: もし仮に「なにかは等ししおまけに隠し続ける」ということは誤りならばそれは蹴破らない fact18: もしも「「そのパイオニア達がカランだしそれはボサノバだ」ということは成り立たない」ということは本当だとすれば遣り返さない fact19: もしもこの家族員が頼み難くて官であるならそれはボサノバだということはない fact20: 仮に「なんらかのものは第十二飛行教育団で加えて重たい」ということは成り立たないとしたら自国政府でない fact21: 何らかのものは官でないとしたらそれはボサノバであるということはない ; $hypothesis$ = 「「頼み難くて官だ」ということは事実と異なるならボサノバであるということはない」物はある ; $proof$ = 
fact11 -> int1: もし仮に「この家族員が頼み難いしその上官である」ということは間違いであるならばボサノバでない; int1 -> hypothesis; __PROVED__
事実1: 仮に「なんらかのものは吐き出せるしそれに所狭し」ということは間違っているとしたらそれは宝石箱でない
事実2: もし頼み難いものが官だとするとそれはボサノバだということはない
事実3: 「もしも官でないならボサノバでない」ものはある
事実4: 「頼み難いしそれに官であるとしたら「ボサノバでない」ということは成り立つ」物はある
事実5: 仮に「この家族員は頼み難くて加えてＡＤＨである」ということは誤りであるとすると労務管理上でない
事実6: もし仮に「とあるものは変え難くて世界ランクだ」ということは間違いであるなら手形行為でない
事実7: もし「何かは頼み難いしまた官だ」ということは嘘だとすればそれはボサノバだ
事実8: もし仮に「とある物は優しいしかつ第十二飛行教育団だ」ということは嘘だとするとそれは合い過ぎない
事実9: 「もし「万葉人で生活し易い」ということは誤りならば仲直り出来ない」物はある
事実10: 「もし仮に「「リビングウイルだしその上用心深い」ということは確かである」ということは偽ならばし掛けない」ものはある
事実11: もしも「あるものは頼み難いしかつそれは官である」ということは誤りであるとすればそれはボサノバだということはない
事実12: もし「「このＤＶＤ‐ＲＯＭドライブは御返し致すしまた腹黒い」ということは確かだ」ということは成り立たないならばそれは脱獄しない
事実13: 「「頼み難いししかも官だ」ということは成り立たないならばボサノバな」物はある
事実14: もしこの家族員は官でないとしたらボサノバでない
事実15: もし「なにがしかの物は勘当するししかも擽ったい」ということは誤りだとするとそれは電子図書館でない
事実16: もし仮に「この家族員は頼み難いしかつ官だ」ということは成り立たないとするとそれはボサノバである
事実17: もし仮に「なにかは等ししおまけに隠し続ける」ということは誤りならばそれは蹴破らない
事実18: もしも「「そのパイオニア達がカランだしそれはボサノバだ」ということは成り立たない」ということは本当だとすれば遣り返さない
事実19: もしもこの家族員が頼み難くて官であるならそれはボサノバだということはない
事実20: 仮に「なんらかのものは第十二飛行教育団で加えて重たい」ということは成り立たないとしたら自国政府でない
事実21: 何らかのものは官でないとしたらそれはボサノバであるということはない

仮説: 「「頼み難くて官だ」ということは事実と異なるならボサノバであるということはない」物はある
1. 事実11から、推論1: "もし仮に「この家族員が頼み難いしその上官である」ということは間違いであるならばボサノバでない"が導かれる
2. 推論1から、仮説が導かれる

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