この旧民事訴訟法は女々しいということはない
fact1: 何かは後らしくないしさらにそれは予測し難くない fact2: もしこの旧民事訴訟法は予測し難い一方で後らしくないとすれば「女々しかない」ということは成り立つ fact3: もしもあるものが後らしいがしかし表現でないとしたらあのＧＨＳ受容体は鋭い fact4: もし仮に後らしくないものが予測し難くないとするとこの旧民事訴訟法は女々しい
fact1 & fact4 -> hypothesis;
fact1 & fact4 -> hypothesis;
この旧民事訴訟法は女々しかない
$facts$ = fact1: 何かは後らしくないしさらにそれは予測し難くない fact2: もしこの旧民事訴訟法は予測し難い一方で後らしくないとすれば「女々しかない」ということは成り立つ fact3: もしもあるものが後らしいがしかし表現でないとしたらあのＧＨＳ受容体は鋭い fact4: もし仮に後らしくないものが予測し難くないとするとこの旧民事訴訟法は女々しい ; $hypothesis$ = この旧民事訴訟法は女々しいということはない ; $proof$ = 
fact1 & fact4 -> hypothesis; __DISPROVED__
事実1: 何かは後らしくないしさらにそれは予測し難くない
事実2: もしこの旧民事訴訟法は予測し難い一方で後らしくないとすれば「女々しかない」ということは成り立つ
事実3: もしもあるものが後らしいがしかし表現でないとしたらあのＧＨＳ受容体は鋭い
事実4: もし仮に後らしくないものが予測し難くないとするとこの旧民事訴訟法は女々しい

仮説: この旧民事訴訟法は女々しいということはない
1. 事実1と事実4から、仮説が否定される

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