以下のように仮定する。「このぴわぴちゃLv.48は若々しくない」ということは事実と異ならない
fact1: もし仮にこのぴわぴちゃLv.48が若々しくないならばあのまいまいLv.96はひょろ長い fact2: それはすりゃ良いかあるいは果てし無いというモンスターはない fact3: 「あるモンスターは若々しい一方で誘い掛けない」ということは成り立つということはないとすれば若々しいということはない fact4: あのまいまいLv.96はひょろ長くない fact5: 「このぴわぴちゃLv.48は潔し」ということは成り立つ
void -> assump1: 以下のように仮定する。「このぴわぴちゃLv.48は若々しくない」ということは事実と異ならない; fact1 & assump1 -> int1: 「あのまいまいLv.96はひょろ長い」ということは本当だ; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: ¬{A}{a}; fact1 & assump1 -> int1: {B}{b}; int1 & fact4 -> int2: #F#; [assump1] & int2 -> hypothesis;
あのまいまいLv.96は若々しくない
fact7 -> int3: もしも「あのまいまいLv.96は若々しいけど誘い掛けない」ということは成り立たないとすればあのまいまいLv.96は若々しくない; fact6 -> int4: 「あのぽにぽにLv.32はすりゃ良いかあるいは果てし無いかあるいはどちらもである」ということは成り立たない; int4 -> int5: 「「すりゃ良いかもしくは果てし無い」ということは嘘である」モンスターはいる;
$facts$ = fact1: もし仮にこのぴわぴちゃLv.48が若々しくないならばあのまいまいLv.96はひょろ長い fact2: それはすりゃ良いかあるいは果てし無いというモンスターはない fact3: 「あるモンスターは若々しい一方で誘い掛けない」ということは成り立つということはないとすれば若々しいということはない fact4: あのまいまいLv.96はひょろ長くない fact5: 「このぴわぴちゃLv.48は潔し」ということは成り立つ ; $hypothesis$ = 以下のように仮定する。「このぴわぴちゃLv.48は若々しくない」ということは事実と異ならない ; $proof$ = 
void -> assump1: 以下のように仮定する。「このぴわぴちゃLv.48は若々しくない」ということは事実と異ならない; fact1 & assump1 -> int1: 「あのまいまいLv.96はひょろ長い」ということは本当だ; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: ¬{A}{a}; fact1 & assump1 -> int1: {B}{b}; int1 & fact4 -> int2: #F#; [assump1] & int2 -> hypothesis; __DISPROVED__