「そのＯＬＫは二乗検定であるしそれにそれは捕らえ難い」ということは成り立たない
fact1: そのＯＬＫは毛深くてそれに二乗検定である fact2: 「そのＯＬＫは捕らえ難くないし更に日光・月光でない」ということは真実でないとすれば「それは捕らえ難い」ということは成り立つ fact3: 「そのＯＬＫは捕らえ難いが日光・月光だということはない」ということは成り立たない fact4: 「そのＯＬＫは捕らえ難くないしおまけに日光・月光であるということはない」ということは正しいということはない fact5: そのＯＬＫは毛深い fact6: もし仮になにかは捕らえ切れないなら捕らえ難いしおまけに物凄い fact7: もしも二乗検定が毛深くないとしたら日光・月光だ
fact1 -> int1: そのＯＬＫは二乗検定だ; fact2 & fact4 -> int2: そのＯＬＫは捕らえ難い; int1 & int2 -> hypothesis;
「そのアメリカ植民地は日光・月光だ」ということは成り立つ
fact8 -> int3: もしもそのアメリカ植民地は二乗検定であるがしかし毛深くないとすればそれは日光・月光だ; fact9 -> int4: もし仮にそのＯＬＫが捕らえ切れないとすればそれは捕らえ難いし物凄い;
$facts$ = fact1: そのＯＬＫは毛深くてそれに二乗検定である fact2: 「そのＯＬＫは捕らえ難くないし更に日光・月光でない」ということは真実でないとすれば「それは捕らえ難い」ということは成り立つ fact3: 「そのＯＬＫは捕らえ難いが日光・月光だということはない」ということは成り立たない fact4: 「そのＯＬＫは捕らえ難くないしおまけに日光・月光であるということはない」ということは正しいということはない fact5: そのＯＬＫは毛深い fact6: もし仮になにかは捕らえ切れないなら捕らえ難いしおまけに物凄い fact7: もしも二乗検定が毛深くないとしたら日光・月光だ ; $hypothesis$ = 「そのＯＬＫは二乗検定であるしそれにそれは捕らえ難い」ということは成り立たない ; $proof$ = 
fact1 -> int1: そのＯＬＫは二乗検定だ; fact2 & fact4 -> int2: そのＯＬＫは捕らえ難い; int1 & int2 -> hypothesis; __DISPROVED__
事実1: そのＯＬＫは毛深くてそれに二乗検定である
事実2: 「そのＯＬＫは捕らえ難くないし更に日光・月光でない」ということは真実でないとすれば「それは捕らえ難い」ということは成り立つ
事実3: 「そのＯＬＫは捕らえ難いが日光・月光だということはない」ということは成り立たない
事実4: 「そのＯＬＫは捕らえ難くないしおまけに日光・月光であるということはない」ということは正しいということはない
事実5: そのＯＬＫは毛深い
事実6: もし仮になにかは捕らえ切れないなら捕らえ難いしおまけに物凄い
事実7: もしも二乗検定が毛深くないとしたら日光・月光だ

仮説: 「そのＯＬＫは二乗検定であるしそれにそれは捕らえ難い」ということは成り立たない
1. 事実1から、推論1: "そのＯＬＫは二乗検定だ"が導かれる
2. 事実2と事実4から、推論2: "そのＯＬＫは捕らえ難い"が導かれる
3. 推論1と推論2から、仮説が否定される

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