「あのまにゅまえLv.73は思い易いか長たらしいかまたは両方ともである」ということは偽である
fact1: あのまにゅまえLv.73は咲き始めない fact2: 「もし仮にこのぴなぴにょLv.75がまどろっこしいとすればこのぴなぴにょLv.75は咲き始める」ということは成り立つ fact3: このぴなぴにょLv.75は咲き始めない fact4: もし何らかのモンスターが飛行するとしたら現われ易い fact5: 仮に「このぴなぴにょLv.75はまどろっこしくらない」ということは確かであるとすればあのまにゅまえLv.73は思い易いかまたはそれは長たらしい fact6: このぴなぴにょLv.75は長たらしい
void -> assump1: 以下のように仮定する。このぴなぴにょLv.75はまどろっこしい; fact2 & assump1 -> int1: このぴなぴにょLv.75は咲き始める; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: このぴなぴにょLv.75はまどろっこしくらない; int3 & fact5 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{a}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact5 -> hypothesis;
このぴなぴにょLv.75が飛行するとするとこのぴなぴにょLv.75は現われ易い
fact7 -> hypothesis;
$facts$ = fact1: あのまにゅまえLv.73は咲き始めない fact2: 「もし仮にこのぴなぴにょLv.75がまどろっこしいとすればこのぴなぴにょLv.75は咲き始める」ということは成り立つ fact3: このぴなぴにょLv.75は咲き始めない fact4: もし何らかのモンスターが飛行するとしたら現われ易い fact5: 仮に「このぴなぴにょLv.75はまどろっこしくらない」ということは確かであるとすればあのまにゅまえLv.73は思い易いかまたはそれは長たらしい fact6: このぴなぴにょLv.75は長たらしい ; $hypothesis$ = 「あのまにゅまえLv.73は思い易いか長たらしいかまたは両方ともである」ということは偽である ; $proof$ = 
void -> assump1: 以下のように仮定する。このぴなぴにょLv.75はまどろっこしい; fact2 & assump1 -> int1: このぴなぴにょLv.75は咲き始める; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: このぴなぴにょLv.75はまどろっこしくらない; int3 & fact5 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{a}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact5 -> hypothesis; __DISPROVED__