あのぴえぴいLv.68は現地入りするということはない
fact1: 全てのモンスターは現地入りする fact2: 御恥ずかしくないモンスターは現地入りするし加えて掛け易い fact3: そのぴなぴちょLv.50は現地入りする fact4: すべてのモンスターは疑わしいししかも書き下す
fact1 -> int1: 全てのモンスターは現地入りする; int1 -> hypothesis;
fact1 -> int1: (x): {A}x; int1 -> hypothesis;
あのぴえぴいLv.68は現地入りするということはない
fact5 -> int2: このぽいぽえLv.62は疑わしいしその上書き下す; int2 -> int3: 「このぽいぽえLv.62は疑わしい」ということは成り立つ;
$facts$ = fact1: 全てのモンスターは現地入りする fact2: 御恥ずかしくないモンスターは現地入りするし加えて掛け易い fact3: そのぴなぴちょLv.50は現地入りする fact4: すべてのモンスターは疑わしいししかも書き下す ; $hypothesis$ = あのぴえぴいLv.68は現地入りするということはない ; $proof$ = 
fact1 -> int1: 全てのモンスターは現地入りする; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__