「「「仮に「改正前で膜内でない」ということは間違っているとすると恨めしくない」ものはある」ということは事実だ」ということは間違いである
fact1: 「もし仮に膜内なら恨めしくない」物はある fact2: もしも「なんらかのものは改正前であるがしかし郷官でない」ということは誤りだとすればそれは刎頸でない fact3: もしも「この才覚は改正前であるけれどそれは膜内でない」ということは成り立たないとすればそれは恨めしくない fact4: もし仮に「この才覚が改正前だしおまけに膜内だ」ということは成り立たないならそれは恨めしくない fact5: 「もしも「改正前だということはない」ということは成り立てば恨めしくない」物はある fact6: 「もし入り難いししかも通い詰めないとすれば窃盗事件だということはない」物はある fact7: もし仮にこの才覚は改正前でないならば恨めしくない fact8: 「もしも「改正前だし更に膜内だ」ということは間違っているとすれば恨めしくない」物はある fact9: 「もしも「返りらしいけど横転しない」ということは誤っているとすると彷徨である」物はある fact10: この才覚は恨めしいがしかし楽しいということはないならそれは面倒臭くない
fact3 -> hypothesis;
もし「この才覚は改正前だがそれは郷官であるということはない」ということは成り立たないとするとそれは刎頸でない
fact11 -> hypothesis;
$facts$ = fact1: 「もし仮に膜内なら恨めしくない」物はある fact2: もしも「なんらかのものは改正前であるがしかし郷官でない」ということは誤りだとすればそれは刎頸でない fact3: もしも「この才覚は改正前であるけれどそれは膜内でない」ということは成り立たないとすればそれは恨めしくない fact4: もし仮に「この才覚が改正前だしおまけに膜内だ」ということは成り立たないならそれは恨めしくない fact5: 「もしも「改正前だということはない」ということは成り立てば恨めしくない」物はある fact6: 「もし入り難いししかも通い詰めないとすれば窃盗事件だということはない」物はある fact7: もし仮にこの才覚は改正前でないならば恨めしくない fact8: 「もしも「改正前だし更に膜内だ」ということは間違っているとすれば恨めしくない」物はある fact9: 「もしも「返りらしいけど横転しない」ということは誤っているとすると彷徨である」物はある fact10: この才覚は恨めしいがしかし楽しいということはないならそれは面倒臭くない ; $hypothesis$ = 「「「仮に「改正前で膜内でない」ということは間違っているとすると恨めしくない」ものはある」ということは事実だ」ということは間違いである ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: 「もし仮に膜内なら恨めしくない」物はある
事実2: もしも「なんらかのものは改正前であるがしかし郷官でない」ということは誤りだとすればそれは刎頸でない
事実3: もしも「この才覚は改正前であるけれどそれは膜内でない」ということは成り立たないとすればそれは恨めしくない
事実4: もし仮に「この才覚が改正前だしおまけに膜内だ」ということは成り立たないならそれは恨めしくない
事実5: 「もしも「改正前だということはない」ということは成り立てば恨めしくない」物はある
事実6: 「もし入り難いししかも通い詰めないとすれば窃盗事件だということはない」物はある
事実7: もし仮にこの才覚は改正前でないならば恨めしくない
事実8: 「もしも「改正前だし更に膜内だ」ということは間違っているとすれば恨めしくない」物はある
事実9: 「もしも「返りらしいけど横転しない」ということは誤っているとすると彷徨である」物はある
事実10: この才覚は恨めしいがしかし楽しいということはないならそれは面倒臭くない

仮説: 「「「仮に「改正前で膜内でない」ということは間違っているとすると恨めしくない」ものはある」ということは事実だ」ということは間違いである
1. 事実3から、仮説が否定される

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