あのぽちゅぽゆLv.61は低し
fact1: もしあのもなもにLv.25が煙たいということはないならばあのぴにょぴいLv.15は低しがそれは失念しない fact2: あのぽちゅぽゆLv.61は失念する fact3: 仮にあのぴにょぴいLv.15が低しが失念するということはないとすればあのぽちゅぽゆLv.61は低しない fact4: もし仮にあのぴにょぴいLv.15が偏り易いとしたらあのぽちゅぽゆLv.61はまあるい fact5: もしあのぴにょぴいLv.15が失念するとしたらあのぴにょぴいLv.15は偏り易い fact6: あのぴにょぴいLv.15は煙たい fact7: もし仮にあのぽちゅぽゆLv.61がまあるいならばあのぽちゅぽゆLv.61は低し fact8: あのぴにょぴいLv.15は煙たいしさらに失念する
fact8 -> int1: あのぴにょぴいLv.15は失念する; int1 & fact5 -> int2: あのぴにょぴいLv.15は偏り易い; int2 & fact4 -> int3: あのぽちゅぽゆLv.61はまあるい; int3 & fact7 -> hypothesis;
fact8 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact4 -> int3: {D}{b}; int3 & fact7 -> hypothesis;
あのぽちゅぽゆLv.61は低しない
$facts$ = fact1: もしあのもなもにLv.25が煙たいということはないならばあのぴにょぴいLv.15は低しがそれは失念しない fact2: あのぽちゅぽゆLv.61は失念する fact3: 仮にあのぴにょぴいLv.15が低しが失念するということはないとすればあのぽちゅぽゆLv.61は低しない fact4: もし仮にあのぴにょぴいLv.15が偏り易いとしたらあのぽちゅぽゆLv.61はまあるい fact5: もしあのぴにょぴいLv.15が失念するとしたらあのぴにょぴいLv.15は偏り易い fact6: あのぴにょぴいLv.15は煙たい fact7: もし仮にあのぽちゅぽゆLv.61がまあるいならばあのぽちゅぽゆLv.61は低し fact8: あのぴにょぴいLv.15は煙たいしさらに失念する ; $hypothesis$ = あのぽちゅぽゆLv.61は低し ; $proof$ = 
fact8 -> int1: あのぴにょぴいLv.15は失念する; int1 & fact5 -> int2: あのぴにょぴいLv.15は偏り易い; int2 & fact4 -> int3: あのぽちゅぽゆLv.61はまあるい; int3 & fact7 -> hypothesis; __PROVED__
fact8 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact4 -> int3: {D}{b}; int3 & fact7 -> hypothesis; __PROVED__