「「もしも契約社員でなくてその上御偉くないなら真諦でない」ものはある」ということは成り立たない
fact1: 「もし仮に二重発券でなくてその上まきでないならばデータマイニングでない」ものはある fact2: 「契約社員だ一方で御偉くないなら真諦だということはない」物はある fact3: 「上着細胞でないしその上従来型でないなら乳臭くない」物はある fact4: 「仮に契約社員でないしその上御偉いということはないとすれば「真諦だ」ということは正しい」物はある fact5: もしあの日本出版販売は存続出来なくて燻りがっこでないとすれば真諦でない fact6: もし仮にあるものが契約社員である一方で御偉くないとするとそれは真諦でない fact7: もし仮にその始原期が契約社員でなくて御偉くないとすればそれは真諦である fact8: もし仮にその乳化重合が御偉くなくてそれが暴き立てないとしたら頼み難くない fact9: 何かは契約社員でないし加えて御偉いということはないとするとそれは真諦だ fact10: とあるものが契約社員でないしさらに御偉くないならばそれは真諦でない fact11: 仮に何らかのものが契約社員でないがしかしそれが御偉いとするとそれは真諦でない fact12: 仮にその始原期が契約社員だ一方で御偉くないならば真諦でない fact13: もし何かは二因子でないしいずなでないなら痛ましいということはない fact14: 「契約社員でない一方で御偉いとしたら「真諦でない」ということは成り立つ」ものはある fact15: もしもその始原期が契約社員でないがそれが御偉いとすると真諦でない
fact10 -> int1: もし仮にその始原期は契約社員でなくて加えて御偉くないならば真諦でない; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に二重発券でなくてその上まきでないならばデータマイニングでない」ものはある fact2: 「契約社員だ一方で御偉くないなら真諦だということはない」物はある fact3: 「上着細胞でないしその上従来型でないなら乳臭くない」物はある fact4: 「仮に契約社員でないしその上御偉いということはないとすれば「真諦だ」ということは正しい」物はある fact5: もしあの日本出版販売は存続出来なくて燻りがっこでないとすれば真諦でない fact6: もし仮にあるものが契約社員である一方で御偉くないとするとそれは真諦でない fact7: もし仮にその始原期が契約社員でなくて御偉くないとすればそれは真諦である fact8: もし仮にその乳化重合が御偉くなくてそれが暴き立てないとしたら頼み難くない fact9: 何かは契約社員でないし加えて御偉いということはないとするとそれは真諦だ fact10: とあるものが契約社員でないしさらに御偉くないならばそれは真諦でない fact11: 仮に何らかのものが契約社員でないがしかしそれが御偉いとするとそれは真諦でない fact12: 仮にその始原期が契約社員だ一方で御偉くないならば真諦でない fact13: もし何かは二因子でないしいずなでないなら痛ましいということはない fact14: 「契約社員でない一方で御偉いとしたら「真諦でない」ということは成り立つ」ものはある fact15: もしもその始原期が契約社員でないがそれが御偉いとすると真諦でない ; $hypothesis$ = 「「もしも契約社員でなくてその上御偉くないなら真諦でない」ものはある」ということは成り立たない ; $proof$ = 
fact10 -> int1: もし仮にその始原期は契約社員でなくて加えて御偉くないならば真諦でない; int1 -> hypothesis; __DISPROVED__
事実1: 「もし仮に二重発券でなくてその上まきでないならばデータマイニングでない」ものはある
事実2: 「契約社員だ一方で御偉くないなら真諦だということはない」物はある
事実3: 「上着細胞でないしその上従来型でないなら乳臭くない」物はある
事実4: 「仮に契約社員でないしその上御偉いということはないとすれば「真諦だ」ということは正しい」物はある
事実5: もしあの日本出版販売は存続出来なくて燻りがっこでないとすれば真諦でない
事実6: もし仮にあるものが契約社員である一方で御偉くないとするとそれは真諦でない
事実7: もし仮にその始原期が契約社員でなくて御偉くないとすればそれは真諦である
事実8: もし仮にその乳化重合が御偉くなくてそれが暴き立てないとしたら頼み難くない
事実9: 何かは契約社員でないし加えて御偉いということはないとするとそれは真諦だ
事実10: とあるものが契約社員でないしさらに御偉くないならばそれは真諦でない
事実11: 仮に何らかのものが契約社員でないがしかしそれが御偉いとするとそれは真諦でない
事実12: 仮にその始原期が契約社員だ一方で御偉くないならば真諦でない
事実13: もし何かは二因子でないしいずなでないなら痛ましいということはない
事実14: 「契約社員でない一方で御偉いとしたら「真諦でない」ということは成り立つ」ものはある
事実15: もしもその始原期が契約社員でないがそれが御偉いとすると真諦でない

仮説: 「「もしも契約社員でなくてその上御偉くないなら真諦でない」ものはある」ということは成り立たない
1. 事実10から、推論1: "もし仮にその始原期は契約社員でなくて加えて御偉くないならば真諦でない"が導かれる
2. 推論1から、仮説が否定される

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