あのもよもにゅLv.22は入眠しない
fact1: あのもよもにゅLv.22は気持ち良くない fact2: もし「あるモンスターは判別し難くないしその上それは気持ち良くない」ということは誤っているとすると天使らしいということはない fact3: 仮になんらかのモンスターが入眠するとすればそれは気持ち良い fact4: 天使らしいモンスターは入眠する
fact3 -> int1: もし「あのもよもにゅLv.22は入眠する」ということは成り立てばあのもよもにゅLv.22は気持ち良い; void -> assump1: 以下のように仮定する。あのもよもにゅLv.22は入眠する; int1 & assump1 -> int2: あのもよもにゅLv.22は気持ち良い; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
fact3 -> int1: {A}{aa} -> {C}{aa}; void -> assump1: {A}{aa}; int1 & assump1 -> int2: {C}{aa}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis;
あのもよもにゅLv.22は外来通院する
fact5 -> int4: もし「あのもよもにゅLv.22は判別し難くないし加えて気持ち良くない」ということは誤りであるならあのもよもにゅLv.22は天使らしくない;
$facts$ = fact1: あのもよもにゅLv.22は気持ち良くない fact2: もし「あるモンスターは判別し難くないしその上それは気持ち良くない」ということは誤っているとすると天使らしいということはない fact3: 仮になんらかのモンスターが入眠するとすればそれは気持ち良い fact4: 天使らしいモンスターは入眠する ; $hypothesis$ = あのもよもにゅLv.22は入眠しない ; $proof$ = 
fact3 -> int1: もし「あのもよもにゅLv.22は入眠する」ということは成り立てばあのもよもにゅLv.22は気持ち良い; void -> assump1: 以下のように仮定する。あのもよもにゅLv.22は入眠する; int1 & assump1 -> int2: あのもよもにゅLv.22は気持ち良い; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
fact3 -> int1: {A}{aa} -> {C}{aa}; void -> assump1: {A}{aa}; int1 & assump1 -> int2: {C}{aa}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__