そのぴゆぴにLv.76はくどい
fact1: もし仮にこのぽにゅぽねLv.67がくどいなら真っ暗い fact2: もしそのぴゆぴにLv.76は御見えれば「再選する」ということは成り立つ fact3: もし仮にそのぴゆぴにLv.76は再選するとすると「それはくどい」ということは事実である fact4: 仮にあるモンスターが痛ーくないとするとそれは御見えるしさらに腐り易い fact5: そのぴゆぴにLv.76は痛ーくない
fact4 -> int1: もしもそのぴゆぴにLv.76が痛ーくないとするとそのぴゆぴにLv.76は御見えるしそれに腐り易い; int1 & fact5 -> int2: そのぴゆぴにLv.76は御見えるしかつそれは腐り易い; int2 -> int3: そのぴゆぴにLv.76は御見える; int3 & fact2 -> int4: 「そのぴゆぴにLv.76は再選する」ということは正しい; int4 & fact3 -> hypothesis;
fact4 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 & fact5 -> int2: ({AA}{aa} & {AB}{aa}); int2 -> int3: {AA}{aa}; int3 & fact2 -> int4: {B}{aa}; int4 & fact3 -> hypothesis;
$facts$ = fact1: もし仮にこのぽにゅぽねLv.67がくどいなら真っ暗い fact2: もしそのぴゆぴにLv.76は御見えれば「再選する」ということは成り立つ fact3: もし仮にそのぴゆぴにLv.76は再選するとすると「それはくどい」ということは事実である fact4: 仮にあるモンスターが痛ーくないとするとそれは御見えるしさらに腐り易い fact5: そのぴゆぴにLv.76は痛ーくない ; $hypothesis$ = そのぴゆぴにLv.76はくどい ; $proof$ = 
fact4 -> int1: もしもそのぴゆぴにLv.76が痛ーくないとするとそのぴゆぴにLv.76は御見えるしそれに腐り易い; int1 & fact5 -> int2: そのぴゆぴにLv.76は御見えるしかつそれは腐り易い; int2 -> int3: そのぴゆぴにLv.76は御見える; int3 & fact2 -> int4: 「そのぴゆぴにLv.76は再選する」ということは正しい; int4 & fact3 -> hypothesis; __PROVED__
fact4 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 & fact5 -> int2: ({AA}{aa} & {AB}{aa}); int2 -> int3: {AA}{aa}; int3 & fact2 -> int4: {B}{aa}; int4 & fact3 -> hypothesis; __PROVED__