あのぽちゅぽゆLv.34は予言しない
fact1: このぽいぽよLv.45は長ったらしいししかもそれは厭わしい fact2: このぽいぽよLv.45は採用出来る fact3: もし仮になにがしかのモンスターが長ったらしいとしたらそれは予言する fact4: このぽいぽよLv.45は酸っぱいしおまけに厭わしい
fact1 -> int1: 「このぽいぽよLv.45は長ったらしい」ということは真実だ; int1 & fact2 -> int2: このぽいぽよLv.45は長ったらしいししかも採用出来る;
fact1 -> int1: {A}{a}; int1 & fact2 -> int2: ({A}{a} & {C}{a});
あのぽにゅぽやLv.74は予言する
fact5 -> int3: もし「あのぽにゅぽやLv.74は長ったらしい」ということは成り立つならそれは予言する;
$facts$ = fact1: このぽいぽよLv.45は長ったらしいししかもそれは厭わしい fact2: このぽいぽよLv.45は採用出来る fact3: もし仮になにがしかのモンスターが長ったらしいとしたらそれは予言する fact4: このぽいぽよLv.45は酸っぱいしおまけに厭わしい ; $hypothesis$ = あのぽちゅぽゆLv.34は予言しない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__