このぽよぽわLv.39は間近い
fact1: 仮にあのまねまゆLv.85がすばしっこいとしたらこのぽよぽわLv.39は間近い fact2: あのまねまゆLv.85は青白い fact3: このもにゅもゆLv.30は間近い fact4: あのまねまゆLv.85は青白いモンスターでありしかも間近い fact5: もし仮に「このぽよぽわLv.39は間近くなくてそれに来難くない」ということは成り立つとすればあのまねまゆLv.85は間近くない fact6: あのまねまゆLv.85が間近くないとするとこのもゆもやLv.55はすばしっこいしまた青白い fact7: あのまねまゆLv.85はすばしっこいしその上青白い
fact7 -> int1: あのまねまゆLv.85はすばしっこい; int1 & fact1 -> hypothesis;
fact7 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
このもゆもやLv.55は青白い
$facts$ = fact1: 仮にあのまねまゆLv.85がすばしっこいとしたらこのぽよぽわLv.39は間近い fact2: あのまねまゆLv.85は青白い fact3: このもにゅもゆLv.30は間近い fact4: あのまねまゆLv.85は青白いモンスターでありしかも間近い fact5: もし仮に「このぽよぽわLv.39は間近くなくてそれに来難くない」ということは成り立つとすればあのまねまゆLv.85は間近くない fact6: あのまねまゆLv.85が間近くないとするとこのもゆもやLv.55はすばしっこいしまた青白い fact7: あのまねまゆLv.85はすばしっこいしその上青白い ; $hypothesis$ = このぽよぽわLv.39は間近い ; $proof$ = 
fact7 -> int1: あのまねまゆLv.85はすばしっこい; int1 & fact1 -> hypothesis; __PROVED__
fact7 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __PROVED__