「このもにょもよLv.64はしんどくない」ということは成り立つ
fact1: 仮になにがしかのモンスターが再構築するとすれば徒渉するということはないしかつ築き難くない fact2: もしもこのもにょもよLv.64が徒渉しないししかもそれが築き難くないとするとこのもにょもよLv.64はしんどい fact3: このもにょもよLv.64は再構築する
fact1 -> int1: 仮にこのもにょもよLv.64が再構築すれば徒渉しないしおまけに築き難くない; int1 & fact3 -> int2: 「このもにょもよLv.64は徒渉しないしその上それは築き難くない」ということは正しい; int2 & fact2 -> hypothesis;
fact1 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact3 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int2 & fact2 -> hypothesis;
$facts$ = fact1: 仮になにがしかのモンスターが再構築するとすれば徒渉するということはないしかつ築き難くない fact2: もしもこのもにょもよLv.64が徒渉しないししかもそれが築き難くないとするとこのもにょもよLv.64はしんどい fact3: このもにょもよLv.64は再構築する ; $hypothesis$ = 「このもにょもよLv.64はしんどくない」ということは成り立つ ; $proof$ = 
fact1 -> int1: 仮にこのもにょもよLv.64が再構築すれば徒渉しないしおまけに築き難くない; int1 & fact3 -> int2: 「このもにょもよLv.64は徒渉しないしその上それは築き難くない」ということは正しい; int2 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact3 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int2 & fact2 -> hypothesis; __DISPROVED__