あの丸呑みは励み為さる
fact1: その税引き前利益が零号機だとしたらそのコンコルド広場は伸び縮みする fact2: もしこの地理的環境が享受しないならそれは伸び縮みするし零号機だ fact3: そのコンコルド広場が伸び縮みすればあの丸呑みは先送りである fact4: 「この地理的環境は当該有価証券であるけどそれは吸収され難くない」ということは嘘だ fact5: 「その税引き前利益は黙認するししかもそれは先送りである」ということは事実である fact6: 仮に「この地理的環境は当該有価証券でないしそれは吸収され難くない」ということは嘘ならその税引き前利益は零号機である fact7: 仮にそのコンコルド広場が伸び縮みするとしたらあの丸呑みは先送りだ一方で伸び縮みするということはない fact8: なにがしかのものが政府庁舎でないかあるいはそれは当該有価証券であるかあるいは両方だとするとそれは励み為さらない fact9: あの丸呑みは先送りだ fact10: もし仮に政府庁舎はあるとすれば「この地理的環境は当該有価証券であるけれど吸収され難いということはない」ということは誤りである fact11: 「政府庁舎である」ものはある fact12: もし「政府庁舎な」物はあるとすると「この地理的環境は当該有価証券であるということはなくて吸収され難くない」ということは成り立たない fact13: もし「政府庁舎な」ものはあるとすると「この地理的環境は当該有価証券でないけど吸収され難い」ということは事実と異なる fact14: 仮にあの丸呑みが享受しないとしたらそれは励み為さる fact15: 何らかのものが先送りだがしかしそれは伸び縮みしないなら「享受しない」ということは成り立つ fact16: 「この地理的環境は当該有価証券であるということはないが吸収され難い」ということは確かでない fact17: 「励み為さる」物はあれば「その税引き前利益は零号機だけれどそれは伸び縮みしない」ということは成り立たない fact18: もしも何らかのものは零号機であるとすれば「吸収され難い」ということは成り立つ
fact11 & fact12 -> int1: 「「この地理的環境は当該有価証券でなくて加えてそれは吸収され難くない」ということは事実と異なる」ということは事実だ; int1 & fact6 -> int2: その税引き前利益は零号機である; int2 & fact1 -> int3: 「そのコンコルド広場は伸び縮みする」ということは真実である; int3 & fact7 -> int4: あの丸呑みは先送りであるけれど伸び縮みしない; fact15 -> int5: もしもあの丸呑みは先送りであるけど伸び縮みするということはないとするとそれは享受するということはない; int4 & int5 -> int6: あの丸呑みは享受するということはない; int6 & fact14 -> hypothesis;
あの丸呑みは励み為さらない
fact20 -> int7: もし仮にあの丸呑みは政府庁舎だということはないかもしくは当該有価証券であるかあるいは両方であるとすると励み為さらない; fact22 -> int8: もしこの地理的環境は零号機であるなら吸収され難い; fact19 -> int9: とあるものは黙認するしかつ先送りだ;
$facts$ = fact1: その税引き前利益が零号機だとしたらそのコンコルド広場は伸び縮みする fact2: もしこの地理的環境が享受しないならそれは伸び縮みするし零号機だ fact3: そのコンコルド広場が伸び縮みすればあの丸呑みは先送りである fact4: 「この地理的環境は当該有価証券であるけどそれは吸収され難くない」ということは嘘だ fact5: 「その税引き前利益は黙認するししかもそれは先送りである」ということは事実である fact6: 仮に「この地理的環境は当該有価証券でないしそれは吸収され難くない」ということは嘘ならその税引き前利益は零号機である fact7: 仮にそのコンコルド広場が伸び縮みするとしたらあの丸呑みは先送りだ一方で伸び縮みするということはない fact8: なにがしかのものが政府庁舎でないかあるいはそれは当該有価証券であるかあるいは両方だとするとそれは励み為さらない fact9: あの丸呑みは先送りだ fact10: もし仮に政府庁舎はあるとすれば「この地理的環境は当該有価証券であるけれど吸収され難いということはない」ということは誤りである fact11: 「政府庁舎である」ものはある fact12: もし「政府庁舎な」物はあるとすると「この地理的環境は当該有価証券であるということはなくて吸収され難くない」ということは成り立たない fact13: もし「政府庁舎な」ものはあるとすると「この地理的環境は当該有価証券でないけど吸収され難い」ということは事実と異なる fact14: 仮にあの丸呑みが享受しないとしたらそれは励み為さる fact15: 何らかのものが先送りだがしかしそれは伸び縮みしないなら「享受しない」ということは成り立つ fact16: 「この地理的環境は当該有価証券であるということはないが吸収され難い」ということは確かでない fact17: 「励み為さる」物はあれば「その税引き前利益は零号機だけれどそれは伸び縮みしない」ということは成り立たない fact18: もしも何らかのものは零号機であるとすれば「吸収され難い」ということは成り立つ ; $hypothesis$ = あの丸呑みは励み為さる ; $proof$ = 
fact11 & fact12 -> int1: 「「この地理的環境は当該有価証券でなくて加えてそれは吸収され難くない」ということは事実と異なる」ということは事実だ; int1 & fact6 -> int2: その税引き前利益は零号機である; int2 & fact1 -> int3: 「そのコンコルド広場は伸び縮みする」ということは真実である; int3 & fact7 -> int4: あの丸呑みは先送りであるけれど伸び縮みしない; fact15 -> int5: もしもあの丸呑みは先送りであるけど伸び縮みするということはないとするとそれは享受するということはない; int4 & int5 -> int6: あの丸呑みは享受するということはない; int6 & fact14 -> hypothesis; __PROVED__
事実1: その税引き前利益が零号機だとしたらそのコンコルド広場は伸び縮みする
事実2: もしこの地理的環境が享受しないならそれは伸び縮みするし零号機だ
事実3: そのコンコルド広場が伸び縮みすればあの丸呑みは先送りである
事実4: 「この地理的環境は当該有価証券であるけどそれは吸収され難くない」ということは嘘だ
事実5: 「その税引き前利益は黙認するししかもそれは先送りである」ということは事実である
事実6: 仮に「この地理的環境は当該有価証券でないしそれは吸収され難くない」ということは嘘ならその税引き前利益は零号機である
事実7: 仮にそのコンコルド広場が伸び縮みするとしたらあの丸呑みは先送りだ一方で伸び縮みするということはない
事実8: なにがしかのものが政府庁舎でないかあるいはそれは当該有価証券であるかあるいは両方だとするとそれは励み為さらない
事実9: あの丸呑みは先送りだ
事実10: もし仮に政府庁舎はあるとすれば「この地理的環境は当該有価証券であるけれど吸収され難いということはない」ということは誤りである
事実11: 「政府庁舎である」ものはある
事実12: もし「政府庁舎な」物はあるとすると「この地理的環境は当該有価証券であるということはなくて吸収され難くない」ということは成り立たない
事実13: もし「政府庁舎な」ものはあるとすると「この地理的環境は当該有価証券でないけど吸収され難い」ということは事実と異なる
事実14: 仮にあの丸呑みが享受しないとしたらそれは励み為さる
事実15: 何らかのものが先送りだがしかしそれは伸び縮みしないなら「享受しない」ということは成り立つ
事実16: 「この地理的環境は当該有価証券であるということはないが吸収され難い」ということは確かでない
事実17: 「励み為さる」物はあれば「その税引き前利益は零号機だけれどそれは伸び縮みしない」ということは成り立たない
事実18: もしも何らかのものは零号機であるとすれば「吸収され難い」ということは成り立つ

仮説: あの丸呑みは励み為さる
1. 事実11と事実12から、推論1: "「「この地理的環境は当該有価証券でなくて加えてそれは吸収され難くない」ということは事実と異なる」ということは事実だ"が導かれる
2. 推論1と事実6から、推論2: "その税引き前利益は零号機である"が導かれる
3. 推論2と事実1から、推論3: "「そのコンコルド広場は伸び縮みする」ということは真実である"が導かれる
4. 推論3と事実7から、推論4: "あの丸呑みは先送りであるけれど伸び縮みしない"が導かれる
5. 事実15から、推論5: "もしもあの丸呑みは先送りであるけど伸び縮みするということはないとするとそれは享受するということはない"が導かれる
6. 推論4と推論5から、推論6: "あの丸呑みは享受するということはない"が導かれる
7. 推論6と事実14から、仮説が導かれる

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