「さ小屋しないなら「発現し易いかあるいは愛らしくないかもしくはどちらもである」ということは間違っている」物はある
fact1: もし仮にこの起算日はさ小屋しないとすればそれは発現し易いかもしくはそれは愛らしくない fact2: もしもあの絨毛嚢は発現し易くないとすれば「どきどき感であるかそれは取り始めないかどちらもだ」ということは嘘だ fact3: もし何かは愛らしくないとすれば「それは取れ易いかもしくは順応出来ない」ということは成り立たない fact4: 仮にこの起算日はさ小屋するということはないとすれば「それは発現し易いか愛らしいかまたは両方ともである」ということは成り立たない fact5: 「もし仮にさ小屋しないなら「愛らしい」ということは本当な」物はある fact6: もし仮に「この起算日はさ小屋しない」ということは正しいなら「発現し易いかもしくは愛らしくない」ということは偽だ fact7: もしもこの起算日はさ小屋するとしたら「発現し易いかそれは愛らしくないか両方ともである」ということは間違いである fact8: 「「さ小屋しない」ということは成り立てば「発現し易いかもしくは愛らしい」ということは誤っている」物はある fact9: 「仮にさ小屋しないなら発現し易くない」ものはある fact10: 「仮に「この起算日はさ小屋しない」ということは正しいとするとこの起算日は発現し易くない」ということは成り立つ fact11: 「もしも「さ小屋する」ということは間違っていないとすると「発現し易いかあるいは愛らしくないか両方ともだ」ということは事実でない」物はある
fact6 -> hypothesis;
もしもこのパラリンピックは愛らしくないとしたら「それは取れ易いかあるいは順応出来ないかあるいはどちらもだ」ということは嘘だ
fact12 -> hypothesis;
$facts$ = fact1: もし仮にこの起算日はさ小屋しないとすればそれは発現し易いかもしくはそれは愛らしくない fact2: もしもあの絨毛嚢は発現し易くないとすれば「どきどき感であるかそれは取り始めないかどちらもだ」ということは嘘だ fact3: もし何かは愛らしくないとすれば「それは取れ易いかもしくは順応出来ない」ということは成り立たない fact4: 仮にこの起算日はさ小屋するということはないとすれば「それは発現し易いか愛らしいかまたは両方ともである」ということは成り立たない fact5: 「もし仮にさ小屋しないなら「愛らしい」ということは本当な」物はある fact6: もし仮に「この起算日はさ小屋しない」ということは正しいなら「発現し易いかもしくは愛らしくない」ということは偽だ fact7: もしもこの起算日はさ小屋するとしたら「発現し易いかそれは愛らしくないか両方ともである」ということは間違いである fact8: 「「さ小屋しない」ということは成り立てば「発現し易いかもしくは愛らしい」ということは誤っている」物はある fact9: 「仮にさ小屋しないなら発現し易くない」ものはある fact10: 「仮に「この起算日はさ小屋しない」ということは正しいとするとこの起算日は発現し易くない」ということは成り立つ fact11: 「もしも「さ小屋する」ということは間違っていないとすると「発現し易いかあるいは愛らしくないか両方ともだ」ということは事実でない」物はある ; $hypothesis$ = 「さ小屋しないなら「発現し易いかあるいは愛らしくないかもしくはどちらもである」ということは間違っている」物はある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: もし仮にこの起算日はさ小屋しないとすればそれは発現し易いかもしくはそれは愛らしくない
事実2: もしもあの絨毛嚢は発現し易くないとすれば「どきどき感であるかそれは取り始めないかどちらもだ」ということは嘘だ
事実3: もし何かは愛らしくないとすれば「それは取れ易いかもしくは順応出来ない」ということは成り立たない
事実4: 仮にこの起算日はさ小屋するということはないとすれば「それは発現し易いか愛らしいかまたは両方ともである」ということは成り立たない
事実5: 「もし仮にさ小屋しないなら「愛らしい」ということは本当な」物はある
事実6: もし仮に「この起算日はさ小屋しない」ということは正しいなら「発現し易いかもしくは愛らしくない」ということは偽だ
事実7: もしもこの起算日はさ小屋するとしたら「発現し易いかそれは愛らしくないか両方ともである」ということは間違いである
事実8: 「「さ小屋しない」ということは成り立てば「発現し易いかもしくは愛らしい」ということは誤っている」物はある
事実9: 「仮にさ小屋しないなら発現し易くない」ものはある
事実10: 「仮に「この起算日はさ小屋しない」ということは正しいとするとこの起算日は発現し易くない」ということは成り立つ
事実11: 「もしも「さ小屋する」ということは間違っていないとすると「発現し易いかあるいは愛らしくないか両方ともだ」ということは事実でない」物はある

仮説: 「さ小屋しないなら「発現し易いかあるいは愛らしくないかもしくはどちらもである」ということは間違っている」物はある
1. 事実6から、仮説が導かれる

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