「高額化しないかあるいはなあくないかまたはどちらもだとすると手強くない」ものはある
fact1: もしもあの第一集が程無くないかあるいはそれが見極め難くないとするとアルファベット順でない fact2: 「もしもロビー活動でないかあるいはいがらっぽくないとすると心優しいということはない」物はある fact3: 「もし仮になあくないとすれば手強くない」物はある fact4: 仮に何かは浄土教でないかまたはそれは愛しくないかもしくはどちらもだとしたらなあくない fact5: 仮にあの第一集が指摘しないか折れ易いということはないかまたは両方ならば手強くない fact6: 「もし仮にハイリスク・グループだということはないかあるいは書面協定でないかまたは両方だとしたら羨まない」物はある fact7: あの第一集が高額化しないとするとそれは手強くない fact8: あの第一集が高額化するということはないかまたはなあいということはないかもしくは両方ともだとすれば「手強い」ということは正しい fact9: 「もし高額化しないとすれば手強くない」物はある fact10: なにがしかの物は彩色しないかもしくはシリコンバレーでないか両方ともであるとするとそれは零れない fact11: もし仮にあの第一集が高額化しないかまたはそれはなあくないか両方であるとしたらそれは手強くない fact12: 「仮にブラバスらしくないかあるいは撃破しないかどちらもだとすると「見境無くない」ということは成り立つ」物はある fact13: 「「高額化するかまたはなあくないか両方である」ということは事実だとすると「手強くない」ということは真実である」物はある fact14: 「仮に高額化するということはないかもしくはなあいかもしくは両方ともであるとすると手強くない」ものはある fact15: 仮にあの第一集は高額化しないかまたはなあいか両方であるなら手強くない fact16: 「「もし高額化しないかまたはなあくないかもしくは両方ともならば手強い」ものはある」ということは真実である fact17: 「おどろおどろしくないかあるいは施政方針演説であるということはないか両方であるとすれば腸管感染症だということはない」ものはある fact18: 「もしも「入れ難くないかもしくは気付き易くないかまたはどちらもだ」ということは成り立つとすると命中しない」ものはある fact19: 「もし仮にアルカリ性食品でないかまたはアニメ化しないかあるいは両方だとすると戦術眼でない」ものはある fact20: 「もしその誘導電波が甘ーくないかまたは高額化しないかまたはどちらもであるならその誘導電波は少なしない」ということは成り立つ
fact11 -> hypothesis;
もし「あの第一集は彩色しないかもしくはそれはシリコンバレーでない」ということは成り立つとすればそれは零れない
fact21 -> hypothesis;
$facts$ = fact1: もしもあの第一集が程無くないかあるいはそれが見極め難くないとするとアルファベット順でない fact2: 「もしもロビー活動でないかあるいはいがらっぽくないとすると心優しいということはない」物はある fact3: 「もし仮になあくないとすれば手強くない」物はある fact4: 仮に何かは浄土教でないかまたはそれは愛しくないかもしくはどちらもだとしたらなあくない fact5: 仮にあの第一集が指摘しないか折れ易いということはないかまたは両方ならば手強くない fact6: 「もし仮にハイリスク・グループだということはないかあるいは書面協定でないかまたは両方だとしたら羨まない」物はある fact7: あの第一集が高額化しないとするとそれは手強くない fact8: あの第一集が高額化するということはないかまたはなあいということはないかもしくは両方ともだとすれば「手強い」ということは正しい fact9: 「もし高額化しないとすれば手強くない」物はある fact10: なにがしかの物は彩色しないかもしくはシリコンバレーでないか両方ともであるとするとそれは零れない fact11: もし仮にあの第一集が高額化しないかまたはそれはなあくないか両方であるとしたらそれは手強くない fact12: 「仮にブラバスらしくないかあるいは撃破しないかどちらもだとすると「見境無くない」ということは成り立つ」物はある fact13: 「「高額化するかまたはなあくないか両方である」ということは事実だとすると「手強くない」ということは真実である」物はある fact14: 「仮に高額化するということはないかもしくはなあいかもしくは両方ともであるとすると手強くない」ものはある fact15: 仮にあの第一集は高額化しないかまたはなあいか両方であるなら手強くない fact16: 「「もし高額化しないかまたはなあくないかもしくは両方ともならば手強い」ものはある」ということは真実である fact17: 「おどろおどろしくないかあるいは施政方針演説であるということはないか両方であるとすれば腸管感染症だということはない」ものはある fact18: 「もしも「入れ難くないかもしくは気付き易くないかまたはどちらもだ」ということは成り立つとすると命中しない」ものはある fact19: 「もし仮にアルカリ性食品でないかまたはアニメ化しないかあるいは両方だとすると戦術眼でない」ものはある fact20: 「もしその誘導電波が甘ーくないかまたは高額化しないかまたはどちらもであるならその誘導電波は少なしない」ということは成り立つ ; $hypothesis$ = 「高額化しないかあるいはなあくないかまたはどちらもだとすると手強くない」ものはある ; $proof$ = 
fact11 -> hypothesis; __PROVED__
事実1: もしもあの第一集が程無くないかあるいはそれが見極め難くないとするとアルファベット順でない
事実2: 「もしもロビー活動でないかあるいはいがらっぽくないとすると心優しいということはない」物はある
事実3: 「もし仮になあくないとすれば手強くない」物はある
事実4: 仮に何かは浄土教でないかまたはそれは愛しくないかもしくはどちらもだとしたらなあくない
事実5: 仮にあの第一集が指摘しないか折れ易いということはないかまたは両方ならば手強くない
事実6: 「もし仮にハイリスク・グループだということはないかあるいは書面協定でないかまたは両方だとしたら羨まない」物はある
事実7: あの第一集が高額化しないとするとそれは手強くない
事実8: あの第一集が高額化するということはないかまたはなあいということはないかもしくは両方ともだとすれば「手強い」ということは正しい
事実9: 「もし高額化しないとすれば手強くない」物はある
事実10: なにがしかの物は彩色しないかもしくはシリコンバレーでないか両方ともであるとするとそれは零れない
事実11: もし仮にあの第一集が高額化しないかまたはそれはなあくないか両方であるとしたらそれは手強くない
事実12: 「仮にブラバスらしくないかあるいは撃破しないかどちらもだとすると「見境無くない」ということは成り立つ」物はある
事実13: 「「高額化するかまたはなあくないか両方である」ということは事実だとすると「手強くない」ということは真実である」物はある
事実14: 「仮に高額化するということはないかもしくはなあいかもしくは両方ともであるとすると手強くない」ものはある
事実15: 仮にあの第一集は高額化しないかまたはなあいか両方であるなら手強くない
事実16: 「「もし高額化しないかまたはなあくないかもしくは両方ともならば手強い」ものはある」ということは真実である
事実17: 「おどろおどろしくないかあるいは施政方針演説であるということはないか両方であるとすれば腸管感染症だということはない」ものはある
事実18: 「もしも「入れ難くないかもしくは気付き易くないかまたはどちらもだ」ということは成り立つとすると命中しない」ものはある
事実19: 「もし仮にアルカリ性食品でないかまたはアニメ化しないかあるいは両方だとすると戦術眼でない」ものはある
事実20: 「もしその誘導電波が甘ーくないかまたは高額化しないかまたはどちらもであるならその誘導電波は少なしない」ということは成り立つ

仮説: 「高額化しないかあるいはなあくないかまたはどちらもだとすると手強くない」ものはある
1. 事実11から、仮説が導かれる

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