そのぷえぷにゅLv.14は気忙しくないがしかし脂っこい
fact1: このまくまやLv.83は青い fact2: もし「「そのぷえぷにゅLv.14は気忙しくないが脂っこい」ということは成り立つということはない」ということは偽だということはないならこのまくまやLv.83は青くない fact3: 「「そのぷえぷにゅLv.14は気忙しい」ということは正しいとしたらこのまくまやLv.83は青くない」ということは本当である fact4: もし仮になにがしかのモンスターが青いしその上それが掃くならそのぷえぷにゅLv.14はささくれ立たない
void -> assump1: 以下のように仮定する。「そのぷえぷにゅLv.14は気忙しくないが脂っこい」ということは成り立たない; fact2 & assump1 -> int1: このまくまやLv.83は青くない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: ¬(¬{AA}{a} & {AB}{a}); fact2 & assump1 -> int1: ¬{B}{b}; int1 & fact1 -> int2: #F#; [assump1] & int2 -> hypothesis;
そのぷえぷにゅLv.14はささくれ立つということはない
$facts$ = fact1: このまくまやLv.83は青い fact2: もし「「そのぷえぷにゅLv.14は気忙しくないが脂っこい」ということは成り立つということはない」ということは偽だということはないならこのまくまやLv.83は青くない fact3: 「「そのぷえぷにゅLv.14は気忙しい」ということは正しいとしたらこのまくまやLv.83は青くない」ということは本当である fact4: もし仮になにがしかのモンスターが青いしその上それが掃くならそのぷえぷにゅLv.14はささくれ立たない ; $hypothesis$ = そのぷえぷにゅLv.14は気忙しくないがしかし脂っこい ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのぷえぷにゅLv.14は気忙しくないが脂っこい」ということは成り立たない; fact2 & assump1 -> int1: このまくまやLv.83は青くない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: ¬(¬{AA}{a} & {AB}{a}); fact2 & assump1 -> int1: ¬{B}{b}; int1 & fact1 -> int2: #F#; [assump1] & int2 -> hypothesis; __PROVED__