以下のように仮定する。「あのぷにゅぷゆLv.17は厳めしかなくてかつ逞しくない」ということは間違いだ
fact1: 「あるモンスターは獲得すしまた小高い」ということは嘘であるとしたら思しくない fact2: もし何らかのモンスターは愛しいということはないなら「それは立たさなくて運び易くない」ということは成り立たない fact3: 「あのぷにゅぷゆLv.17は厳めしかない一方で逞しい」ということは確かであるということはない fact4: もし仮に「「厳めしいということはないししかも逞しくない」ということは嘘な」モンスターがいるならそのもわもくLv.27は愛しくない fact5: もし仮にあのぷにゅぷゆLv.17は思しいとすると「あのぷにゅぷゆLv.17は愛しい」ということは本当である fact6: そのもわもくLv.27は愛しい
void -> assump1: 以下のように仮定する。「あのぷにゅぷゆLv.17は厳めしかなくてかつ逞しくない」ということは間違いだ; assump1 -> int1: 「「厳めしかないし逞しくない」ということは誤りな」モンスターはいる; int1 & fact4 -> int2: 「そのもわもくLv.27は愛しい」ということは嘘である; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬(¬{AA}{aa} & ¬{AB}{aa}); assump1 -> int1: (Ex): ¬(¬{AA}x & ¬{AB}x); int1 & fact4 -> int2: ¬{A}{a}; int2 & fact6 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。「あのぷにゅぷゆLv.17は厳めしかなくてかつ逞しくない」ということは間違いだ
$facts$ = fact1: 「あるモンスターは獲得すしまた小高い」ということは嘘であるとしたら思しくない fact2: もし何らかのモンスターは愛しいということはないなら「それは立たさなくて運び易くない」ということは成り立たない fact3: 「あのぷにゅぷゆLv.17は厳めしかない一方で逞しい」ということは確かであるということはない fact4: もし仮に「「厳めしいということはないししかも逞しくない」ということは嘘な」モンスターがいるならそのもわもくLv.27は愛しくない fact5: もし仮にあのぷにゅぷゆLv.17は思しいとすると「あのぷにゅぷゆLv.17は愛しい」ということは本当である fact6: そのもわもくLv.27は愛しい ; $hypothesis$ = 以下のように仮定する。「あのぷにゅぷゆLv.17は厳めしかなくてかつ逞しくない」ということは間違いだ ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのぷにゅぷゆLv.17は厳めしかなくてかつ逞しくない」ということは間違いだ; assump1 -> int1: 「「厳めしかないし逞しくない」ということは誤りな」モンスターはいる; int1 & fact4 -> int2: 「そのもわもくLv.27は愛しい」ということは嘘である; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: ¬(¬{AA}{aa} & ¬{AB}{aa}); assump1 -> int1: (Ex): ¬(¬{AA}x & ¬{AB}x); int1 & fact4 -> int2: ¬{A}{a}; int2 & fact6 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__