そのぴねぴにLv.61は腑甲斐無いし加えて根治出来る
fact1: あのまゆまなLv.69は果てし無いかそれは京都らしいかもしくは両方だ fact2: もしなにがしかのモンスターが繋がり兼ねないとすれば根治出来るし腑甲斐無い fact3: そのぴねぴにLv.61は腑甲斐無い fact4: 「あのぽくぽにLv.19は根治出来る」ということは成り立つ fact5: そのぴねぴにLv.61は根治出来る fact6: そのぴねぴにLv.61は等しい
fact3 -> int1: そのぴねぴにLv.61は腑甲斐無い; int1 & fact5 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact5 -> hypothesis;
「このみにゅみちょLv.64は根治出来る」ということは成り立つ
fact7 -> int2: 仮にこのみにゅみちょLv.64が繋がり兼ねないとしたらこのみにゅみちょLv.64は根治出来るしおまけに腑甲斐無い;
$facts$ = fact1: あのまゆまなLv.69は果てし無いかそれは京都らしいかもしくは両方だ fact2: もしなにがしかのモンスターが繋がり兼ねないとすれば根治出来るし腑甲斐無い fact3: そのぴねぴにLv.61は腑甲斐無い fact4: 「あのぽくぽにLv.19は根治出来る」ということは成り立つ fact5: そのぴねぴにLv.61は根治出来る fact6: そのぴねぴにLv.61は等しい ; $hypothesis$ = そのぴねぴにLv.61は腑甲斐無いし加えて根治出来る ; $proof$ = 
fact3 -> int1: そのぴねぴにLv.61は腑甲斐無い; int1 & fact5 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 & fact5 -> hypothesis; __PROVED__