「あのぴのぴわLv.92は生易しい」ということは確かだ
fact1: もし仮にそのぽやぽにゃLv.0が訳出するとしたらあのぴのぴわLv.92は生易しい fact2: そのぽやぽにゃLv.0は生易しい fact3: そのぽやぽにゃLv.0は訳出する fact4: 仮に何らかのモンスターが泣き続けないとするとアメリカっぽくない fact5: アメリカっぽいということはないモンスターは訳出するしそれに生易しい
fact3 -> int1: そのぽやぽにゃLv.0は訳出する; int1 & fact1 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
あのもにもちょLv.12は訳出する
fact6 -> int2: 仮にあのもにもちょLv.12がアメリカっぽくないとするとそれは訳出するし更に生易しい; fact7 -> int3: もしあのもにもちょLv.12が泣き続けないとしたらあのもにもちょLv.12はアメリカっぽくない;
$facts$ = fact1: もし仮にそのぽやぽにゃLv.0が訳出するとしたらあのぴのぴわLv.92は生易しい fact2: そのぽやぽにゃLv.0は生易しい fact3: そのぽやぽにゃLv.0は訳出する fact4: 仮に何らかのモンスターが泣き続けないとするとアメリカっぽくない fact5: アメリカっぽいということはないモンスターは訳出するしそれに生易しい ; $hypothesis$ = 「あのぴのぴわLv.92は生易しい」ということは確かだ ; $proof$ = 
fact3 -> int1: そのぽやぽにゃLv.0は訳出する; int1 & fact1 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __PROVED__