あのセンは餓鬼っぽくない
fact1: もし仮にあるものは無性世代でないとすると笑い合わない fact2: もしもあのセンは笑い合わないとしたら「伏せないし餓鬼っぽくない」ということは間違っている fact3: もしもあの御支度が伏せるかまたは笑い合わないかあるいは両方であるとするとあのセンは餓鬼っぽくない fact4: あのセンは伏せる fact5: あのセンは伏せるしかつ餓鬼っぽい
fact5 -> hypothesis;
fact5 -> hypothesis;
あのセンは餓鬼っぽくない
$facts$ = fact1: もし仮にあるものは無性世代でないとすると笑い合わない fact2: もしもあのセンは笑い合わないとしたら「伏せないし餓鬼っぽくない」ということは間違っている fact3: もしもあの御支度が伏せるかまたは笑い合わないかあるいは両方であるとするとあのセンは餓鬼っぽくない fact4: あのセンは伏せる fact5: あのセンは伏せるしかつ餓鬼っぽい ; $hypothesis$ = あのセンは餓鬼っぽくない ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: もし仮にあるものは無性世代でないとすると笑い合わない
事実2: もしもあのセンは笑い合わないとしたら「伏せないし餓鬼っぽくない」ということは間違っている
事実3: もしもあの御支度が伏せるかまたは笑い合わないかあるいは両方であるとするとあのセンは餓鬼っぽくない
事実4: あのセンは伏せる
事実5: あのセンは伏せるしかつ餓鬼っぽい

仮説: あのセンは餓鬼っぽくない
1. 事実5から、仮説が否定される

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