「「アメリカ論であるかまたは台頭する」ということは成り立たないとすると防がない」ものはある
fact1: 「もし「多種類であるか民事責任であるかもしくは両方だ」ということは間違っているとしたら影響され易い」ものはある fact2: 仮に「あの作成上は親しかまたは台頭するかもしくは両方ともだ」ということは嘘ならそれは天分だ fact3: もし「何らかの物は信仰深いかまたは減ずる」ということは誤っているならそれは笑い掛けない fact4: 「もし仮にアメリカ論であるかもしくは台頭するなら防ぐということはない」ものはある fact5: 仮に「なんらかの物はアメリカ論であるかもしくはそれは台頭する」ということは誤っているとすると防ぐということはない fact6: もし「何かは止め字であるかもしくは召喚する」ということは誤りであるならそれは中国人観光客でない fact7: もしも何かは天分であるかもしくはそれはマンション販売であるかまたは両方であるならば齎し易くない fact8: もしも「あの作成上はアメリカ論であるかまたは台頭するかもしくは両方だ」ということは成り立たないなら防ぐ fact9: もし「あの作成上はアメリカ論であるか台頭するかまたはどちらもである」ということは成り立つなら防がない fact10: もし何かはアメリカ論であるか台頭するならそれは防がない fact11: なにがしかのものが笑い掛けるか陥り易いかあるいは両方であるとしたらそれは身動き出来ない fact12: 何かは貸し下ぐかあるいは応じるかまたはどちらもだとすれば止め字でない fact13: もし「なにかは音声器官であるかあるいは倦怠であるかどちらもである」ということは間違いならば容易くない fact14: もしもとある物が脅迫めくかもしくは磁歪なら疲れ易くない fact15: 「もし「アメリカ論であるかあるいは台頭するかあるいはどちらもだ」ということは事実と異なるとすると防ぐ」物はある fact16: 仮に「その復活は音声器官であるかそれは弄り撫でるか両方ともだ」ということは誤りであるとすればそれは北流する fact17: 「もし「益無しかもしくは意味付けるかまたは両方ともだ」ということは正しくないなら貸し下ぐ」ものはある fact18: 「その経時変化は抜き出すかそれは会社経営者であるかどちらもである」ということは誤っていればアメリカ論である fact19: もし仮に「なんらかのものは齎し易いかもしくは止め字だ」ということは成り立たないなら順位担保権でない fact20: もし仮に「あの作成上はクローズ・アップするかまたはアメリカ論であるかもしくはどちらもだ」ということは成り立つということはないならばそれは踊るということはない
fact5 -> int1: 仮に「あの作成上はアメリカ論であるか台頭するか両方である」ということは成り立たないならば防ぐということはない; int1 -> hypothesis;
「もし「信仰深いかまたは減ずる」ということは嘘なら笑い掛けない」ものはある
fact21 -> int2: もしも「この白人中産階級は信仰深いかもしくはそれは減ずる」ということは間違いであるとしたら笑い掛けない; int2 -> hypothesis;
$facts$ = fact1: 「もし「多種類であるか民事責任であるかもしくは両方だ」ということは間違っているとしたら影響され易い」ものはある fact2: 仮に「あの作成上は親しかまたは台頭するかもしくは両方ともだ」ということは嘘ならそれは天分だ fact3: もし「何らかの物は信仰深いかまたは減ずる」ということは誤っているならそれは笑い掛けない fact4: 「もし仮にアメリカ論であるかもしくは台頭するなら防ぐということはない」ものはある fact5: 仮に「なんらかの物はアメリカ論であるかもしくはそれは台頭する」ということは誤っているとすると防ぐということはない fact6: もし「何かは止め字であるかもしくは召喚する」ということは誤りであるならそれは中国人観光客でない fact7: もしも何かは天分であるかもしくはそれはマンション販売であるかまたは両方であるならば齎し易くない fact8: もしも「あの作成上はアメリカ論であるかまたは台頭するかもしくは両方だ」ということは成り立たないなら防ぐ fact9: もし「あの作成上はアメリカ論であるか台頭するかまたはどちらもである」ということは成り立つなら防がない fact10: もし何かはアメリカ論であるか台頭するならそれは防がない fact11: なにがしかのものが笑い掛けるか陥り易いかあるいは両方であるとしたらそれは身動き出来ない fact12: 何かは貸し下ぐかあるいは応じるかまたはどちらもだとすれば止め字でない fact13: もし「なにかは音声器官であるかあるいは倦怠であるかどちらもである」ということは間違いならば容易くない fact14: もしもとある物が脅迫めくかもしくは磁歪なら疲れ易くない fact15: 「もし「アメリカ論であるかあるいは台頭するかあるいはどちらもだ」ということは事実と異なるとすると防ぐ」物はある fact16: 仮に「その復活は音声器官であるかそれは弄り撫でるか両方ともだ」ということは誤りであるとすればそれは北流する fact17: 「もし「益無しかもしくは意味付けるかまたは両方ともだ」ということは正しくないなら貸し下ぐ」ものはある fact18: 「その経時変化は抜き出すかそれは会社経営者であるかどちらもである」ということは誤っていればアメリカ論である fact19: もし仮に「なんらかのものは齎し易いかもしくは止め字だ」ということは成り立たないなら順位担保権でない fact20: もし仮に「あの作成上はクローズ・アップするかまたはアメリカ論であるかもしくはどちらもだ」ということは成り立つということはないならばそれは踊るということはない ; $hypothesis$ = 「「アメリカ論であるかまたは台頭する」ということは成り立たないとすると防がない」ものはある ; $proof$ = 
fact5 -> 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. 事実5から、推論1: "仮に「あの作成上はアメリカ論であるか台頭するか両方である」ということは成り立たないならば防ぐということはない"が導かれる
2. 推論1から、仮説が導かれる

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