そのウーパは張り付けするということはない
fact1: その正食は甚だしない fact2: そのウーパが張り付けするし加えて甚だしとしたらその正食は答え易くない fact3: 「もしそのウーパが開き切るし答え易いとしたらその正食は張り付けしない」ということは真実だ fact4: そのウーパは感慨深くない fact5: 「その正食は張り付けしない」ということは真実ならば「それは甚だし」ということは誤っていない fact6: その正食はルビであるしそれに開き切る fact7: そのウーパは仁王立ちするしおまけに開き切る fact8: その正食が甚だしないとすればそれは開き切るし更に答え易い fact9: もし仮にその正食が開き切るし答え易いならばそのウーパは張り付けしない fact10: そのトリスバーは白むしおまけに手向かう
fact8 & fact1 -> int1: その正食は開き切るしおまけに答え易い; int1 & fact9 -> hypothesis;
$facts$ = fact1: その正食は甚だしない fact2: そのウーパが張り付けするし加えて甚だしとしたらその正食は答え易くない fact3: 「もしそのウーパが開き切るし答え易いとしたらその正食は張り付けしない」ということは真実だ fact4: そのウーパは感慨深くない fact5: 「その正食は張り付けしない」ということは真実ならば「それは甚だし」ということは誤っていない fact6: その正食はルビであるしそれに開き切る fact7: そのウーパは仁王立ちするしおまけに開き切る fact8: その正食が甚だしないとすればそれは開き切るし更に答え易い fact9: もし仮にその正食が開き切るし答え易いならばそのウーパは張り付けしない fact10: そのトリスバーは白むしおまけに手向かう ; $hypothesis$ = そのウーパは張り付けするということはない ; $proof$ = 
fact8 & fact1 -> int1: その正食は開き切るしおまけに答え易い; int1 & fact9 -> hypothesis; __PROVED__
事実1: その正食は甚だしない
事実2: そのウーパが張り付けするし加えて甚だしとしたらその正食は答え易くない
事実3: 「もしそのウーパが開き切るし答え易いとしたらその正食は張り付けしない」ということは真実だ
事実4: そのウーパは感慨深くない
事実5: 「その正食は張り付けしない」ということは真実ならば「それは甚だし」ということは誤っていない
事実6: その正食はルビであるしそれに開き切る
事実7: そのウーパは仁王立ちするしおまけに開き切る
事実8: その正食が甚だしないとすればそれは開き切るし更に答え易い
事実9: もし仮にその正食が開き切るし答え易いならばそのウーパは張り付けしない
事実10: そのトリスバーは白むしおまけに手向かう

仮説: そのウーパは張り付けするということはない
1. 事実8と事実1から、推論1: "その正食は開き切るしおまけに答え易い"が導かれる
2. 推論1と事実9から、仮説が導かれる

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