以下のように仮定する。あのぷいぷやLv.21はがらんとしない
fact1: 「あのぷいぷやLv.21は青い」ということは成り立つ fact2: もしもあるモンスターががらんとしないとしたら青くない
fact2 -> int1: もしもあのぷいぷやLv.21ががらんとしないとするとあのぷいぷやLv.21は青くない; void -> assump1: 以下のように仮定する。あのぷいぷやLv.21はがらんとしない; int1 & assump1 -> int2: 「あのぷいぷやLv.21は青くない」ということは成り立つ; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
fact2 -> int1: ¬{B}{aa} -> ¬{C}{aa}; void -> assump1: ¬{B}{aa}; int1 & assump1 -> int2: ¬{C}{aa}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 「あのぷいぷやLv.21は青い」ということは成り立つ fact2: もしもあるモンスターががらんとしないとしたら青くない ; $hypothesis$ = 以下のように仮定する。あのぷいぷやLv.21はがらんとしない ; $proof$ = 
fact2 -> int1: もしもあのぷいぷやLv.21ががらんとしないとするとあのぷいぷやLv.21は青くない; void -> assump1: 以下のように仮定する。あのぷいぷやLv.21はがらんとしない; int1 & assump1 -> int2: 「あのぷいぷやLv.21は青くない」ということは成り立つ; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
fact2 -> int1: ¬{B}{aa} -> ¬{C}{aa}; void -> assump1: ¬{B}{aa}; int1 & assump1 -> int2: ¬{C}{aa}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__