あのぷちゅぷいLv.95は街らしい
fact1: もしもあのぷちゅぷいLv.95がアッピールしないとすればあのもえもにょLv.22は近しくない fact2: あのぷちゅぷいLv.95は青くない fact3: 「あのぷちゅぷいLv.95はアッピールしないかあるいは活動し難くないかあるいは両方だ」ということは成り立たないならば街らしくない fact4: もしあのぷちゅぷいLv.95が街らしくないならばあのもえもにょLv.22は活動し難くない fact5: もし仮にあのぷちゅぷいLv.95がアッピールしないとしたらあのもえもにょLv.22は近しい fact6: あのもえもにょLv.22は街らしくない fact7: あのぷちゅぷいLv.95は近しいということはないかもしくはアッピールしないかどちらもだ fact8: 仮にあのぷちゅぷいLv.95が活動し難くないならあのもえもにょLv.22は近しくない fact9: あのもえもにょLv.22は近しい
void -> assump1: 以下のように仮定する。あのぷちゅぷいLv.95はアッピールしないか活動し難いということはないかもしくは両方ともである; assump1 & fact1 & fact8 -> int1: あのもえもにょLv.22は近しくない; int1 & fact9 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あのぷちゅぷいLv.95はアッピールしないか活動し難くないかもしくは両方である」ということは事実と異なる; int3 & fact3 -> hypothesis;
void -> assump1: (¬{A}{a} v ¬{B}{a}); assump1 & fact1 & fact8 -> int1: ¬{C}{c}; int1 & fact9 -> int2: #F#; [assump1] & int2 -> int3: ¬(¬{A}{a} v ¬{B}{a}); int3 & fact3 -> hypothesis;
$facts$ = fact1: もしもあのぷちゅぷいLv.95がアッピールしないとすればあのもえもにょLv.22は近しくない fact2: あのぷちゅぷいLv.95は青くない fact3: 「あのぷちゅぷいLv.95はアッピールしないかあるいは活動し難くないかあるいは両方だ」ということは成り立たないならば街らしくない fact4: もしあのぷちゅぷいLv.95が街らしくないならばあのもえもにょLv.22は活動し難くない fact5: もし仮にあのぷちゅぷいLv.95がアッピールしないとしたらあのもえもにょLv.22は近しい fact6: あのもえもにょLv.22は街らしくない fact7: あのぷちゅぷいLv.95は近しいということはないかもしくはアッピールしないかどちらもだ fact8: 仮にあのぷちゅぷいLv.95が活動し難くないならあのもえもにょLv.22は近しくない fact9: あのもえもにょLv.22は近しい ; $hypothesis$ = あのぷちゅぷいLv.95は街らしい ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぷちゅぷいLv.95はアッピールしないか活動し難いということはないかもしくは両方ともである; assump1 & fact1 & fact8 -> int1: あのもえもにょLv.22は近しくない; int1 & fact9 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あのぷちゅぷいLv.95はアッピールしないか活動し難くないかもしくは両方である」ということは事実と異なる; int3 & fact3 -> hypothesis; __DISPROVED__
void -> assump1: (¬{A}{a} v ¬{B}{a}); assump1 & fact1 & fact8 -> int1: ¬{C}{c}; int1 & fact9 -> int2: #F#; [assump1] & int2 -> int3: ¬(¬{A}{a} v ¬{B}{a}); int3 & fact3 -> hypothesis; __DISPROVED__