「もしも交易しないかもしくはダイエット志向だということはないか両方ならば見返りでない」物はある
fact1: もしなんらかのものは乗り為さるということはないかまたはあざとくないかもしくは両方ともであるとするとそれは権力装置でない fact2: もしその旧来が交易するかそれはダイエット志向でないとするとそれは見返りであるということはない fact3: 「もしも唯識説でないか鏡像過程だということはないとしたら御早い」物はある fact4: もし仮にその旧来が交易するということはないかそれは作者サイドでないかあるいは両方であるとすると配合しない fact5: 「「交易しないかまたはダイエット志向であるかどちらもであるなら見返りでない」ものはある」ということは正しい fact6: 仮にその旧来はダイエット志向であるということはないならそれは見返りでない fact7: 「もし仮に交易しないとすれば見返りでない」物はある fact8: もしもなにがしかのものがフィードバック機構でないかあるいはあっさりしないかあるいは両方だとしたらそれは音声器官でない fact9: 「もしも交易するかまたはダイエット志向でないとしたら見返りでない」物はある fact10: 「もし「ダイエット志向でない」ということは正しいとしたら「見返りだ」ということは事実と異なる」物はある fact11: 何らかの物は交易しないかあるいはダイエット志向でないかあるいは両方ともであるとすると見返りだ fact12: もしも何らかのものが疲れ難くないかもしくは台木でないならば受光感度でない fact13: 仮に何らかのものが交易しないかあるいはそれはダイエット志向でないかまたは両方ともであるとすれば見返りでない fact14: その旧来は交易するということはないかあるいはダイエット志向でないかあるいは両方ともであるならばそれは見返りだ fact15: もしもその燐脂質が配信するということはないかまたは差異化しないかどちらもなら「交易しない」ということは確かだ
fact13 -> int1: もし仮に「その旧来は交易しないかあるいはそれはダイエット志向だということはないか両方である」ということは確かならそれは見返りでない; int1 -> hypothesis;
「乗り為さるということはないかまたはあざとくないかもしくは両方ともなら「権力装置でない」ということは本当な」ものはある
fact16 -> int2: もしもあの修正操舵は乗り為さるということはないかまたはあざといということはないかあるいは両方ともだとすると権力装置でない; int2 -> hypothesis;
$facts$ = fact1: もしなんらかのものは乗り為さるということはないかまたはあざとくないかもしくは両方ともであるとするとそれは権力装置でない fact2: もしその旧来が交易するかそれはダイエット志向でないとするとそれは見返りであるということはない fact3: 「もしも唯識説でないか鏡像過程だということはないとしたら御早い」物はある fact4: もし仮にその旧来が交易するということはないかそれは作者サイドでないかあるいは両方であるとすると配合しない fact5: 「「交易しないかまたはダイエット志向であるかどちらもであるなら見返りでない」ものはある」ということは正しい fact6: 仮にその旧来はダイエット志向であるということはないならそれは見返りでない fact7: 「もし仮に交易しないとすれば見返りでない」物はある fact8: もしもなにがしかのものがフィードバック機構でないかあるいはあっさりしないかあるいは両方だとしたらそれは音声器官でない fact9: 「もしも交易するかまたはダイエット志向でないとしたら見返りでない」物はある fact10: 「もし「ダイエット志向でない」ということは正しいとしたら「見返りだ」ということは事実と異なる」物はある fact11: 何らかの物は交易しないかあるいはダイエット志向でないかあるいは両方ともであるとすると見返りだ fact12: もしも何らかのものが疲れ難くないかもしくは台木でないならば受光感度でない fact13: 仮に何らかのものが交易しないかあるいはそれはダイエット志向でないかまたは両方ともであるとすれば見返りでない fact14: その旧来は交易するということはないかあるいはダイエット志向でないかあるいは両方ともであるならばそれは見返りだ fact15: もしもその燐脂質が配信するということはないかまたは差異化しないかどちらもなら「交易しない」ということは確かだ ; $hypothesis$ = 「もしも交易しないかもしくはダイエット志向だということはないか両方ならば見返りでない」物はある ; $proof$ = 
fact13 -> int1: もし仮に「その旧来は交易しないかあるいはそれはダイエット志向だということはないか両方である」ということは確かならそれは見返りでない; int1 -> hypothesis; __PROVED__
事実1: もしなんらかのものは乗り為さるということはないかまたはあざとくないかもしくは両方ともであるとするとそれは権力装置でない
事実2: もしその旧来が交易するかそれはダイエット志向でないとするとそれは見返りであるということはない
事実3: 「もしも唯識説でないか鏡像過程だということはないとしたら御早い」物はある
事実4: もし仮にその旧来が交易するということはないかそれは作者サイドでないかあるいは両方であるとすると配合しない
事実5: 「「交易しないかまたはダイエット志向であるかどちらもであるなら見返りでない」ものはある」ということは正しい
事実6: 仮にその旧来はダイエット志向であるということはないならそれは見返りでない
事実7: 「もし仮に交易しないとすれば見返りでない」物はある
事実8: もしもなにがしかのものがフィードバック機構でないかあるいはあっさりしないかあるいは両方だとしたらそれは音声器官でない
事実9: 「もしも交易するかまたはダイエット志向でないとしたら見返りでない」物はある
事実10: 「もし「ダイエット志向でない」ということは正しいとしたら「見返りだ」ということは事実と異なる」物はある
事実11: 何らかの物は交易しないかあるいはダイエット志向でないかあるいは両方ともであるとすると見返りだ
事実12: もしも何らかのものが疲れ難くないかもしくは台木でないならば受光感度でない
事実13: 仮に何らかのものが交易しないかあるいはそれはダイエット志向でないかまたは両方ともであるとすれば見返りでない
事実14: その旧来は交易するということはないかあるいはダイエット志向でないかあるいは両方ともであるならばそれは見返りだ
事実15: もしもその燐脂質が配信するということはないかまたは差異化しないかどちらもなら「交易しない」ということは確かだ

仮説: 「もしも交易しないかもしくはダイエット志向だということはないか両方ならば見返りでない」物はある
1. 事実13から、推論1: "もし仮に「その旧来は交易しないかあるいはそれはダイエット志向だということはないか両方である」ということは確かならそれは見返りでない"が導かれる
2. 推論1から、仮説が導かれる

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