このぽのぽなLv.83は首尾良い
fact1: 愛くるしいということはないモンスターは燐酸化するかあるいは疲労し易くない fact2: 仮にこのぽのぽなLv.83は首尾良くないとすれば「そのぷにゅぷちゃLv.88は太り易いしそれは作り易い」ということは成り立つ fact3: このぴゆぴゆLv.43は太り易い fact4: 仮にこのぽのぽなLv.83が燐酸化しないがしかし疲労し易いとしたらこのぽのぽなLv.83は作らすということはない fact5: そのぷにゅぷちゃLv.88は作り易くない fact6: もし仮に何らかのモンスターが作らすとすればそれは乾き易くなくてそれにそれは首尾良くない
void -> assump1: 以下のように仮定する。このぽのぽなLv.83は首尾良いということはない; fact2 & assump1 -> int1: そのぷにゅぷちゃLv.88は太り易いししかも作り易い; int1 -> int2: そのぷにゅぷちゃLv.88は作り易い; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{A}{a}; fact2 & assump1 -> int1: ({AA}{b} & {AB}{b}); int1 -> int2: {AB}{b}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。このぽのぽなLv.83は首尾良いということはない
fact7 -> int4: このぽのぽなLv.83が作らすとしたらそれは乾き易くなくて首尾良くない; fact8 -> int5: そのぷにゅぷちゃLv.88が愛くるしくないとしたらそのぷにゅぷちゃLv.88は燐酸化するかそれは疲労し易いということはないかもしくはどちらもである;
$facts$ = fact1: 愛くるしいということはないモンスターは燐酸化するかあるいは疲労し易くない fact2: 仮にこのぽのぽなLv.83は首尾良くないとすれば「そのぷにゅぷちゃLv.88は太り易いしそれは作り易い」ということは成り立つ fact3: このぴゆぴゆLv.43は太り易い fact4: 仮にこのぽのぽなLv.83が燐酸化しないがしかし疲労し易いとしたらこのぽのぽなLv.83は作らすということはない fact5: そのぷにゅぷちゃLv.88は作り易くない fact6: もし仮に何らかのモンスターが作らすとすればそれは乾き易くなくてそれにそれは首尾良くない ; $hypothesis$ = このぽのぽなLv.83は首尾良い ; $proof$ = 
void -> assump1: 以下のように仮定する。このぽのぽなLv.83は首尾良いということはない; fact2 & assump1 -> int1: そのぷにゅぷちゃLv.88は太り易いししかも作り易い; int1 -> int2: そのぷにゅぷちゃLv.88は作り易い; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: ¬{A}{a}; fact2 & assump1 -> int1: ({AA}{b} & {AB}{b}); int1 -> int2: {AB}{b}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__