そのぴちょぴちょLv.59は生産・販売するということはない
fact1: そのぴちょぴちょLv.59が伝わり難いならばそれは生産・販売する fact2: もしも「あのぴえぴにゃLv.58はブラバスらしくない」ということは確かであるとしたらそのぴちょぴちょLv.59は歯痒いしその上伝わり難い fact3: 仮にそのぴちょぴちょLv.59が狙われ易いならば伝わり難い fact4: そのぴちょぴちょLv.59は狙われ易いしさらに歯痒い fact5: 物珍しいモンスターは脂っこい
fact4 -> int1: そのぴちょぴちょLv.59は狙われ易い; int1 & fact3 -> int2: そのぴちょぴちょLv.59は伝わり難い; int2 & fact1 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact1 -> hypothesis;
仮にそのぴちょぴちょLv.59が物珍しいとするとそのぴちょぴちょLv.59は脂っこい
fact6 -> hypothesis;
$facts$ = fact1: そのぴちょぴちょLv.59が伝わり難いならばそれは生産・販売する fact2: もしも「あのぴえぴにゃLv.58はブラバスらしくない」ということは確かであるとしたらそのぴちょぴちょLv.59は歯痒いしその上伝わり難い fact3: 仮にそのぴちょぴちょLv.59が狙われ易いならば伝わり難い fact4: そのぴちょぴちょLv.59は狙われ易いしさらに歯痒い fact5: 物珍しいモンスターは脂っこい ; $hypothesis$ = そのぴちょぴちょLv.59は生産・販売するということはない ; $proof$ = 
fact4 -> int1: そのぴちょぴちょLv.59は狙われ易い; int1 & fact3 -> int2: そのぴちょぴちょLv.59は伝わり難い; int2 & fact1 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact1 -> hypothesis; __DISPROVED__