以下のように仮定する。そのもよもちゅLv.74は欲しい
fact1: 仮になんらかのモンスターが揺るぎないとすればそれは欲しい fact2: 仮にそのもよもちゅLv.74は仄暗いならば「そのもよもちゅLv.74は揺るぎない」ということは確かである fact3: 「そのもよもちゅLv.74は揺るぎなくない」ということは事実だ fact4: もしも「そのもよもちゅLv.74は欲しい」ということは正しいならば「そのもよもちゅLv.74は仄暗い」ということは成り立つ fact5: もしもそのもよもちゅLv.74が使い熟さないとするとこのまえまにゅLv.13は揺るぎないし加えて上り切る fact6: このもいものLv.9は仄暗くない fact7: 「そのもよもちゅLv.74は御悪くない」ということは確かだ
void -> assump1: 以下のように仮定する。そのもよもちゅLv.74は欲しい; fact4 & assump1 -> int1: そのもよもちゅLv.74は仄暗い; int1 & fact2 -> int2: そのもよもちゅLv.74は揺るぎない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact4 & assump1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
このまえまにゅLv.13は仄暗い
fact8 -> int4: 仮にこのまえまにゅLv.13が揺るぎないとすればそれは欲しい;
$facts$ = fact1: 仮になんらかのモンスターが揺るぎないとすればそれは欲しい fact2: 仮にそのもよもちゅLv.74は仄暗いならば「そのもよもちゅLv.74は揺るぎない」ということは確かである fact3: 「そのもよもちゅLv.74は揺るぎなくない」ということは事実だ fact4: もしも「そのもよもちゅLv.74は欲しい」ということは正しいならば「そのもよもちゅLv.74は仄暗い」ということは成り立つ fact5: もしもそのもよもちゅLv.74が使い熟さないとするとこのまえまにゅLv.13は揺るぎないし加えて上り切る fact6: このもいものLv.9は仄暗くない fact7: 「そのもよもちゅLv.74は御悪くない」ということは確かだ ; $hypothesis$ = 以下のように仮定する。そのもよもちゅLv.74は欲しい ; $proof$ = 
void -> assump1: 以下のように仮定する。そのもよもちゅLv.74は欲しい; fact4 & assump1 -> int1: そのもよもちゅLv.74は仄暗い; int1 & fact2 -> int2: そのもよもちゅLv.74は揺るぎない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact4 & assump1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__