あのまゆまちゅLv.14は聞き易くない
fact1: あのまゆまちゅLv.14が聞き易いとするとこのぷえぷなLv.63は手堅い fact2: それは生え易いし物凄いというモンスターはない fact3: もしもあのまゆまちゅLv.14が熟睡出来るけどそれが手堅くないならばあのぴにゃぴねLv.53は聞き易いということはない fact4: もし仮に「あるモンスターは生え易くて物凄い」ということは成り立たないとすれば生成し易くない fact5: もしも何らかのモンスターが生成し易いということはないならば飲み難くて慈愛深い fact6: このぷえぷなLv.63は手堅くない
void -> assump1: 以下のように仮定する。あのまゆまちゅLv.14は聞き易い; fact1 & assump1 -> int1: このぷえぷなLv.63は手堅い; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{b}; int1 & fact6 -> int2: #F#; [assump1] & int2 -> hypothesis;
あのぴにゃぴねLv.53は聞き易くない
fact10 -> int3: 「もしそのまなまにょLv.90が生成し易いということはないとすればそのまなまにょLv.90は飲み難いし慈愛深い」ということは成り立つ; fact7 -> int4: 仮に「そのまなまにょLv.90は生え易いししかも物凄い」ということは成り立たないとするとそのまなまにょLv.90は生成し易くない; fact9 -> int5: 「「そのまなまにょLv.90は生え易いしかつそれは物凄い」ということは正しい」ということは成り立たない; int4 & int5 -> int6: そのまなまにょLv.90は生成し易くない; int3 & int6 -> int7: そのまなまにょLv.90は飲み難くておまけにそれは慈愛深い; int7 -> int8: 全てのモンスターは飲み難くてかつ慈愛深い; int8 -> int9: このぷえぷなLv.63は飲み難いし加えてそれは慈愛深い; int9 -> int10: このぷえぷなLv.63は飲み難い; int10 -> int11: 「飲み難い」モンスターはいる;
$facts$ = fact1: あのまゆまちゅLv.14が聞き易いとするとこのぷえぷなLv.63は手堅い fact2: それは生え易いし物凄いというモンスターはない fact3: もしもあのまゆまちゅLv.14が熟睡出来るけどそれが手堅くないならばあのぴにゃぴねLv.53は聞き易いということはない fact4: もし仮に「あるモンスターは生え易くて物凄い」ということは成り立たないとすれば生成し易くない fact5: もしも何らかのモンスターが生成し易いということはないならば飲み難くて慈愛深い fact6: このぷえぷなLv.63は手堅くない ; $hypothesis$ = あのまゆまちゅLv.14は聞き易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのまゆまちゅLv.14は聞き易い; fact1 & assump1 -> int1: このぷえぷなLv.63は手堅い; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{b}; int1 & fact6 -> int2: #F#; [assump1] & int2 -> hypothesis; __PROVED__