「この未帰還は退化するししかも崩し易い」ということは成り立つということはない
fact1: 「この未帰還はボーキサイトであるしそれは由々しい」ということは真実でないとすればあの前処置は走り易くない fact2: その神経性食欲不振症は崩し易い fact3: この未帰還は退化する fact4: この本人対応は塗らないとすると「「この未帰還は退化するしおまけにそれは崩し易い」ということは誤っている」ということは事実である fact5: 仮に何かは塗らないとしたら退化しないけれど崩し易い fact6: とあるものは走り易くないなら「それは塗らない」ということは本当だ fact7: この未帰還は崩し易い
fact3 & fact7 -> hypothesis;
その前処置は崩し易い
fact8 -> int1: もし仮にその前処置が塗らないならばそれは退化しないけど崩し易い; fact9 -> int2: 「その前処置は走り易くない」ということは成り立つとしたらそれは塗らない;
$facts$ = fact1: 「この未帰還はボーキサイトであるしそれは由々しい」ということは真実でないとすればあの前処置は走り易くない fact2: その神経性食欲不振症は崩し易い fact3: この未帰還は退化する fact4: この本人対応は塗らないとすると「「この未帰還は退化するしおまけにそれは崩し易い」ということは誤っている」ということは事実である fact5: 仮に何かは塗らないとしたら退化しないけれど崩し易い fact6: とあるものは走り易くないなら「それは塗らない」ということは本当だ fact7: この未帰還は崩し易い ; $hypothesis$ = 「この未帰還は退化するししかも崩し易い」ということは成り立つということはない ; $proof$ = 
fact3 & fact7 -> hypothesis; __DISPROVED__
事実1: 「この未帰還はボーキサイトであるしそれは由々しい」ということは真実でないとすればあの前処置は走り易くない
事実2: その神経性食欲不振症は崩し易い
事実3: この未帰還は退化する
事実4: この本人対応は塗らないとすると「「この未帰還は退化するしおまけにそれは崩し易い」ということは誤っている」ということは事実である
事実5: 仮に何かは塗らないとしたら退化しないけれど崩し易い
事実6: とあるものは走り易くないなら「それは塗らない」ということは本当だ
事実7: この未帰還は崩し易い

仮説: 「この未帰還は退化するししかも崩し易い」ということは成り立つということはない
1. 事実3と事実7から、仮説が否定される

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