このカラタル管区は満遍無くない
fact1: この新宗教は満遍無い fact2: もし仮にとあるものは女役でないとすると「満遍無くてそれに分社化でない」ということは成り立たない fact3: もし仮にその友愛訪問がパッティングしないならその獅子船はちょろくてまた要請書である fact4: もしも「何らかのものは末恐ろしくないけど女役である」ということは間違いであるならそれは女役でない fact5: もしあの角煮が御受けに成らないならこのカラタル管区は分社化でそれにそれは女役である fact6: もしこのカラタル管区が女役だとしたらこのマガジンは満遍無い fact7: 「その取り引き所はパッティングするということはないか恨みがましいかまたは両方だ」ということは偽であるならその友愛訪問はパッティングするということはない fact8: もしその獅子船は要請書であるとすれば末恐ろしいがしかし色落ちしない fact9: このカラタル管区は満遍無い
fact9 -> hypothesis;
fact9 -> hypothesis;
このカラタル管区は満遍無くない
fact10 -> int1: もし仮に「あの角煮は女役であるということはない」ということは成り立つとすると「それは満遍無くて更に分社化でない」ということは事実と異なる; fact11 -> int2: 「あの角煮は末恐ろしくない女役である」ということは成り立たないとすると女役でない;
$facts$ = fact1: この新宗教は満遍無い fact2: もし仮にとあるものは女役でないとすると「満遍無くてそれに分社化でない」ということは成り立たない fact3: もし仮にその友愛訪問がパッティングしないならその獅子船はちょろくてまた要請書である fact4: もしも「何らかのものは末恐ろしくないけど女役である」ということは間違いであるならそれは女役でない fact5: もしあの角煮が御受けに成らないならこのカラタル管区は分社化でそれにそれは女役である fact6: もしこのカラタル管区が女役だとしたらこのマガジンは満遍無い fact7: 「その取り引き所はパッティングするということはないか恨みがましいかまたは両方だ」ということは偽であるならその友愛訪問はパッティングするということはない fact8: もしその獅子船は要請書であるとすれば末恐ろしいがしかし色落ちしない fact9: このカラタル管区は満遍無い ; $hypothesis$ = このカラタル管区は満遍無くない ; $proof$ = 
fact9 -> hypothesis; __DISPROVED__
事実1: この新宗教は満遍無い
事実2: もし仮にとあるものは女役でないとすると「満遍無くてそれに分社化でない」ということは成り立たない
事実3: もし仮にその友愛訪問がパッティングしないならその獅子船はちょろくてまた要請書である
事実4: もしも「何らかのものは末恐ろしくないけど女役である」ということは間違いであるならそれは女役でない
事実5: もしあの角煮が御受けに成らないならこのカラタル管区は分社化でそれにそれは女役である
事実6: もしこのカラタル管区が女役だとしたらこのマガジンは満遍無い
事実7: 「その取り引き所はパッティングするということはないか恨みがましいかまたは両方だ」ということは偽であるならその友愛訪問はパッティングするということはない
事実8: もしその獅子船は要請書であるとすれば末恐ろしいがしかし色落ちしない
事実9: このカラタル管区は満遍無い

仮説: このカラタル管区は満遍無くない
1. 事実9から、仮説が否定される

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