あのぴゆぴちょLv.95は腑甲斐無くない
fact1: 仮にあるモンスターは腑甲斐無いならば「それは厳くないししかも膨潤する」ということは間違いだ fact2: 「あのまちょまにょLv.29は腑甲斐無くない」ということは確かだ fact3: あのぴゆぴちょLv.95は厳くない一方で膨潤する
fact1 -> int1: あのぴゆぴちょLv.95は腑甲斐無いなら「あのぴゆぴちょLv.95は厳くないがそれは膨潤する」ということは成り立たない; void -> assump1: 以下のように仮定する。あのぴゆぴちょLv.95は腑甲斐無い; int1 & assump1 -> int2: 「「あのぴゆぴちょLv.95は厳くないが膨潤する」ということは成り立たない」ということは確かである; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
fact1 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); void -> assump1: {A}{aa}; int1 & assump1 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 仮にあるモンスターは腑甲斐無いならば「それは厳くないししかも膨潤する」ということは間違いだ fact2: 「あのまちょまにょLv.29は腑甲斐無くない」ということは確かだ fact3: あのぴゆぴちょLv.95は厳くない一方で膨潤する ; $hypothesis$ = あのぴゆぴちょLv.95は腑甲斐無くない ; $proof$ = 
fact1 -> int1: あのぴゆぴちょLv.95は腑甲斐無いなら「あのぴゆぴちょLv.95は厳くないがそれは膨潤する」ということは成り立たない; void -> assump1: 以下のように仮定する。あのぴゆぴちょLv.95は腑甲斐無い; int1 & assump1 -> int2: 「「あのぴゆぴちょLv.95は厳くないが膨潤する」ということは成り立たない」ということは確かである; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
fact1 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); void -> assump1: {A}{aa}; int1 & assump1 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__