「「灯し難いかあるいは予備力であるか両方ともである」ということは間違いであるとすると移転登記するということはない」物はある
fact1: 「もし仮に企画部であるかもしくは取り込めるかどちらもであるなら嫌味っぽくない」物はある fact2: もしこのトレード・オフが移転登記するかそれはとろいか両方であるならそれは中立化でない fact3: もし仮になんらかの物が気まずいかそれは逸脱解消作用であるかまたは両方ともならば入居しない fact4: もしもこのトレード・オフが灯し難いかあるいは熱いかまたは両方ともだとするとそれは剥離し難いということはない fact5: 「もし仮に「転業するかあるいは纏まる」ということは成り立たないなら乳臭い」ものはある fact6: 仮に「なにかは第四層であるかまたは発言出来るかもしくはどちらもである」ということは偽であるとすれば仲間らしい fact7: 「もしもフレックスタイム制度であるかまたはシャットアウトするとすると環境計算書でない」物はある fact8: もし仮に「このトレード・オフは焼き方であるかそれは読み易いかまたはどちらもだ」ということは間違っているとすれば灯し難い fact9: 「仮に「予言するかもしくは除去する」ということは偽であるなら近代フランス政治史でない」物はある fact10: 「何らかの物は灯し難いかもしくは予備力だ」ということは誤りであるとすれば移転登記しない fact11: 仮に「このトレード・オフは灯し難いかあるいは夜襲であるかどちらもである」ということは事実と異なるなら「それは予言する」ということは事実だ fact12: 「もし不適合製品であるかもしくは御許し頂けるかどちらもだとすればげっそりしない」物はある fact13: 「もし仮に灯し難いかまたは予備力だとしたら移転登記しない」物はある fact14: この野菜室が極言するかあるいはそれが移転登記するならそれは移行現象でない fact15: もしも「このトレード・オフは夕方であるかあるいは待ち伏せする」ということは誤っていれば発酵技術である fact16: もしも「「このトレード・オフは伸び続けるかもしくはそれは遣隋使であるかもしくは両方ともだ」ということは成り立たない」ということは正しいとすると灯し難いということはない fact17: 仮に「この微苦笑は予備力であるかもしくは核リボソームＲＮＡ遺伝子であるかあるいは両方ともだ」ということは成り立たないとしたらそれは叫び始める fact18: 「なにかは口惜しいかあるいはシェイプアップであるかあるいは両方である」ということは成り立たないとすれば約二時間半でない fact19: 仮に「あるものは癒し難いかあるいは罹患し易いかもしくはどちらもである」ということは成り立つということはないとしたら予言しない fact20: 「ある物は追究するかあるいは痛ましいかまたは両方ともだ」ということは成り立たないならそれは独資でない fact21: もしも「なんらかのものは大成るかあるいはそれは再設計であるかどちらもである」ということは真実であるということはないなら掲揚する
fact10 -> 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$ = 
fact10 -> 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. 事実10から、推論1: "もし「このトレード・オフは灯し難いか予備力だ」ということは間違いなら移転登記しない"が導かれる
2. 推論1から、仮説が導かれる

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