「「もしも自然らしくないなら「「小高いしさらに心置き無い」ということは誤っていない」ということは間違っている」ものはある」ということは間違っている
fact1: 「この幹部職員は自然らしい」ということは本当であるとしたら「それは小高くてさらに心置き無い」ということは成り立たない fact2: 「もし仮に見易くないなら「「探し始めるしそれに活性汚泥だ」ということは事実である」ということは成り立たない」ものはある fact3: 「もし仮に自然らしいとすれば「小高いしさらに心置き無い」ということは間違っている」ものはある fact4: この幹部職員は自然らしくないならば「小高いしその上心置き無い」ということは偽だ fact5: 「もし抜け易くないとしたら「びっくりするし有効活用する」ということは間違っている」ものはある fact6: 「「自然らしくないとしたら小高くて心置き無い」ものはある」ということは成り立つ fact7: もし仮になにがしかの物は白しないとすれば「それは違背するし繰り上がる」ということは誤りだ fact8: もし仮に「この幹部職員は自然らしくない」ということは確かだとすれば小高いし更に心置き無い fact9: もし「この幹部職員は自然らしくない」ということは正しいとしたら「それは転げ込むし五歳時である」ということは間違いだ
fact4 -> hypothesis;
「もしも「白しない」ということは事実なら「違背するし繰り上がる」ということは間違いな」ものはある
fact10 -> int1: 仮に「このダウンサイジングは白しない」ということは確かだとすれば「違背するし繰り上がる」ということは誤っている; int1 -> hypothesis;
$facts$ = fact1: 「この幹部職員は自然らしい」ということは本当であるとしたら「それは小高くてさらに心置き無い」ということは成り立たない fact2: 「もし仮に見易くないなら「「探し始めるしそれに活性汚泥だ」ということは事実である」ということは成り立たない」ものはある fact3: 「もし仮に自然らしいとすれば「小高いしさらに心置き無い」ということは間違っている」ものはある fact4: この幹部職員は自然らしくないならば「小高いしその上心置き無い」ということは偽だ fact5: 「もし抜け易くないとしたら「びっくりするし有効活用する」ということは間違っている」ものはある fact6: 「「自然らしくないとしたら小高くて心置き無い」ものはある」ということは成り立つ fact7: もし仮になにがしかの物は白しないとすれば「それは違背するし繰り上がる」ということは誤りだ fact8: もし仮に「この幹部職員は自然らしくない」ということは確かだとすれば小高いし更に心置き無い fact9: もし「この幹部職員は自然らしくない」ということは正しいとしたら「それは転げ込むし五歳時である」ということは間違いだ ; $hypothesis$ = 「「もしも自然らしくないなら「「小高いしさらに心置き無い」ということは誤っていない」ということは間違っている」ものはある」ということは間違っている ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: 「この幹部職員は自然らしい」ということは本当であるとしたら「それは小高くてさらに心置き無い」ということは成り立たない
事実2: 「もし仮に見易くないなら「「探し始めるしそれに活性汚泥だ」ということは事実である」ということは成り立たない」ものはある
事実3: 「もし仮に自然らしいとすれば「小高いしさらに心置き無い」ということは間違っている」ものはある
事実4: この幹部職員は自然らしくないならば「小高いしその上心置き無い」ということは偽だ
事実5: 「もし抜け易くないとしたら「びっくりするし有効活用する」ということは間違っている」ものはある
事実6: 「「自然らしくないとしたら小高くて心置き無い」ものはある」ということは成り立つ
事実7: もし仮になにがしかの物は白しないとすれば「それは違背するし繰り上がる」ということは誤りだ
事実8: もし仮に「この幹部職員は自然らしくない」ということは確かだとすれば小高いし更に心置き無い
事実9: もし「この幹部職員は自然らしくない」ということは正しいとしたら「それは転げ込むし五歳時である」ということは間違いだ

仮説: 「「もしも自然らしくないなら「「小高いしさらに心置き無い」ということは誤っていない」ということは間違っている」ものはある」ということは間違っている
1. 事実4から、仮説が否定される

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