その郵便ポストは惨たらしい
fact1: もし仮に「その郵便ポストはトレーラーだけど曳航しない」ということは誤っているとするとその論理回路は差し引かない fact2: そのパッサルが惨たらしいとしたらその郵便ポストは差し引く fact3: 仮にその論理回路が差し引かないとするとそのパッサルは掛け直すしかつ自然剥離する fact4: あの記事一覧画面は自然剥離する fact5: もしもその郵便ポストは差し引くがしかしトレーラーでないならば自然剥離する fact6: その郵便ポストは差し引くかもしくはそれは惨たらしい fact7: そのパッサルは慎ましい fact8: もしもそのパッサルが差し引けばその郵便ポストは惨たらしい fact9: その郵便ポストは自然剥離する fact10: その郵便ポストは雇用問題である fact11: 「その郵便ポストは点Ｂである」ということは成り立つ fact12: あのグリニッジビレッジは差し引く fact13: そのパッサルは自然剥離するか差し引く fact14: もし仮にそのパッサルが自然剥離するとすればその郵便ポストは惨たらしい fact15: もし仮にその郵便ポストが差し引くとしたらそのパッサルは惨たらしい
fact13 & fact14 & fact8 -> hypothesis;
fact13 & fact14 & fact8 -> hypothesis;
その郵便ポストは惨たらしくない
$facts$ = fact1: もし仮に「その郵便ポストはトレーラーだけど曳航しない」ということは誤っているとするとその論理回路は差し引かない fact2: そのパッサルが惨たらしいとしたらその郵便ポストは差し引く fact3: 仮にその論理回路が差し引かないとするとそのパッサルは掛け直すしかつ自然剥離する fact4: あの記事一覧画面は自然剥離する fact5: もしもその郵便ポストは差し引くがしかしトレーラーでないならば自然剥離する fact6: その郵便ポストは差し引くかもしくはそれは惨たらしい fact7: そのパッサルは慎ましい fact8: もしもそのパッサルが差し引けばその郵便ポストは惨たらしい fact9: その郵便ポストは自然剥離する fact10: その郵便ポストは雇用問題である fact11: 「その郵便ポストは点Ｂである」ということは成り立つ fact12: あのグリニッジビレッジは差し引く fact13: そのパッサルは自然剥離するか差し引く fact14: もし仮にそのパッサルが自然剥離するとすればその郵便ポストは惨たらしい fact15: もし仮にその郵便ポストが差し引くとしたらそのパッサルは惨たらしい ; $hypothesis$ = その郵便ポストは惨たらしい ; $proof$ = 
fact13 & fact14 & fact8 -> hypothesis; __PROVED__
事実1: もし仮に「その郵便ポストはトレーラーだけど曳航しない」ということは誤っているとするとその論理回路は差し引かない
事実2: そのパッサルが惨たらしいとしたらその郵便ポストは差し引く
事実3: 仮にその論理回路が差し引かないとするとそのパッサルは掛け直すしかつ自然剥離する
事実4: あの記事一覧画面は自然剥離する
事実5: もしもその郵便ポストは差し引くがしかしトレーラーでないならば自然剥離する
事実6: その郵便ポストは差し引くかもしくはそれは惨たらしい
事実7: そのパッサルは慎ましい
事実8: もしもそのパッサルが差し引けばその郵便ポストは惨たらしい
事実9: その郵便ポストは自然剥離する
事実10: その郵便ポストは雇用問題である
事実11: 「その郵便ポストは点Ｂである」ということは成り立つ
事実12: あのグリニッジビレッジは差し引く
事実13: そのパッサルは自然剥離するか差し引く
事実14: もし仮にそのパッサルが自然剥離するとすればその郵便ポストは惨たらしい
事実15: もし仮にその郵便ポストが差し引くとしたらそのパッサルは惨たらしい

仮説: その郵便ポストは惨たらしい
1. 事実13と事実14と事実8から、仮説が導かれる

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