「この娘時代は御早くない」ということは事実である
fact1: この娘時代は渦巻く fact2: このゼリーが浅ましいならあくどい fact3: 仮にこのゼリーがあくどいとすればその日嗣は渦巻く fact4: もし仮にその日嗣が渦巻くとするとこの篆刻はなさだ fact5: もしこの篆刻がなさだとすればこの蒲公英は様良し fact6: もし仮にその日嗣はあくどいなら「このゼリーは浅ましくないけれど御早い」ということは誤っている fact7: このゼリーは浅ましい fact8: とある物はＰＣケースだとすれば「御早い」ということは正しい fact9: 仮にこの蒲公英が様良しとすればこの娘時代はＰＣケースである
fact2 & fact7 -> int1: このゼリーはあくどい; int1 & fact3 -> int2: その日嗣は渦巻く; int2 & fact4 -> int3: この篆刻はなさである; int3 & fact5 -> int4: この蒲公英は様良し; int4 & fact9 -> int5: この娘時代はＰＣケースである; fact8 -> int6: もしもこの娘時代がＰＣケースだとしたらそれは御早い; int5 & int6 -> hypothesis;
この娘時代は御早くない
$facts$ = fact1: この娘時代は渦巻く fact2: このゼリーが浅ましいならあくどい fact3: 仮にこのゼリーがあくどいとすればその日嗣は渦巻く fact4: もし仮にその日嗣が渦巻くとするとこの篆刻はなさだ fact5: もしこの篆刻がなさだとすればこの蒲公英は様良し fact6: もし仮にその日嗣はあくどいなら「このゼリーは浅ましくないけれど御早い」ということは誤っている fact7: このゼリーは浅ましい fact8: とある物はＰＣケースだとすれば「御早い」ということは正しい fact9: 仮にこの蒲公英が様良しとすればこの娘時代はＰＣケースである ; $hypothesis$ = 「この娘時代は御早くない」ということは事実である ; $proof$ = 
fact2 & fact7 -> int1: このゼリーはあくどい; int1 & fact3 -> int2: その日嗣は渦巻く; int2 & fact4 -> int3: この篆刻はなさである; int3 & fact5 -> int4: この蒲公英は様良し; int4 & fact9 -> int5: この娘時代はＰＣケースである; fact8 -> int6: もしもこの娘時代がＰＣケースだとしたらそれは御早い; int5 & int6 -> hypothesis; __DISPROVED__
事実1: この娘時代は渦巻く
事実2: このゼリーが浅ましいならあくどい
事実3: 仮にこのゼリーがあくどいとすればその日嗣は渦巻く
事実4: もし仮にその日嗣が渦巻くとするとこの篆刻はなさだ
事実5: もしこの篆刻がなさだとすればこの蒲公英は様良し
事実6: もし仮にその日嗣はあくどいなら「このゼリーは浅ましくないけれど御早い」ということは誤っている
事実7: このゼリーは浅ましい
事実8: とある物はＰＣケースだとすれば「御早い」ということは正しい
事実9: 仮にこの蒲公英が様良しとすればこの娘時代はＰＣケースである

仮説: 「この娘時代は御早くない」ということは事実である
1. 事実2と事実7から、推論1: "このゼリーはあくどい"が導かれる
2. 推論1と事実3から、推論2: "その日嗣は渦巻く"が導かれる
3. 推論2と事実4から、推論3: "この篆刻はなさである"が導かれる
4. 推論3と事実5から、推論4: "この蒲公英は様良し"が導かれる
5. 推論4と事実9から、推論5: "この娘時代はＰＣケースである"が導かれる
6. 事実8から、推論6: "もしもこの娘時代がＰＣケースだとしたらそれは御早い"が導かれる
7. 推論5と推論6から、仮説が否定される

よって、仮説が否定されました。