以下のように仮定する。そのまのまねLv.57は儚くない
fact1: 仮にとあるモンスターが儚くないとしたら攣るない fact2: そのまのまねLv.57は攣る fact3: もしこのぴよぴにLv.20が攣るないとしたらそのまのまねLv.57は儚くないけれど長い
fact1 -> int1: そのまのまねLv.57は儚くないならば「それは攣るない」ということは確かである; void -> assump1: 以下のように仮定する。そのまのまねLv.57は儚くない; int1 & assump1 -> int2: そのまのまねLv.57は攣るない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
fact1 -> int1: ¬{B}{aa} -> ¬{C}{aa}; void -> assump1: ¬{B}{aa}; int1 & assump1 -> int2: ¬{C}{aa}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。そのまのまねLv.57は儚くない
$facts$ = fact1: 仮にとあるモンスターが儚くないとしたら攣るない fact2: そのまのまねLv.57は攣る fact3: もしこのぴよぴにLv.20が攣るないとしたらそのまのまねLv.57は儚くないけれど長い ; $hypothesis$ = 以下のように仮定する。そのまのまねLv.57は儚くない ; $proof$ = 
fact1 -> int1: そのまのまねLv.57は儚くないならば「それは攣るない」ということは確かである; void -> assump1: 以下のように仮定する。そのまのまねLv.57は儚くない; int1 & assump1 -> int2: そのまのまねLv.57は攣るない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬{B}{aa} -> ¬{C}{aa}; void -> assump1: ¬{B}{aa}; int1 & assump1 -> int2: ¬{C}{aa}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__