この雷烏賊は仄暗くない
fact1: もしあのＰＥＰＣが人向けだということはないならばあの高野本平家物語は御強い fact2: もし仮に「「あのＰＥＰＣは欽定するしかつそれは仄暗い」ということは真実だ」ということは偽だとしたらこの給料月額は仄暗いということはない fact3: もしこの高野本平家物語が御強いならばあの雷烏賊は仄暗い fact4: あのＵＳＢメモリは仄暗い fact5: この給料月額が欽定しないならこの雷烏賊は欽定する fact6: あのＰＥＰＣは臨時応急だということはない fact7: 御強い物は仄暗くないかまたは大弐でないかあるいは両方ともである fact8: もしこの給料月額が大弐であるならばあのＰＥＰＣは人向けであるか労組法であるかもしくは両方である fact9: もしこの給料月額が大弐であるとするとあのＰＥＰＣは人向けでないかまたは労組法であるかまたは両方だ fact10: 仮にあのＰＥＰＣが人向けでないかまたは労組法であるかあるいは両方だとするとこの高野本平家物語は御強い fact11: 「もし何らかのものは臨時応急だということはないならば「それは欽定するしかつそれは仄暗い」ということは事実と異なる」ということは真実である fact12: もしもとあるものが欽定するとすればそれは臨時応急である fact13: もしもあのＰＥＰＣが労組法でないか大弐であるかもしくは両方ともだとしたらこの給料月額は人向けである fact14: もしも何かは仄暗くないかまたはそれは大弐であるということはないかもしくは両方ならそれは仄暗くない fact15: この給料月額は労組法だ fact16: あのＰＥＰＣは人向けであるかそれは労組法であるかもしくは両方だ fact17: あのＰＥＰＣは真夜中である fact18: なにかは臨時応急だとすればそれは御強い fact19: 「「「免れ難いか連ちゃんであるか両方ともである」ということは成り立つ」ということは間違いな」ものはある fact20: この給料月額は大弐である fact21: もし仮に「御強くない」ものがあるならあのスイミングプールは労組法であるしまた大弐だ fact22: この給料月額は掻き易くないかあるいは恵比寿様だ fact23: あのＰＥＰＣは欽定しないし御付き合い出来ないとしたら「この給料月額は欽定するということはない」ということは正しい fact24: なんらかのものが凭れ合うなら欽定しないし御付き合い出来ない
fact9 & fact20 -> int1: あのＰＥＰＣは人向けでないかあるいは労組法であるかまたは両方ともである; int1 & fact10 -> int2: この高野本平家物語は御強い; int2 & fact3 -> hypothesis;
fact9 & fact20 -> int1: (¬{AA}{b} v {AB}{b}); int1 & fact10 -> int2: {B}{c}; int2 & fact3 -> hypothesis;
あのスイミングプールは真っ黄色であるということはないかそれは労組法であるかもしくは両方だ
fact25 -> int3: 仮にあのＰＥＰＣは臨時応急でないなら「それは欽定するしそれに仄暗い」ということは嘘である; int3 & fact26 -> int4: 「あのＰＥＰＣは欽定するし仄暗い」ということは間違いである; fact27 & int4 -> int5: この給料月額は仄暗くない;
$facts$ = fact1: もしあのＰＥＰＣが人向けだということはないならばあの高野本平家物語は御強い fact2: もし仮に「「あのＰＥＰＣは欽定するしかつそれは仄暗い」ということは真実だ」ということは偽だとしたらこの給料月額は仄暗いということはない fact3: もしこの高野本平家物語が御強いならばあの雷烏賊は仄暗い fact4: あのＵＳＢメモリは仄暗い fact5: この給料月額が欽定しないならこの雷烏賊は欽定する fact6: あのＰＥＰＣは臨時応急だということはない fact7: 御強い物は仄暗くないかまたは大弐でないかあるいは両方ともである fact8: もしこの給料月額が大弐であるならばあのＰＥＰＣは人向けであるか労組法であるかもしくは両方である fact9: もしこの給料月額が大弐であるとするとあのＰＥＰＣは人向けでないかまたは労組法であるかまたは両方だ fact10: 仮にあのＰＥＰＣが人向けでないかまたは労組法であるかあるいは両方だとするとこの高野本平家物語は御強い fact11: 「もし何らかのものは臨時応急だということはないならば「それは欽定するしかつそれは仄暗い」ということは事実と異なる」ということは真実である fact12: もしもとあるものが欽定するとすればそれは臨時応急である fact13: もしもあのＰＥＰＣが労組法でないか大弐であるかもしくは両方ともだとしたらこの給料月額は人向けである fact14: もしも何かは仄暗くないかまたはそれは大弐であるということはないかもしくは両方ならそれは仄暗くない fact15: この給料月額は労組法だ fact16: あのＰＥＰＣは人向けであるかそれは労組法であるかもしくは両方だ fact17: あのＰＥＰＣは真夜中である fact18: なにかは臨時応急だとすればそれは御強い fact19: 「「「免れ難いか連ちゃんであるか両方ともである」ということは成り立つ」ということは間違いな」ものはある fact20: この給料月額は大弐である fact21: もし仮に「御強くない」ものがあるならあのスイミングプールは労組法であるしまた大弐だ fact22: この給料月額は掻き易くないかあるいは恵比寿様だ fact23: あのＰＥＰＣは欽定しないし御付き合い出来ないとしたら「この給料月額は欽定するということはない」ということは正しい fact24: なんらかのものが凭れ合うなら欽定しないし御付き合い出来ない ; $hypothesis$ = この雷烏賊は仄暗くない ; $proof$ = 
fact9 & fact20 -> int1: あのＰＥＰＣは人向けでないかあるいは労組法であるかまたは両方ともである; int1 & fact10 -> int2: この高野本平家物語は御強い; int2 & fact3 -> hypothesis; __DISPROVED__
事実1: もしあのＰＥＰＣが人向けだということはないならばあの高野本平家物語は御強い
事実2: もし仮に「「あのＰＥＰＣは欽定するしかつそれは仄暗い」ということは真実だ」ということは偽だとしたらこの給料月額は仄暗いということはない
事実3: もしこの高野本平家物語が御強いならばあの雷烏賊は仄暗い
事実4: あのＵＳＢメモリは仄暗い
事実5: この給料月額が欽定しないならこの雷烏賊は欽定する
事実6: あのＰＥＰＣは臨時応急だということはない
事実7: 御強い物は仄暗くないかまたは大弐でないかあるいは両方ともである
事実8: もしこの給料月額が大弐であるならばあのＰＥＰＣは人向けであるか労組法であるかもしくは両方である
事実9: もしこの給料月額が大弐であるとするとあのＰＥＰＣは人向けでないかまたは労組法であるかまたは両方だ
事実10: 仮にあのＰＥＰＣが人向けでないかまたは労組法であるかあるいは両方だとするとこの高野本平家物語は御強い
事実11: 「もし何らかのものは臨時応急だということはないならば「それは欽定するしかつそれは仄暗い」ということは事実と異なる」ということは真実である
事実12: もしもとあるものが欽定するとすればそれは臨時応急である
事実13: もしもあのＰＥＰＣが労組法でないか大弐であるかもしくは両方ともだとしたらこの給料月額は人向けである
事実14: もしも何かは仄暗くないかまたはそれは大弐であるということはないかもしくは両方ならそれは仄暗くない
事実15: この給料月額は労組法だ
事実16: あのＰＥＰＣは人向けであるかそれは労組法であるかもしくは両方だ
事実17: あのＰＥＰＣは真夜中である
事実18: なにかは臨時応急だとすればそれは御強い
事実19: 「「「免れ難いか連ちゃんであるか両方ともである」ということは成り立つ」ということは間違いな」ものはある
事実20: この給料月額は大弐である
事実21: もし仮に「御強くない」ものがあるならあのスイミングプールは労組法であるしまた大弐だ
事実22: この給料月額は掻き易くないかあるいは恵比寿様だ
事実23: あのＰＥＰＣは欽定しないし御付き合い出来ないとしたら「この給料月額は欽定するということはない」ということは正しい
事実24: なんらかのものが凭れ合うなら欽定しないし御付き合い出来ない

仮説: この雷烏賊は仄暗くない
1. 事実9と事実20から、推論1: "あのＰＥＰＣは人向けでないかあるいは労組法であるかまたは両方ともである"が導かれる
2. 推論1と事実10から、推論2: "この高野本平家物語は御強い"が導かれる
3. 推論2と事実3から、仮説が否定される

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