「もしもＮＡＦＴＡでないかまたは証紙でないかどちらもであるとしたら「消化し難い」ということは間違っているということはない」ものはある
fact1: もし仮にその高段者が消化し難くないかまたは歯科診療録であるということはないならばそれはもどかしい fact2: なにかは気付き難くないかまたはそれは御届けるということはないかもしくは両方であるとすれば馳駆する fact3: 仮にあの押麦はＮＡＦＴＡでないとしたらそれは消化し難い fact4: 何らかのものがＮＡＦＴＡでないかもしくはそれは証紙でないならば消化し難い fact5: 「「ＮＡＦＴＡでないかもしくは証紙であるかまたはどちらもだとすると消化し難い」ものはある」ということは成り立つ fact6: もし仮にあの押麦がＮＡＦＴＡでないかあるいはそれは証紙であるかあるいはどちらもだとすれば「それは消化し難い」ということは事実だ fact7: もしあるものはＮＡＦＴＡでないならそれは消化し難い fact8: 「もし仮に着せがましいということはないかまたは約八十万人だということはないかあるいは両方ならば手作業な」ものはある fact9: なんらかの物がＮＡＦＴＡだということはないかまたは証紙であるかまたは両方ともならばそれは消化し難い fact10: 仮に「この緑十字は証紙でないか共同市場でないかもしくはどちらもだ」ということは成り立つとすればギリシャ悲劇である fact11: 「ＮＡＦＴＡでないなら「消化し難い」ということは成り立つ」ものはある fact12: 「ＯＢ臭くないかあるいは白茶けるかあるいはどちらもであるとすると愛犬である」物はある fact13: なにがしかの物がカバーすらないかそれが読み切れないなら増え過ぎる fact14: 「キャッシュ化するということはないかまたは言い難くないならば「消える」ということは成り立つ」ものはある fact15: 「薄紙でないかまたは仄白いかまたはどちらもだとすると勘違いし易い」物はある fact16: 「「もしも戻り為さらないかもしくは再統合するかまたは両方だとすれば自決する」ものはある」ということは成り立つ
fact4 -> int1: あの押麦はＮＡＦＴＡであるということはないか証紙でないかどちらもなら消化し難い; int1 -> hypothesis;
$facts$ = fact1: もし仮にその高段者が消化し難くないかまたは歯科診療録であるということはないならばそれはもどかしい fact2: なにかは気付き難くないかまたはそれは御届けるということはないかもしくは両方であるとすれば馳駆する fact3: 仮にあの押麦はＮＡＦＴＡでないとしたらそれは消化し難い fact4: 何らかのものがＮＡＦＴＡでないかもしくはそれは証紙でないならば消化し難い fact5: 「「ＮＡＦＴＡでないかもしくは証紙であるかまたはどちらもだとすると消化し難い」ものはある」ということは成り立つ fact6: もし仮にあの押麦がＮＡＦＴＡでないかあるいはそれは証紙であるかあるいはどちらもだとすれば「それは消化し難い」ということは事実だ fact7: もしあるものはＮＡＦＴＡでないならそれは消化し難い fact8: 「もし仮に着せがましいということはないかまたは約八十万人だということはないかあるいは両方ならば手作業な」ものはある fact9: なんらかの物がＮＡＦＴＡだということはないかまたは証紙であるかまたは両方ともならばそれは消化し難い fact10: 仮に「この緑十字は証紙でないか共同市場でないかもしくはどちらもだ」ということは成り立つとすればギリシャ悲劇である fact11: 「ＮＡＦＴＡでないなら「消化し難い」ということは成り立つ」ものはある fact12: 「ＯＢ臭くないかあるいは白茶けるかあるいはどちらもであるとすると愛犬である」物はある fact13: なにがしかの物がカバーすらないかそれが読み切れないなら増え過ぎる fact14: 「キャッシュ化するということはないかまたは言い難くないならば「消える」ということは成り立つ」ものはある fact15: 「薄紙でないかまたは仄白いかまたはどちらもだとすると勘違いし易い」物はある fact16: 「「もしも戻り為さらないかもしくは再統合するかまたは両方だとすれば自決する」ものはある」ということは成り立つ ; $hypothesis$ = 「もしもＮＡＦＴＡでないかまたは証紙でないかどちらもであるとしたら「消化し難い」ということは間違っているということはない」ものはある ; $proof$ = 
fact4 -> int1: あの押麦はＮＡＦＴＡであるということはないか証紙でないかどちらもなら消化し難い; int1 -> hypothesis; __PROVED__
事実1: もし仮にその高段者が消化し難くないかまたは歯科診療録であるということはないならばそれはもどかしい
事実2: なにかは気付き難くないかまたはそれは御届けるということはないかもしくは両方であるとすれば馳駆する
事実3: 仮にあの押麦はＮＡＦＴＡでないとしたらそれは消化し難い
事実4: 何らかのものがＮＡＦＴＡでないかもしくはそれは証紙でないならば消化し難い
事実5: 「「ＮＡＦＴＡでないかもしくは証紙であるかまたはどちらもだとすると消化し難い」ものはある」ということは成り立つ
事実6: もし仮にあの押麦がＮＡＦＴＡでないかあるいはそれは証紙であるかあるいはどちらもだとすれば「それは消化し難い」ということは事実だ
事実7: もしあるものはＮＡＦＴＡでないならそれは消化し難い
事実8: 「もし仮に着せがましいということはないかまたは約八十万人だということはないかあるいは両方ならば手作業な」ものはある
事実9: なんらかの物がＮＡＦＴＡだということはないかまたは証紙であるかまたは両方ともならばそれは消化し難い
事実10: 仮に「この緑十字は証紙でないか共同市場でないかもしくはどちらもだ」ということは成り立つとすればギリシャ悲劇である
事実11: 「ＮＡＦＴＡでないなら「消化し難い」ということは成り立つ」ものはある
事実12: 「ＯＢ臭くないかあるいは白茶けるかあるいはどちらもであるとすると愛犬である」物はある
事実13: なにがしかの物がカバーすらないかそれが読み切れないなら増え過ぎる
事実14: 「キャッシュ化するということはないかまたは言い難くないならば「消える」ということは成り立つ」ものはある
事実15: 「薄紙でないかまたは仄白いかまたはどちらもだとすると勘違いし易い」物はある
事実16: 「「もしも戻り為さらないかもしくは再統合するかまたは両方だとすれば自決する」ものはある」ということは成り立つ

仮説: 「もしもＮＡＦＴＡでないかまたは証紙でないかどちらもであるとしたら「消化し難い」ということは間違っているということはない」ものはある
1. 事実4から、推論1: "あの押麦はＮＡＦＴＡであるということはないか証紙でないかどちらもなら消化し難い"が導かれる
2. 推論1から、仮説が導かれる

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