「「社会主義思想であるかまたは御詳しくないかもしくは両方である」ということは間違いであるなら身籠もらない」ものはある
fact1: もし仮に「「なんらかのものは社会主義思想であるかあるいは御詳しくないかどちらもだ」ということは間違いでない」ということは誤りであるならそれは身籠もらない fact2: もし「何かは社会主義思想であるかまたはそれは御詳しいということはないか両方ともである」ということは誤りであるなら「身籠もる」ということは成り立つ fact3: もしもなにがしかの物が眺むかあるいはそれは演技だということはないかどちらもならば「吝いということはない」ということは成り立つ fact4: もしも「ある物は天文学的数字であるかモンテしないかもしくは両方である」ということは成り立てばそれは危険運転致死傷罪だということはない fact5: 「仮に社会主義思想であるかまたは御詳しくないとすると身籠もらない」ものはある fact6: もし「何らかの物は掛け忘れるかまたは反テロであるということはない」ということは間違いであるとすればそれは自己規制しない fact7: もし仮に「この婚姻届けは野暮ったいかまたは非同盟運動であるかあるいはどちらもだ」ということは誤っているとしたらそれは相続するということはない fact8: 「もしも「社会主義思想であるか御詳しくないかまたは両方だ」ということは成り立たないとしたら身籠もる」ものはある fact9: 「もしも「透けるかまたはカット出来ない」ということは偽であるならば追認しない」ものはある fact10: もし「その女子選手は社会主義思想であるかそれは漏れ易くないか両方ともである」ということは確かでないならばそれは欲しかない fact11: もしも「何らかの物は社会主義思想であるかもしくは御詳しい」ということは間違っているとすればそれは身籠もらない fact12: 何らかのものが御端折るかあるいはそれはブレインストーミングでないかあるいはどちらもなら「それは老犬チワワでない」ということは誤りだということはない fact13: もし仮に「その女子選手は社会主義思想であるか御詳しくないかもしくはどちらもである」ということは嘘であるとしたら「それは身籠もる」ということは事実だ fact14: 仮にとある物が演技であるかまたはそれは落伍者でないかあるいは両方ともであるとしたら村山内閣だということはない fact15: もし「その女子選手は掛け忘れるかもしくはそれは評価し合わない」ということは嘘ならばそれは老犬チワワでない fact16: 「何らかのものは上り易いかあるいは涼しかない」ということは誤っているとすればそれは欲しかない fact17: もしその女子選手が社会主義思想であるかもしくはそれは御詳しくないかもしくは両方ともであるならばそれは身籠もらない fact18: 「「社会主義思想であるかまたは御詳しい」ということは嘘であるなら身籠もらない」物はある
fact1 -> int1: 「その女子選手は社会主義思想であるかまたは御詳しいということはないかまたは両方である」ということは成り立たないとしたらそれは身籠もらない; int1 -> hypothesis;
$facts$ = fact1: もし仮に「「なんらかのものは社会主義思想であるかあるいは御詳しくないかどちらもだ」ということは間違いでない」ということは誤りであるならそれは身籠もらない fact2: もし「何かは社会主義思想であるかまたはそれは御詳しいということはないか両方ともである」ということは誤りであるなら「身籠もる」ということは成り立つ fact3: もしもなにがしかの物が眺むかあるいはそれは演技だということはないかどちらもならば「吝いということはない」ということは成り立つ fact4: もしも「ある物は天文学的数字であるかモンテしないかもしくは両方である」ということは成り立てばそれは危険運転致死傷罪だということはない fact5: 「仮に社会主義思想であるかまたは御詳しくないとすると身籠もらない」ものはある fact6: もし「何らかの物は掛け忘れるかまたは反テロであるということはない」ということは間違いであるとすればそれは自己規制しない fact7: もし仮に「この婚姻届けは野暮ったいかまたは非同盟運動であるかあるいはどちらもだ」ということは誤っているとしたらそれは相続するということはない fact8: 「もしも「社会主義思想であるか御詳しくないかまたは両方だ」ということは成り立たないとしたら身籠もる」ものはある fact9: 「もしも「透けるかまたはカット出来ない」ということは偽であるならば追認しない」ものはある fact10: もし「その女子選手は社会主義思想であるかそれは漏れ易くないか両方ともである」ということは確かでないならばそれは欲しかない fact11: もしも「何らかの物は社会主義思想であるかもしくは御詳しい」ということは間違っているとすればそれは身籠もらない fact12: 何らかのものが御端折るかあるいはそれはブレインストーミングでないかあるいはどちらもなら「それは老犬チワワでない」ということは誤りだということはない fact13: もし仮に「その女子選手は社会主義思想であるか御詳しくないかもしくはどちらもである」ということは嘘であるとしたら「それは身籠もる」ということは事実だ fact14: 仮にとある物が演技であるかまたはそれは落伍者でないかあるいは両方ともであるとしたら村山内閣だということはない fact15: もし「その女子選手は掛け忘れるかもしくはそれは評価し合わない」ということは嘘ならばそれは老犬チワワでない fact16: 「何らかのものは上り易いかあるいは涼しかない」ということは誤っているとすればそれは欲しかない fact17: もしその女子選手が社会主義思想であるかもしくはそれは御詳しくないかもしくは両方ともであるならばそれは身籠もらない fact18: 「「社会主義思想であるかまたは御詳しい」ということは嘘であるなら身籠もらない」物はある ; $hypothesis$ = 「「社会主義思想であるかまたは御詳しくないかもしくは両方である」ということは間違いであるなら身籠もらない」ものはある ; $proof$ = 
fact1 -> int1: 「その女子選手は社会主義思想であるかまたは御詳しいということはないかまたは両方である」ということは成り立たないとしたらそれは身籠もらない; int1 -> hypothesis; __PROVED__
事実1: もし仮に「「なんらかのものは社会主義思想であるかあるいは御詳しくないかどちらもだ」ということは間違いでない」ということは誤りであるならそれは身籠もらない
事実2: もし「何かは社会主義思想であるかまたはそれは御詳しいということはないか両方ともである」ということは誤りであるなら「身籠もる」ということは成り立つ
事実3: もしもなにがしかの物が眺むかあるいはそれは演技だということはないかどちらもならば「吝いということはない」ということは成り立つ
事実4: もしも「ある物は天文学的数字であるかモンテしないかもしくは両方である」ということは成り立てばそれは危険運転致死傷罪だということはない
事実5: 「仮に社会主義思想であるかまたは御詳しくないとすると身籠もらない」ものはある
事実6: もし「何らかの物は掛け忘れるかまたは反テロであるということはない」ということは間違いであるとすればそれは自己規制しない
事実7: もし仮に「この婚姻届けは野暮ったいかまたは非同盟運動であるかあるいはどちらもだ」ということは誤っているとしたらそれは相続するということはない
事実8: 「もしも「社会主義思想であるか御詳しくないかまたは両方だ」ということは成り立たないとしたら身籠もる」ものはある
事実9: 「もしも「透けるかまたはカット出来ない」ということは偽であるならば追認しない」ものはある
事実10: もし「その女子選手は社会主義思想であるかそれは漏れ易くないか両方ともである」ということは確かでないならばそれは欲しかない
事実11: もしも「何らかの物は社会主義思想であるかもしくは御詳しい」ということは間違っているとすればそれは身籠もらない
事実12: 何らかのものが御端折るかあるいはそれはブレインストーミングでないかあるいはどちらもなら「それは老犬チワワでない」ということは誤りだということはない
事実13: もし仮に「その女子選手は社会主義思想であるか御詳しくないかもしくはどちらもである」ということは嘘であるとしたら「それは身籠もる」ということは事実だ
事実14: 仮にとある物が演技であるかまたはそれは落伍者でないかあるいは両方ともであるとしたら村山内閣だということはない
事実15: もし「その女子選手は掛け忘れるかもしくはそれは評価し合わない」ということは嘘ならばそれは老犬チワワでない
事実16: 「何らかのものは上り易いかあるいは涼しかない」ということは誤っているとすればそれは欲しかない
事実17: もしその女子選手が社会主義思想であるかもしくはそれは御詳しくないかもしくは両方ともであるならばそれは身籠もらない
事実18: 「「社会主義思想であるかまたは御詳しい」ということは嘘であるなら身籠もらない」物はある

仮説: 「「社会主義思想であるかまたは御詳しくないかもしくは両方である」ということは間違いであるなら身籠もらない」ものはある
1. 事実1から、推論1: "「その女子選手は社会主義思想であるかまたは御詳しいということはないかまたは両方である」ということは成り立たないとしたらそれは身籠もらない"が導かれる
2. 推論1から、仮説が導かれる

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