「その非常口は長々しい」ということは確かである
fact1: 仮にその非常口は長々しい一方で間奏でないとすれば「「その税効果額は見付け易くない」ということは成り立つ」ということは成り立つということはない fact2: 抗い難い物は消化し易い fact3: その税効果額が間奏であるとするとそのナッツは間奏である fact4: 「内容確認は見付け易い」ということは本当だ fact5: 「仮にそのナッツが間奏だが見付け易くないならばあの非常口は長々しい」ということは正しい fact6: 仮にそのナッツは間奏でないならば「それは内容確認でそれは新しということはない」ということは間違っている fact7: そのナッツは体内だ fact8: 「そのナッツは間奏だ」ということは本当である fact9: その税効果額は体内だ fact10: 間奏は長々しい fact11: もしもその税効果額は体内であるならば内容確認だ fact12: 仮にその税効果額が新しとすればその非常口は新し fact13: もし仮になにがしかのものが内容確認だとすると間奏である fact14: もしも「その非常口は体内でないけれどそれは内容確認だ」ということは成り立たないとすると「それは長々しい」ということは成り立たない fact15: もしそのナッツが見付け易いがしかし内容確認でないならばその税効果額は間奏である fact16: もしそのナッツが間奏であるけれど内容確認でないとしたらその税効果額は体内だ fact17: 「そのナッツは内容確認であるがしかし新しない」ということは誤りであるとすると新し fact18: もしもその税効果額が間奏であるならそのナッツは間奏である一方で見付け易くない
fact11 & fact9 -> int1: その税効果額は内容確認だ; fact13 -> int2: 仮にその税効果額が内容確認だとしたらそれは間奏である; int1 & int2 -> int3: その税効果額は間奏だ; int3 & fact18 -> int4: そのナッツは間奏だ一方で見付け易くない; int4 & fact5 -> hypothesis;
その非常口は新し一方で信販市場でない
$facts$ = fact1: 仮にその非常口は長々しい一方で間奏でないとすれば「「その税効果額は見付け易くない」ということは成り立つ」ということは成り立つということはない fact2: 抗い難い物は消化し易い fact3: その税効果額が間奏であるとするとそのナッツは間奏である fact4: 「内容確認は見付け易い」ということは本当だ fact5: 「仮にそのナッツが間奏だが見付け易くないならばあの非常口は長々しい」ということは正しい fact6: 仮にそのナッツは間奏でないならば「それは内容確認でそれは新しということはない」ということは間違っている fact7: そのナッツは体内だ fact8: 「そのナッツは間奏だ」ということは本当である fact9: その税効果額は体内だ fact10: 間奏は長々しい fact11: もしもその税効果額は体内であるならば内容確認だ fact12: 仮にその税効果額が新しとすればその非常口は新し fact13: もし仮になにがしかのものが内容確認だとすると間奏である fact14: もしも「その非常口は体内でないけれどそれは内容確認だ」ということは成り立たないとすると「それは長々しい」ということは成り立たない fact15: もしそのナッツが見付け易いがしかし内容確認でないならばその税効果額は間奏である fact16: もしそのナッツが間奏であるけれど内容確認でないとしたらその税効果額は体内だ fact17: 「そのナッツは内容確認であるがしかし新しない」ということは誤りであるとすると新し fact18: もしもその税効果額が間奏であるならそのナッツは間奏である一方で見付け易くない ; $hypothesis$ = 「その非常口は長々しい」ということは確かである ; $proof$ = 
fact11 & fact9 -> int1: その税効果額は内容確認だ; fact13 -> int2: 仮にその税効果額が内容確認だとしたらそれは間奏である; int1 & int2 -> int3: その税効果額は間奏だ; int3 & fact18 -> int4: そのナッツは間奏だ一方で見付け易くない; int4 & fact5 -> hypothesis; __PROVED__
事実1: 仮にその非常口は長々しい一方で間奏でないとすれば「「その税効果額は見付け易くない」ということは成り立つ」ということは成り立つということはない
事実2: 抗い難い物は消化し易い
事実3: その税効果額が間奏であるとするとそのナッツは間奏である
事実4: 「内容確認は見付け易い」ということは本当だ
事実5: 「仮にそのナッツが間奏だが見付け易くないならばあの非常口は長々しい」ということは正しい
事実6: 仮にそのナッツは間奏でないならば「それは内容確認でそれは新しということはない」ということは間違っている
事実7: そのナッツは体内だ
事実8: 「そのナッツは間奏だ」ということは本当である
事実9: その税効果額は体内だ
事実10: 間奏は長々しい
事実11: もしもその税効果額は体内であるならば内容確認だ
事実12: 仮にその税効果額が新しとすればその非常口は新し
事実13: もし仮になにがしかのものが内容確認だとすると間奏である
事実14: もしも「その非常口は体内でないけれどそれは内容確認だ」ということは成り立たないとすると「それは長々しい」ということは成り立たない
事実15: もしそのナッツが見付け易いがしかし内容確認でないならばその税効果額は間奏である
事実16: もしそのナッツが間奏であるけれど内容確認でないとしたらその税効果額は体内だ
事実17: 「そのナッツは内容確認であるがしかし新しない」ということは誤りであるとすると新し
事実18: もしもその税効果額が間奏であるならそのナッツは間奏である一方で見付け易くない

仮説: 「その非常口は長々しい」ということは確かである
1. 事実11と事実9から、推論1: "その税効果額は内容確認だ"が導かれる
2. 事実13から、推論2: "仮にその税効果額が内容確認だとしたらそれは間奏である"が導かれる
3. 推論1と推論2から、推論3: "その税効果額は間奏だ"が導かれる
4. 推論3と事実18から、推論4: "そのナッツは間奏だ一方で見付け易くない"が導かれる
5. 推論4と事実5から、仮説が導かれる

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