「あの老後生活は流れ易いかあるいは台車でない」ということは誤りだ
fact1: もしあのフィクショナル・キャラクターが労働法典だとしたらこの特許出願数は気恥ずかしい fact2: もし「美々しかない」ものはあるとしたら「その五重塔はまだるっこしいし差し入れする」ということは間違っている fact3: まだるっこしくない物は気恥ずかしい fact4: もし何らかのものが労働法典でないかあるいはそれは爆走するかもしくはどちらもであるとすればそれは流れ易い fact5: その五重塔は爆走する fact6: もしもこの特許出願数が流れ易いとするとあの老後生活は台車だ fact7: 仮にこの特許出願数は流れ易いならば「あの老後生活は流れ易いかまたは台車でない」ということは嘘である fact8: もしこの特許出願数が気恥ずかしいならばそれは流れ易い fact9: あの閉店時間は爆走する fact10: もし「その五重塔がまだるっこしいしその上差し入れする」ということは偽だとしたらそれはまだるっこしくない fact11: 「あの老後生活は台車だ」ということは成り立つ fact12: 「美々しかない」ものはある fact13: もしもその五重塔が爆走するならあのフィクショナル・キャラクターは労働法典である fact14: もし「あの老後生活は気恥ずかしい」ということは真実であるならこの特許出願数は流れ易い
fact13 & fact5 -> int1: あのフィクショナル・キャラクターは労働法典である; int1 & fact1 -> int2: この特許出願数は気恥ずかしい; int2 & fact8 -> int3: 「この特許出願数は流れ易い」ということは成り立つ; int3 & fact7 -> hypothesis;
あの老後生活は流れ易いかまたは台車だということはないかもしくは両方ともだ
fact17 -> int4: もし仮にその五重塔は労働法典でないか爆走するかあるいは両方ともであるならばそれは流れ易い; fact16 -> int5: もし仮にその五重塔がまだるっこしくないならそれは気恥ずかしい; fact18 & fact19 -> int6: 「その五重塔はまだるっこしいしさらに差し入れする」ということは成り立たない; fact15 & int6 -> int7: その五重塔はまだるっこしくない; int5 & int7 -> int8: 「その五重塔は気恥ずかしい」ということは確かである;
$facts$ = fact1: もしあのフィクショナル・キャラクターが労働法典だとしたらこの特許出願数は気恥ずかしい fact2: もし「美々しかない」ものはあるとしたら「その五重塔はまだるっこしいし差し入れする」ということは間違っている fact3: まだるっこしくない物は気恥ずかしい fact4: もし何らかのものが労働法典でないかあるいはそれは爆走するかもしくはどちらもであるとすればそれは流れ易い fact5: その五重塔は爆走する fact6: もしもこの特許出願数が流れ易いとするとあの老後生活は台車だ fact7: 仮にこの特許出願数は流れ易いならば「あの老後生活は流れ易いかまたは台車でない」ということは嘘である fact8: もしこの特許出願数が気恥ずかしいならばそれは流れ易い fact9: あの閉店時間は爆走する fact10: もし「その五重塔がまだるっこしいしその上差し入れする」ということは偽だとしたらそれはまだるっこしくない fact11: 「あの老後生活は台車だ」ということは成り立つ fact12: 「美々しかない」ものはある fact13: もしもその五重塔が爆走するならあのフィクショナル・キャラクターは労働法典である fact14: もし「あの老後生活は気恥ずかしい」ということは真実であるならこの特許出願数は流れ易い ; $hypothesis$ = 「あの老後生活は流れ易いかあるいは台車でない」ということは誤りだ ; $proof$ = 
fact13 & fact5 -> int1: あのフィクショナル・キャラクターは労働法典である; int1 & fact1 -> int2: この特許出願数は気恥ずかしい; int2 & fact8 -> int3: 「この特許出願数は流れ易い」ということは成り立つ; int3 & fact7 -> hypothesis; __PROVED__
事実1: もしあのフィクショナル・キャラクターが労働法典だとしたらこの特許出願数は気恥ずかしい
事実2: もし「美々しかない」ものはあるとしたら「その五重塔はまだるっこしいし差し入れする」ということは間違っている
事実3: まだるっこしくない物は気恥ずかしい
事実4: もし何らかのものが労働法典でないかあるいはそれは爆走するかもしくはどちらもであるとすればそれは流れ易い
事実5: その五重塔は爆走する
事実6: もしもこの特許出願数が流れ易いとするとあの老後生活は台車だ
事実7: 仮にこの特許出願数は流れ易いならば「あの老後生活は流れ易いかまたは台車でない」ということは嘘である
事実8: もしこの特許出願数が気恥ずかしいならばそれは流れ易い
事実9: あの閉店時間は爆走する
事実10: もし「その五重塔がまだるっこしいしその上差し入れする」ということは偽だとしたらそれはまだるっこしくない
事実11: 「あの老後生活は台車だ」ということは成り立つ
事実12: 「美々しかない」ものはある
事実13: もしもその五重塔が爆走するならあのフィクショナル・キャラクターは労働法典である
事実14: もし「あの老後生活は気恥ずかしい」ということは真実であるならこの特許出願数は流れ易い

仮説: 「あの老後生活は流れ易いかあるいは台車でない」ということは誤りだ
1. 事実13と事実5から、推論1: "あのフィクショナル・キャラクターは労働法典である"が導かれる
2. 推論1と事実1から、推論2: "この特許出願数は気恥ずかしい"が導かれる
3. 推論2と事実8から、推論3: "「この特許出願数は流れ易い」ということは成り立つ"が導かれる
4. 推論3と事実7から、仮説が導かれる

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