その地域名は血腥いということはないかあるいはそれは隣接するかまたは両方ともだ
fact1: もしその第三項目は千九百五十年代後半でないとすると「その地域名は血腥くないかもしくはそれは隣接する」ということは間違っている fact2: もし「その第三項目は持参するということはないがしかし血腥い」ということは成り立つということはないとするとレジーム論でない fact3: 「あの卵は賢しし早し」ということは誤っている fact4: その第三項目はそつ無い fact5: もし仮にその第三項目が持参するとしたらそれは隣接しない fact6: 「その第三項目はレジーム論でないけど持参する」ということは誤りである fact7: この四領域は隣接するということはない fact8: 「その地域名は千九百五十年代後半でないが血腥い」ということは誤りである fact9: 仮にあのフラットはレジーム論であるとすると「それは出易くない」ということは成り立つ fact10: その地域名は千九百五十年代後半だということはないとしたら「その第三項目は血腥くないかレジーム論であるかあるいはどちらもである」ということは偽である fact11: もし「その第三項目はレジーム論でない一方で持参する」ということは成り立つということはないとしたら千九百五十年代後半であるということはない fact12: その第三項目は血腥い
fact11 & fact6 -> int1: その第三項目は千九百五十年代後半でない; int1 & fact1 -> hypothesis;
fact11 & fact6 -> int1: ¬{B}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: もしその第三項目は千九百五十年代後半でないとすると「その地域名は血腥くないかもしくはそれは隣接する」ということは間違っている fact2: もし「その第三項目は持参するということはないがしかし血腥い」ということは成り立つということはないとするとレジーム論でない fact3: 「あの卵は賢しし早し」ということは誤っている fact4: その第三項目はそつ無い fact5: もし仮にその第三項目が持参するとしたらそれは隣接しない fact6: 「その第三項目はレジーム論でないけど持参する」ということは誤りである fact7: この四領域は隣接するということはない fact8: 「その地域名は千九百五十年代後半でないが血腥い」ということは誤りである fact9: 仮にあのフラットはレジーム論であるとすると「それは出易くない」ということは成り立つ fact10: その地域名は千九百五十年代後半だということはないとしたら「その第三項目は血腥くないかレジーム論であるかあるいはどちらもである」ということは偽である fact11: もし「その第三項目はレジーム論でない一方で持参する」ということは成り立つということはないとしたら千九百五十年代後半であるということはない fact12: その第三項目は血腥い ; $hypothesis$ = その地域名は血腥いということはないかあるいはそれは隣接するかまたは両方ともだ ; $proof$ = 
fact11 & fact6 -> int1: その第三項目は千九百五十年代後半でない; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: もしその第三項目は千九百五十年代後半でないとすると「その地域名は血腥くないかもしくはそれは隣接する」ということは間違っている
事実2: もし「その第三項目は持参するということはないがしかし血腥い」ということは成り立つということはないとするとレジーム論でない
事実3: 「あの卵は賢しし早し」ということは誤っている
事実4: その第三項目はそつ無い
事実5: もし仮にその第三項目が持参するとしたらそれは隣接しない
事実6: 「その第三項目はレジーム論でないけど持参する」ということは誤りである
事実7: この四領域は隣接するということはない
事実8: 「その地域名は千九百五十年代後半でないが血腥い」ということは誤りである
事実9: 仮にあのフラットはレジーム論であるとすると「それは出易くない」ということは成り立つ
事実10: その地域名は千九百五十年代後半だということはないとしたら「その第三項目は血腥くないかレジーム論であるかあるいはどちらもである」ということは偽である
事実11: もし「その第三項目はレジーム論でない一方で持参する」ということは成り立つということはないとしたら千九百五十年代後半であるということはない
事実12: その第三項目は血腥い

仮説: その地域名は血腥いということはないかあるいはそれは隣接するかまたは両方ともだ
1. 事実11と事実6から、推論1: "その第三項目は千九百五十年代後半でない"が導かれる
2. 推論1と事実1から、仮説が否定される

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