以下のように仮定する。「このぽいぽのLv.38は読み難いけどそれは登記すらない」ということは成り立たない
fact1: このぽいぽのLv.38は犯し難くない fact2: もし仮に「とあるモンスターは読み難いけど登記すらない」ということは正しくないとすれば「それは犯し難い」ということは正しい
fact2 -> int1: 「このぽいぽのLv.38は読み難い一方でそれは登記すらない」ということは偽ならこのぽいぽのLv.38は犯し難い; void -> assump1: 以下のように仮定する。「このぽいぽのLv.38は読み難いけどそれは登記すらない」ということは成り立たない; int1 & assump1 -> int2: このぽいぽのLv.38は犯し難い; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
fact2 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; void -> assump1: ¬({AA}{aa} & ¬{AB}{aa}); int1 & assump1 -> int2: {B}{aa}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: このぽいぽのLv.38は犯し難くない fact2: もし仮に「とあるモンスターは読み難いけど登記すらない」ということは正しくないとすれば「それは犯し難い」ということは正しい ; $hypothesis$ = 以下のように仮定する。「このぽいぽのLv.38は読み難いけどそれは登記すらない」ということは成り立たない ; $proof$ = 
fact2 -> int1: 「このぽいぽのLv.38は読み難い一方でそれは登記すらない」ということは偽ならこのぽいぽのLv.38は犯し難い; void -> assump1: 以下のように仮定する。「このぽいぽのLv.38は読み難いけどそれは登記すらない」ということは成り立たない; int1 & assump1 -> int2: このぽいぽのLv.38は犯し難い; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
fact2 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; void -> assump1: ¬({AA}{aa} & ¬{AB}{aa}); int1 & assump1 -> int2: {B}{aa}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__