「奥床しくない」物はある
fact1: 「この連結決算は青臭くないが願い奉る」ということは誤りだ fact2: 仮に「何らかのものは凛々しくないがしかしバウンスする」ということは事実と異なるとすれば凛々しい fact3: もし何らかのものは血走るなら「それは凛々しくなくて加えてそれはバウンスする」ということは成り立つということはない fact4: 仮に「青臭いしいかれる」物があるとすればあの半眼は奥床しくない fact5: 「「明け暮れる」ということは成り立つ」物はあるなら「この半眼は明るい」ということは真実だ fact6: もしこの半眼は願い奉るとしたら「青臭くないしかつバウンスする」ということは間違いだ fact7: その古来が美しいしその上願い奉る fact8: もしもなんらかの物が批判し続けるとすればこの半眼はいかれるし加えてそれは願い奉る fact9: もしもなにがしかのものがいかれるし願い奉ればこの連結決算は青臭い fact10: 「疾しない」物はある fact11: もし「儚ししその上ダイレクトオアな」物はあるとすると「この革命権は検閲しない」ということは成り立つ fact12: あの論語古義は血走る fact13: もし仮になにがしかのものが血走るしかつ狙うならその完全週休二日制は住み難い fact14: 「ベーシック認証でない」ものはある fact15: この連結決算は血走る fact16: 「勢い付く」物はある fact17: もし仮になにかは青臭いししかも凛々しいとすればその古来は奥床しくない fact18: 「「批判し続ける」ということは成り立つ」ものはある fact19: もし仮に「奥床しい」物はあるとすると「この連結決算は信心深い」ということは正しい
fact18 & fact8 -> int1: この半眼はいかれるしおまけにそれは願い奉る; int1 -> int2: あるものはいかれるし更に願い奉る; int2 & fact9 -> int3: この連結決算は青臭い; fact2 -> int4: もし「この連結決算は凛々しいということはないけどバウンスする」ということは成り立たないなら凛々しい; fact3 -> int5: もしこの連結決算は血走るとすると「それは凛々しいということはないけどバウンスする」ということは嘘だ; fact15 & int5 -> int6: 「この連結決算は凛々しくないけれどバウンスする」ということは成り立つということはない; int4 & int6 -> int7: この連結決算は凛々しい; int3 & int7 -> int8: この連結決算は青臭くて凛々しい; int8 -> int9: なんらかのものは青臭いしそれは凛々しい; int9 & fact17 -> int10: 「その古来は奥床しくない」ということは本当である; int10 -> hypothesis;
$facts$ = fact1: 「この連結決算は青臭くないが願い奉る」ということは誤りだ fact2: 仮に「何らかのものは凛々しくないがしかしバウンスする」ということは事実と異なるとすれば凛々しい fact3: もし何らかのものは血走るなら「それは凛々しくなくて加えてそれはバウンスする」ということは成り立つということはない fact4: 仮に「青臭いしいかれる」物があるとすればあの半眼は奥床しくない fact5: 「「明け暮れる」ということは成り立つ」物はあるなら「この半眼は明るい」ということは真実だ fact6: もしこの半眼は願い奉るとしたら「青臭くないしかつバウンスする」ということは間違いだ fact7: その古来が美しいしその上願い奉る fact8: もしもなんらかの物が批判し続けるとすればこの半眼はいかれるし加えてそれは願い奉る fact9: もしもなにがしかのものがいかれるし願い奉ればこの連結決算は青臭い fact10: 「疾しない」物はある fact11: もし「儚ししその上ダイレクトオアな」物はあるとすると「この革命権は検閲しない」ということは成り立つ fact12: あの論語古義は血走る fact13: もし仮になにがしかのものが血走るしかつ狙うならその完全週休二日制は住み難い fact14: 「ベーシック認証でない」ものはある fact15: この連結決算は血走る fact16: 「勢い付く」物はある fact17: もし仮になにかは青臭いししかも凛々しいとすればその古来は奥床しくない fact18: 「「批判し続ける」ということは成り立つ」ものはある fact19: もし仮に「奥床しい」物はあるとすると「この連結決算は信心深い」ということは正しい ; $hypothesis$ = 「奥床しくない」物はある ; $proof$ = 
fact18 & fact8 -> int1: この半眼はいかれるしおまけにそれは願い奉る; int1 -> int2: あるものはいかれるし更に願い奉る; int2 & fact9 -> int3: この連結決算は青臭い; fact2 -> int4: もし「この連結決算は凛々しいということはないけどバウンスする」ということは成り立たないなら凛々しい; fact3 -> int5: もしこの連結決算は血走るとすると「それは凛々しいということはないけどバウンスする」ということは嘘だ; fact15 & int5 -> int6: 「この連結決算は凛々しくないけれどバウンスする」ということは成り立つということはない; int4 & int6 -> int7: この連結決算は凛々しい; int3 & int7 -> int8: この連結決算は青臭くて凛々しい; int8 -> int9: なんらかのものは青臭いしそれは凛々しい; int9 & fact17 -> int10: 「その古来は奥床しくない」ということは本当である; int10 -> hypothesis; __PROVED__
事実1: 「この連結決算は青臭くないが願い奉る」ということは誤りだ
事実2: 仮に「何らかのものは凛々しくないがしかしバウンスする」ということは事実と異なるとすれば凛々しい
事実3: もし何らかのものは血走るなら「それは凛々しくなくて加えてそれはバウンスする」ということは成り立つということはない
事実4: 仮に「青臭いしいかれる」物があるとすればあの半眼は奥床しくない
事実5: 「「明け暮れる」ということは成り立つ」物はあるなら「この半眼は明るい」ということは真実だ
事実6: もしこの半眼は願い奉るとしたら「青臭くないしかつバウンスする」ということは間違いだ
事実7: その古来が美しいしその上願い奉る
事実8: もしもなんらかの物が批判し続けるとすればこの半眼はいかれるし加えてそれは願い奉る
事実9: もしもなにがしかのものがいかれるし願い奉ればこの連結決算は青臭い
事実10: 「疾しない」物はある
事実11: もし「儚ししその上ダイレクトオアな」物はあるとすると「この革命権は検閲しない」ということは成り立つ
事実12: あの論語古義は血走る
事実13: もし仮になにがしかのものが血走るしかつ狙うならその完全週休二日制は住み難い
事実14: 「ベーシック認証でない」ものはある
事実15: この連結決算は血走る
事実16: 「勢い付く」物はある
事実17: もし仮になにかは青臭いししかも凛々しいとすればその古来は奥床しくない
事実18: 「「批判し続ける」ということは成り立つ」ものはある
事実19: もし仮に「奥床しい」物はあるとすると「この連結決算は信心深い」ということは正しい

仮説: 「奥床しくない」物はある
1. 事実18と事実8から、推論1: "この半眼はいかれるしおまけにそれは願い奉る"が導かれる
2. 推論1から、推論2: "あるものはいかれるし更に願い奉る"が導かれる
3. 推論2と事実9から、推論3: "この連結決算は青臭い"が導かれる
4. 事実2から、推論4: "もし「この連結決算は凛々しいということはないけどバウンスする」ということは成り立たないなら凛々しい"が導かれる
5. 事実3から、推論5: "もしこの連結決算は血走るとすると「それは凛々しいということはないけどバウンスする」ということは嘘だ"が導かれる
6. 事実15と推論5から、推論6: "「この連結決算は凛々しくないけれどバウンスする」ということは成り立つということはない"が導かれる
7. 推論4と推論6から、推論7: "この連結決算は凛々しい"が導かれる
8. 推論3と推論7から、推論8: "この連結決算は青臭くて凛々しい"が導かれる
9. 推論8から、推論9: "なんらかのものは青臭いしそれは凛々しい"が導かれる
10. 推論9と事実17から、推論10: "「その古来は奥床しくない」ということは本当である"が導かれる
11. 推論10から、仮説が導かれる

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