「「「突き放すかもしくは成員でない」ということは成り立たない」ものはある」ということは誤っている
fact1: もしあの入射点が微笑ましいとすればあの蛋白質食品は突き放さない fact2: 「あの蛋白質食品は状況説明であるか基本ファイルでない」ということは誤りである fact3: 「あの入射点は細々するかあるいは赦免しない」ということは成り立たない fact4: もし仮になんらかの物は姓名判断であるなら「それは微笑ましい」ということは確かである fact5: あの蛋白質食品は突き放さない fact6: 「あの入射点は成員だ」ということは成り立つなら「「あの蛋白質食品は突き放すかそれは微笑ましくらないかあるいはどちらもだ」ということは本当でない」ということは確かである fact7: なにがしかのものは成員だ fact8: あの入射点は微笑ましい fact9: 「「静めるかもしくは揮発し易くないかもしくは両方だ」ということは成り立たない」ものはある fact10: 仮にあの入射点は突き放すとすれば「あの蛋白質食品は成員であるかもしくはそれは微笑ましくらないかあるいはどちらもだ」ということは偽である fact11: もし仮にあの入射点は微笑ましいとしたら「あの蛋白質食品は突き放すか成員でない」ということは真実でない fact12: 「「突き放すかもしくは成員であるかあるいはどちらもだ」ということは確かでない」物はある fact13: 「「浮気するかまたは伝道者でないかもしくはどちらもだ」ということは間違いな」物はある fact14: 何らかの物は突き放すということはない fact15: もしもあの蛋白質食品は成員であるとすれば「あの入射点は突き放すかまたは微笑ましくらないかあるいは両方ともだ」ということは嘘だ fact16: 仮にあの蛋白質食品は微笑ましいとすると「あの入射点は突き放すかそれは成員でないかあるいは両方だ」ということは偽である fact17: 何らかのものは突き放すかそれは成員でない fact18: もしあの有償・無償は微笑ましいなら「それは手厳しいかもしくは聞こえ難くない」ということは事実と異なる fact19: 仮にあの蛋白質食品は微笑ましいなら「「あの入射点は成員であるかまたは突き放さない」ということは本当でない」ということは事実だ
fact11 & fact8 -> int1: 「あの蛋白質食品は突き放すかあるいは成員でない」ということは成り立たない; int1 -> hypothesis;
「あの有償・無償は手厳しいかもしくは聞こえ難くない」ということは間違いである
fact21 -> int2: もしもあの有償・無償は姓名判断であるとしたら微笑ましい;
$facts$ = fact1: もしあの入射点が微笑ましいとすればあの蛋白質食品は突き放さない fact2: 「あの蛋白質食品は状況説明であるか基本ファイルでない」ということは誤りである fact3: 「あの入射点は細々するかあるいは赦免しない」ということは成り立たない fact4: もし仮になんらかの物は姓名判断であるなら「それは微笑ましい」ということは確かである fact5: あの蛋白質食品は突き放さない fact6: 「あの入射点は成員だ」ということは成り立つなら「「あの蛋白質食品は突き放すかそれは微笑ましくらないかあるいはどちらもだ」ということは本当でない」ということは確かである fact7: なにがしかのものは成員だ fact8: あの入射点は微笑ましい fact9: 「「静めるかもしくは揮発し易くないかもしくは両方だ」ということは成り立たない」ものはある fact10: 仮にあの入射点は突き放すとすれば「あの蛋白質食品は成員であるかもしくはそれは微笑ましくらないかあるいはどちらもだ」ということは偽である fact11: もし仮にあの入射点は微笑ましいとしたら「あの蛋白質食品は突き放すか成員でない」ということは真実でない fact12: 「「突き放すかもしくは成員であるかあるいはどちらもだ」ということは確かでない」物はある fact13: 「「浮気するかまたは伝道者でないかもしくはどちらもだ」ということは間違いな」物はある fact14: 何らかの物は突き放すということはない fact15: もしもあの蛋白質食品は成員であるとすれば「あの入射点は突き放すかまたは微笑ましくらないかあるいは両方ともだ」ということは嘘だ fact16: 仮にあの蛋白質食品は微笑ましいとすると「あの入射点は突き放すかそれは成員でないかあるいは両方だ」ということは偽である fact17: 何らかのものは突き放すかそれは成員でない fact18: もしあの有償・無償は微笑ましいなら「それは手厳しいかもしくは聞こえ難くない」ということは事実と異なる fact19: 仮にあの蛋白質食品は微笑ましいなら「「あの入射点は成員であるかまたは突き放さない」ということは本当でない」ということは事実だ ; $hypothesis$ = 「「「突き放すかもしくは成員でない」ということは成り立たない」ものはある」ということは誤っている ; $proof$ = 
fact11 & fact8 -> int1: 「あの蛋白質食品は突き放すかあるいは成員でない」ということは成り立たない; int1 -> hypothesis; __DISPROVED__
事実1: もしあの入射点が微笑ましいとすればあの蛋白質食品は突き放さない
事実2: 「あの蛋白質食品は状況説明であるか基本ファイルでない」ということは誤りである
事実3: 「あの入射点は細々するかあるいは赦免しない」ということは成り立たない
事実4: もし仮になんらかの物は姓名判断であるなら「それは微笑ましい」ということは確かである
事実5: あの蛋白質食品は突き放さない
事実6: 「あの入射点は成員だ」ということは成り立つなら「「あの蛋白質食品は突き放すかそれは微笑ましくらないかあるいはどちらもだ」ということは本当でない」ということは確かである
事実7: なにがしかのものは成員だ
事実8: あの入射点は微笑ましい
事実9: 「「静めるかもしくは揮発し易くないかもしくは両方だ」ということは成り立たない」ものはある
事実10: 仮にあの入射点は突き放すとすれば「あの蛋白質食品は成員であるかもしくはそれは微笑ましくらないかあるいはどちらもだ」ということは偽である
事実11: もし仮にあの入射点は微笑ましいとしたら「あの蛋白質食品は突き放すか成員でない」ということは真実でない
事実12: 「「突き放すかもしくは成員であるかあるいはどちらもだ」ということは確かでない」物はある
事実13: 「「浮気するかまたは伝道者でないかもしくはどちらもだ」ということは間違いな」物はある
事実14: 何らかの物は突き放すということはない
事実15: もしもあの蛋白質食品は成員であるとすれば「あの入射点は突き放すかまたは微笑ましくらないかあるいは両方ともだ」ということは嘘だ
事実16: 仮にあの蛋白質食品は微笑ましいとすると「あの入射点は突き放すかそれは成員でないかあるいは両方だ」ということは偽である
事実17: 何らかのものは突き放すかそれは成員でない
事実18: もしあの有償・無償は微笑ましいなら「それは手厳しいかもしくは聞こえ難くない」ということは事実と異なる
事実19: 仮にあの蛋白質食品は微笑ましいなら「「あの入射点は成員であるかまたは突き放さない」ということは本当でない」ということは事実だ

仮説: 「「「突き放すかもしくは成員でない」ということは成り立たない」ものはある」ということは誤っている
1. 事実11と事実8から、推論1: "「あの蛋白質食品は突き放すかあるいは成員でない」ということは成り立たない"が導かれる
2. 推論1から、仮説が否定される

よって、仮説が否定されました。