もし仮にその多角恋愛が卑しいとすればあの全産業は極彩色だということはないかまたはそれは増え難いかもしくは両方ともである
fact1: もしあの全産業が増え難いかまたはそれは反応すとすれば「それは外国要人でない」ということは正しい fact2: 仮にあの全産業が極彩色であるか反応すとしたらそれは外国要人でない fact3: 仮にその多角恋愛が反応すらないならばあの全産業は増え難いということはないかまたは卑しいかあるいは両方だ fact4: 仮にその多角恋愛が外国要人であるとするとあの全産業は反応すということはないかもしくは増え難いかあるいはどちらもだ fact5: もしもあの全産業が増え難いかもしくはそれは卑しいかもしくは両方ともであるとすれば外国要人でない fact6: 仮に「その多角恋愛は極彩色だ」ということは事実であるならあの全産業は増え難くないかあるいは反応すかあるいは両方だ fact7: もしあの全産業が増え難くないならその多角恋愛は反応すらないかあるいは極彩色であるかどちらもである fact8: 仮にその多角恋愛が反応すらないとすればあの全産業は極彩色でないかまたは増え難いかもしくは両方だ fact9: 仮にその多角恋愛が外国要人であるかもしくはそれが卑しいならば反応すらない fact10: その多角恋愛は増え難い fact11: その多角恋愛は外国要人であるかあるいは極彩色であるか両方だ fact12: もしも「その多角恋愛は反応すということはない」ということは正しいならばあの全産業は極彩色であるかもしくは増え難いかまたはどちらもだ fact13: その重力歩行は反応す fact14: 「あの全産業は卑しい」ということは事実だとしたらその多角恋愛は反応すらないかもしくは極彩色であるかあるいはどちらもだ fact15: その多角恋愛は外国要人である fact16: もしもその多角恋愛が卑しいとしたらあの全産業は極彩色であるかあるいは増え難い fact17: あの全産業は極彩色であるかまたはそれは増え難い
void -> assump1: 以下のように仮定する。その多角恋愛は卑しい; assump1 -> int1: その多角恋愛は外国要人であるかもしくは卑しい; int1 & fact9 -> int2: その多角恋愛は反応すらない; int2 & fact8 -> int3: あの全産業は極彩色でないかあるいは増え難いかあるいは両方ともである; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もしあの全産業が増え難いかまたはそれは反応すとすれば「それは外国要人でない」ということは正しい fact2: 仮にあの全産業が極彩色であるか反応すとしたらそれは外国要人でない fact3: 仮にその多角恋愛が反応すらないならばあの全産業は増え難いということはないかまたは卑しいかあるいは両方だ fact4: 仮にその多角恋愛が外国要人であるとするとあの全産業は反応すということはないかもしくは増え難いかあるいはどちらもだ fact5: もしもあの全産業が増え難いかもしくはそれは卑しいかもしくは両方ともであるとすれば外国要人でない fact6: 仮に「その多角恋愛は極彩色だ」ということは事実であるならあの全産業は増え難くないかあるいは反応すかあるいは両方だ fact7: もしあの全産業が増え難くないならその多角恋愛は反応すらないかあるいは極彩色であるかどちらもである fact8: 仮にその多角恋愛が反応すらないとすればあの全産業は極彩色でないかまたは増え難いかもしくは両方だ fact9: 仮にその多角恋愛が外国要人であるかもしくはそれが卑しいならば反応すらない fact10: その多角恋愛は増え難い fact11: その多角恋愛は外国要人であるかあるいは極彩色であるか両方だ fact12: もしも「その多角恋愛は反応すということはない」ということは正しいならばあの全産業は極彩色であるかもしくは増え難いかまたはどちらもだ fact13: その重力歩行は反応す fact14: 「あの全産業は卑しい」ということは事実だとしたらその多角恋愛は反応すらないかもしくは極彩色であるかあるいはどちらもだ fact15: その多角恋愛は外国要人である fact16: もしもその多角恋愛が卑しいとしたらあの全産業は極彩色であるかあるいは増え難い fact17: あの全産業は極彩色であるかまたはそれは増え難い ; $hypothesis$ = もし仮にその多角恋愛が卑しいとすればあの全産業は極彩色だということはないかまたはそれは増え難いかもしくは両方ともである ; $proof$ = 
void -> assump1: 以下のように仮定する。その多角恋愛は卑しい; assump1 -> int1: その多角恋愛は外国要人であるかもしくは卑しい; int1 & fact9 -> int2: その多角恋愛は反応すらない; int2 & fact8 -> int3: あの全産業は極彩色でないかあるいは増え難いかあるいは両方ともである; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしあの全産業が増え難いかまたはそれは反応すとすれば「それは外国要人でない」ということは正しい
事実2: 仮にあの全産業が極彩色であるか反応すとしたらそれは外国要人でない
事実3: 仮にその多角恋愛が反応すらないならばあの全産業は増え難いということはないかまたは卑しいかあるいは両方だ
事実4: 仮にその多角恋愛が外国要人であるとするとあの全産業は反応すということはないかもしくは増え難いかあるいはどちらもだ
事実5: もしもあの全産業が増え難いかもしくはそれは卑しいかもしくは両方ともであるとすれば外国要人でない
事実6: 仮に「その多角恋愛は極彩色だ」ということは事実であるならあの全産業は増え難くないかあるいは反応すかあるいは両方だ
事実7: もしあの全産業が増え難くないならその多角恋愛は反応すらないかあるいは極彩色であるかどちらもである
事実8: 仮にその多角恋愛が反応すらないとすればあの全産業は極彩色でないかまたは増え難いかもしくは両方だ
事実9: 仮にその多角恋愛が外国要人であるかもしくはそれが卑しいならば反応すらない
事実10: その多角恋愛は増え難い
事実11: その多角恋愛は外国要人であるかあるいは極彩色であるか両方だ
事実12: もしも「その多角恋愛は反応すということはない」ということは正しいならばあの全産業は極彩色であるかもしくは増え難いかまたはどちらもだ
事実13: その重力歩行は反応す
事実14: 「あの全産業は卑しい」ということは事実だとしたらその多角恋愛は反応すらないかもしくは極彩色であるかあるいはどちらもだ
事実15: その多角恋愛は外国要人である
事実16: もしもその多角恋愛が卑しいとしたらあの全産業は極彩色であるかあるいは増え難い
事実17: あの全産業は極彩色であるかまたはそれは増え難い

仮説: もし仮にその多角恋愛が卑しいとすればあの全産業は極彩色だということはないかまたはそれは増え難いかもしくは両方ともである
1. 仮定1: 以下のように仮定する。その多角恋愛は卑しい
2. 仮定1から、推論1: "その多角恋愛は外国要人であるかもしくは卑しい"が導かれる
3. 推論1と事実9から、推論2: "その多角恋愛は反応すらない"が導かれる
4. 推論2と事実8から、推論3: "あの全産業は極彩色でないかあるいは増え難いかあるいは両方ともである"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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