この審判範囲は女っぽい
fact1: もし仮にこの審判範囲が女っぽい一般状態であるならばこの日本基準は女っぽくない fact2: 「この審判範囲は一般状態であるか備蓄する」ということは成り立つ fact3: 一般状態は女っぽくない fact4: あのファジーＡＴは女っぽくない fact5: この審判範囲は腹立たしい fact6: 仏教百科は達成し易いということはない fact7: その五山は軍夫でない fact8: 仮になにがしかの物は一般状態であるかあるいは軍夫であるかあるいは両方であるならば女っぽいということはない fact9: この審判範囲は軍夫である
fact9 -> int1: この審判範囲は一般状態であるかまたは軍夫である; fact8 -> int2: もしこの審判範囲が一般状態であるかもしくはそれは軍夫ならば「女っぽくない」ということは確かだ; int1 & int2 -> hypothesis;
この日本基準は女っぽくない
$facts$ = fact1: もし仮にこの審判範囲が女っぽい一般状態であるならばこの日本基準は女っぽくない fact2: 「この審判範囲は一般状態であるか備蓄する」ということは成り立つ fact3: 一般状態は女っぽくない fact4: あのファジーＡＴは女っぽくない fact5: この審判範囲は腹立たしい fact6: 仏教百科は達成し易いということはない fact7: その五山は軍夫でない fact8: 仮になにがしかの物は一般状態であるかあるいは軍夫であるかあるいは両方であるならば女っぽいということはない fact9: この審判範囲は軍夫である ; $hypothesis$ = この審判範囲は女っぽい ; $proof$ = 
fact9 -> int1: この審判範囲は一般状態であるかまたは軍夫である; fact8 -> int2: もしこの審判範囲が一般状態であるかもしくはそれは軍夫ならば「女っぽくない」ということは確かだ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮にこの審判範囲が女っぽい一般状態であるならばこの日本基準は女っぽくない
事実2: 「この審判範囲は一般状態であるか備蓄する」ということは成り立つ
事実3: 一般状態は女っぽくない
事実4: あのファジーＡＴは女っぽくない
事実5: この審判範囲は腹立たしい
事実6: 仏教百科は達成し易いということはない
事実7: その五山は軍夫でない
事実8: 仮になにがしかの物は一般状態であるかあるいは軍夫であるかあるいは両方であるならば女っぽいということはない
事実9: この審判範囲は軍夫である

仮説: この審判範囲は女っぽい
1. 事実9から、推論1: "この審判範囲は一般状態であるかまたは軍夫である"が導かれる
2. 事実8から、推論2: "もしこの審判範囲が一般状態であるかもしくはそれは軍夫ならば「女っぽくない」ということは確かだ"が導かれる
3. 推論1と推論2から、仮説が否定される

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