そのレース関係は法人会員でない
fact1: その一品生産は先手先手でなくてそれは母親らしくない fact2: 仮にその一品生産が餓鬼っぽいならばそのレース関係は法人会員だ fact3: 「その一品生産は母親らしいということはない」ということは本当だ fact4: 仮にその一品生産は先手先手でないがしかし餓鬼っぽいとすれば法人会員だ fact5: 仮にそのレース関係が法人会員でないしその上それが餓鬼っぽいということはないとするとそれは母親らしい fact6: 母親らしくないし多しということはない物は不良債権化しない fact7: なにかは餓鬼っぽくないかあるいはそれは法人会員でないかまたはどちらもならば法人会員でない fact8: もしも「その一品生産は先手先手でないしさらに母親らしいということはない」ということは本当であるとすれば餓鬼っぽい
fact8 & fact1 -> int1: その一品生産は餓鬼っぽい; int1 & fact2 -> hypothesis;
そのレース関係は法人会員でない
fact9 -> int2: もしもそのレース関係が餓鬼っぽくないかあるいは法人会員でないかもしくは両方ともだとするとそれは法人会員でない;
$facts$ = fact1: その一品生産は先手先手でなくてそれは母親らしくない fact2: 仮にその一品生産が餓鬼っぽいならばそのレース関係は法人会員だ fact3: 「その一品生産は母親らしいということはない」ということは本当だ fact4: 仮にその一品生産は先手先手でないがしかし餓鬼っぽいとすれば法人会員だ fact5: 仮にそのレース関係が法人会員でないしその上それが餓鬼っぽいということはないとするとそれは母親らしい fact6: 母親らしくないし多しということはない物は不良債権化しない fact7: なにかは餓鬼っぽくないかあるいはそれは法人会員でないかまたはどちらもならば法人会員でない fact8: もしも「その一品生産は先手先手でないしさらに母親らしいということはない」ということは本当であるとすれば餓鬼っぽい ; $hypothesis$ = そのレース関係は法人会員でない ; $proof$ = 
fact8 & fact1 -> int1: その一品生産は餓鬼っぽい; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: その一品生産は先手先手でなくてそれは母親らしくない
事実2: 仮にその一品生産が餓鬼っぽいならばそのレース関係は法人会員だ
事実3: 「その一品生産は母親らしいということはない」ということは本当だ
事実4: 仮にその一品生産は先手先手でないがしかし餓鬼っぽいとすれば法人会員だ
事実5: 仮にそのレース関係が法人会員でないしその上それが餓鬼っぽいということはないとするとそれは母親らしい
事実6: 母親らしくないし多しということはない物は不良債権化しない
事実7: なにかは餓鬼っぽくないかあるいはそれは法人会員でないかまたはどちらもならば法人会員でない
事実8: もしも「その一品生産は先手先手でないしさらに母親らしいということはない」ということは本当であるとすれば餓鬼っぽい

仮説: そのレース関係は法人会員でない
1. 事実8と事実1から、推論1: "その一品生産は餓鬼っぽい"が導かれる
2. 推論1と事実2から、仮説が否定される

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