このぽのぽちょLv.54は展望出来る
fact1: もしもこのぽのぽちょLv.54が日暮れるとすればこのぽのぽちょLv.54は展望出来る fact2: 怪しくないモンスターは日暮れるかまたは長し fact3: もし仮にあのぽにぽちゅLv.51は長しなら「このぽのぽちょLv.54は人間臭くないけど展望出来る」ということは本当でない fact4: このぽのぽちょLv.54は人間臭くておまけに長し fact5: もし仮にこのぽのぽちょLv.54が長しとすればこのぽのぽちょLv.54は日暮れる
fact4 -> int1: このぽのぽちょLv.54は長し; int1 & fact5 -> int2: このぽのぽちょLv.54は日暮れる; int2 & fact1 -> hypothesis;
fact4 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact1 -> hypothesis;
このぽのぽちょLv.54は展望出来ない
fact7 -> int3: そのぴえぴにょLv.8が怪しいということはないとすると日暮れるかあるいはそれは長し;
$facts$ = fact1: もしもこのぽのぽちょLv.54が日暮れるとすればこのぽのぽちょLv.54は展望出来る fact2: 怪しくないモンスターは日暮れるかまたは長し fact3: もし仮にあのぽにぽちゅLv.51は長しなら「このぽのぽちょLv.54は人間臭くないけど展望出来る」ということは本当でない fact4: このぽのぽちょLv.54は人間臭くておまけに長し fact5: もし仮にこのぽのぽちょLv.54が長しとすればこのぽのぽちょLv.54は日暮れる ; $hypothesis$ = このぽのぽちょLv.54は展望出来る ; $proof$ = 
fact4 -> int1: このぽのぽちょLv.54は長し; int1 & fact5 -> int2: このぽのぽちょLv.54は日暮れる; int2 & fact1 -> hypothesis; __PROVED__
fact4 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact1 -> hypothesis; __PROVED__