この生活続命は約十秒しないしそれにそれはさよならしない
fact1: もしも「「横座りする」ということは本当な」物があればこの生活続命は約十秒しない fact2: もし仮になにかは横座りしないとしたら「約十秒しなくておまけにさよならするということはない」ということは成り立つということはない fact3: 「横座りする」ものはある fact4: この生活続命は約十秒しない fact5: 仮にあのジャスダック市場が道徳心でなくて横座りしないとするとこの生活続命は横座りしない fact6: 「「横座りする」ということは正しい」ものがあるならこの生活続命は約十秒しないしさよならしない
fact3 & fact6 -> hypothesis;
fact3 & fact6 -> hypothesis;
「この生活続命は約十秒しなくてまたそれはさよならするということはない」ということは成り立つということはない
fact8 -> int1: もし仮にこの生活続命は横座りしないとしたら「約十秒しないしそれはさよならしない」ということは事実と異なる;
$facts$ = fact1: もしも「「横座りする」ということは本当な」物があればこの生活続命は約十秒しない fact2: もし仮になにかは横座りしないとしたら「約十秒しなくておまけにさよならするということはない」ということは成り立つということはない fact3: 「横座りする」ものはある fact4: この生活続命は約十秒しない fact5: 仮にあのジャスダック市場が道徳心でなくて横座りしないとするとこの生活続命は横座りしない fact6: 「「横座りする」ということは正しい」ものがあるならこの生活続命は約十秒しないしさよならしない ; $hypothesis$ = この生活続命は約十秒しないしそれにそれはさよならしない ; $proof$ = 
fact3 & fact6 -> hypothesis; __PROVED__
事実1: もしも「「横座りする」ということは本当な」物があればこの生活続命は約十秒しない
事実2: もし仮になにかは横座りしないとしたら「約十秒しなくておまけにさよならするということはない」ということは成り立つということはない
事実3: 「横座りする」ものはある
事実4: この生活続命は約十秒しない
事実5: 仮にあのジャスダック市場が道徳心でなくて横座りしないとするとこの生活続命は横座りしない
事実6: 「「横座りする」ということは正しい」ものがあるならこの生活続命は約十秒しないしさよならしない

仮説: この生活続命は約十秒しないしそれにそれはさよならしない
1. 事実3と事実6から、仮説が導かれる

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