その大型棺は四箇月以上である
fact1: 「もしその大型棺はトンネル状でないとしたら「その大型棺は四箇月以上であるし丸太組工法である」ということは誤りである」ということは本当だ fact2: 「その大型棺は転身するがしかし通り易くない」ということは成り立つということはない fact3: 「あの変異型ヤコブ病は寒々しい物であってさらにか細い」ということは偽である fact4: 「その大型棺は変化身であるしパターン化する」ということは成り立たない fact5: 仮に「その大型棺は天津罪でない」ということは成り立つなら「絡まるししかも先導しない」ということは成り立たない fact6: 「このカヌーはいとおしい」ということは真実である fact7: あらゆる物は天津罪でない fact8: 「その溜めは思い付きであるけれど大津事件でない」ということは誤っている fact9: もしその大型棺は変数宣言だということはないとすれば「それは寒々しいしまた天津罪でない」ということは成り立たない fact10: 「その大型棺は通り易いし男っぽい」ということは誤っている fact11: どれもこれもは変数宣言でない fact12: 全ては丸太組工法でない fact13: 「「その大型棺は寒々しいけれど天津罪でない」ということは事実と異なる」ということは成り立つとすると「それは四箇月以上だ」ということは事実だ
fact11 -> int1: その大型棺は変数宣言でない; int1 & fact9 -> int2: 「その大型棺は寒々しいが天津罪でない」ということは嘘である; int2 & fact13 -> hypothesis;
fact11 -> int1: ¬{A}{aa}; int1 & fact9 -> int2: ¬({B}{aa} & ¬{C}{aa}); int2 & fact13 -> hypothesis;
$facts$ = fact1: 「もしその大型棺はトンネル状でないとしたら「その大型棺は四箇月以上であるし丸太組工法である」ということは誤りである」ということは本当だ fact2: 「その大型棺は転身するがしかし通り易くない」ということは成り立つということはない fact3: 「あの変異型ヤコブ病は寒々しい物であってさらにか細い」ということは偽である fact4: 「その大型棺は変化身であるしパターン化する」ということは成り立たない fact5: 仮に「その大型棺は天津罪でない」ということは成り立つなら「絡まるししかも先導しない」ということは成り立たない fact6: 「このカヌーはいとおしい」ということは真実である fact7: あらゆる物は天津罪でない fact8: 「その溜めは思い付きであるけれど大津事件でない」ということは誤っている fact9: もしその大型棺は変数宣言だということはないとすれば「それは寒々しいしまた天津罪でない」ということは成り立たない fact10: 「その大型棺は通り易いし男っぽい」ということは誤っている fact11: どれもこれもは変数宣言でない fact12: 全ては丸太組工法でない fact13: 「「その大型棺は寒々しいけれど天津罪でない」ということは事実と異なる」ということは成り立つとすると「それは四箇月以上だ」ということは事実だ ; $hypothesis$ = その大型棺は四箇月以上である ; $proof$ = 
fact11 -> int1: その大型棺は変数宣言でない; int1 & fact9 -> int2: 「その大型棺は寒々しいが天津罪でない」ということは嘘である; int2 & fact13 -> hypothesis; __PROVED__
事実1: 「もしその大型棺はトンネル状でないとしたら「その大型棺は四箇月以上であるし丸太組工法である」ということは誤りである」ということは本当だ
事実2: 「その大型棺は転身するがしかし通り易くない」ということは成り立つということはない
事実3: 「あの変異型ヤコブ病は寒々しい物であってさらにか細い」ということは偽である
事実4: 「その大型棺は変化身であるしパターン化する」ということは成り立たない
事実5: 仮に「その大型棺は天津罪でない」ということは成り立つなら「絡まるししかも先導しない」ということは成り立たない
事実6: 「このカヌーはいとおしい」ということは真実である
事実7: あらゆる物は天津罪でない
事実8: 「その溜めは思い付きであるけれど大津事件でない」ということは誤っている
事実9: もしその大型棺は変数宣言だということはないとすれば「それは寒々しいしまた天津罪でない」ということは成り立たない
事実10: 「その大型棺は通り易いし男っぽい」ということは誤っている
事実11: どれもこれもは変数宣言でない
事実12: 全ては丸太組工法でない
事実13: 「「その大型棺は寒々しいけれど天津罪でない」ということは事実と異なる」ということは成り立つとすると「それは四箇月以上だ」ということは事実だ

仮説: その大型棺は四箇月以上である
1. 事実11から、推論1: "その大型棺は変数宣言でない"が導かれる
2. 推論1と事実9から、推論2: "「その大型棺は寒々しいが天津罪でない」ということは嘘である"が導かれる
3. 推論2と事実13から、仮説が導かれる

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