そのぽにゅぽよLv.8は根深くない
fact1: 仮にそのぽにゅぽよLv.8が繋がり易いならばそのぽにゅぽよLv.8は根深い fact2: もし仮に「このぽえぽわLv.33は決済するしそれにそれは不味い」ということは事実でないとしたらそのぽにゅぽよLv.8は決済しない fact3: そのぽにゅぽよLv.8が御構い無いとするとそのぽにゅぽよLv.8は繋がり易い fact4: そのぽにゅぽよLv.8は御構い無いししかも決済する fact5: もしもそのぽにゅぽよLv.8が決済しないならばあのぴゆぴにょLv.99は根深いし御構い無い fact6: そのぽにゅぽよLv.8は決済する
fact4 -> int1: そのぽにゅぽよLv.8は御構い無い; int1 & fact3 -> int2: そのぽにゅぽよLv.8は繋がり易い; int2 & fact1 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact1 -> hypothesis;
あのぴゆぴにょLv.99は根深い
$facts$ = fact1: 仮にそのぽにゅぽよLv.8が繋がり易いならばそのぽにゅぽよLv.8は根深い fact2: もし仮に「このぽえぽわLv.33は決済するしそれにそれは不味い」ということは事実でないとしたらそのぽにゅぽよLv.8は決済しない fact3: そのぽにゅぽよLv.8が御構い無いとするとそのぽにゅぽよLv.8は繋がり易い fact4: そのぽにゅぽよLv.8は御構い無いししかも決済する fact5: もしもそのぽにゅぽよLv.8が決済しないならばあのぴゆぴにょLv.99は根深いし御構い無い fact6: そのぽにゅぽよLv.8は決済する ; $hypothesis$ = そのぽにゅぽよLv.8は根深くない ; $proof$ = 
fact4 -> int1: そのぽにゅぽよLv.8は御構い無い; int1 & fact3 -> int2: そのぽにゅぽよLv.8は繋がり易い; int2 & fact1 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact1 -> hypothesis; __DISPROVED__