このもにゃもくLv.47は手厚いということはない
fact1: もし「あのぽにゃぽにLv.67は生々しいけれどおっそろしない」ということは成り立つということはないとしたらこのもにゃもくLv.47は手厚くない fact2: おっそろしということはないモンスターは手厚くて生々しい fact3: あのぽにゃぽにLv.67はおっそろし fact4: 「何らかのモンスターは恙無くない一方でそれは幅広い」ということは誤っているとすればそれはおっそろしない
void -> assump1: 以下のように仮定する。あのぽにゃぽにLv.67は生々しいけれどおっそろしない; assump1 -> int1: あのぽにゃぽにLv.67はおっそろしない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あのぽにゃぽにLv.67は生々しいがおっそろしない」ということは偽だ; int3 & fact1 -> hypothesis;
void -> assump1: ({A}{a} & ¬{B}{a}); assump1 -> int1: ¬{B}{a}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬({A}{a} & ¬{B}{a}); int3 & fact1 -> hypothesis;
このもにゃもくLv.47は手厚い
fact6 -> int4: もし仮にこのもにゃもくLv.47がおっそろしないならばこのもにゃもくLv.47は手厚いし生々しい; fact5 -> int5: 「このもにゃもくLv.47は恙無くない一方で幅広い」ということは成り立たないとしたらこのもにゃもくLv.47はおっそろしない;
$facts$ = fact1: もし「あのぽにゃぽにLv.67は生々しいけれどおっそろしない」ということは成り立つということはないとしたらこのもにゃもくLv.47は手厚くない fact2: おっそろしということはないモンスターは手厚くて生々しい fact3: あのぽにゃぽにLv.67はおっそろし fact4: 「何らかのモンスターは恙無くない一方でそれは幅広い」ということは誤っているとすればそれはおっそろしない ; $hypothesis$ = このもにゃもくLv.47は手厚いということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぽにゃぽにLv.67は生々しいけれどおっそろしない; assump1 -> int1: あのぽにゃぽにLv.67はおっそろしない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あのぽにゃぽにLv.67は生々しいがおっそろしない」ということは偽だ; int3 & fact1 -> hypothesis; __PROVED__
void -> assump1: ({A}{a} & ¬{B}{a}); assump1 -> int1: ¬{B}{a}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬({A}{a} & ¬{B}{a}); int3 & fact1 -> hypothesis; __PROVED__