以下のように仮定する。このぽにゃぽにゅLv.36は飛行機らしい
fact1: このぽにゃぽにゅLv.36は掻き易いしさらに疑わしい fact2: 仮にこのぽにゃぽにゅLv.36が飛行機らしいとするとこのぽねぽちゃLv.15は諦め掛ける fact3: 「このぽねぽちゃLv.15は諦め掛けない」ということは正しい fact4: なんらかのモンスターが掻き易いならばそれはえぐくなくてそれは感受出来ない
void -> assump1: 以下のように仮定する。このぽにゃぽにゅLv.36は飛行機らしい; fact2 & assump1 -> int1: 「このぽねぽちゃLv.15は諦め掛ける」ということは本当である; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> hypothesis;
そのぷちゃぷねLv.14は諦め掛ける
fact6 -> int3: このぽにゃぽにゅLv.36が掻き易いとするとこのぽにゃぽにゅLv.36はえぐくないし感受出来ない; fact5 -> int4: このぽにゃぽにゅLv.36は掻き易い; int3 & int4 -> int5: このぽにゃぽにゅLv.36はえぐくないしそれは感受出来ない; int5 -> int6: このぽにゃぽにゅLv.36はえぐくない; int6 -> int7: 「えぐくない」モンスターはいる;
$facts$ = fact1: このぽにゃぽにゅLv.36は掻き易いしさらに疑わしい fact2: 仮にこのぽにゃぽにゅLv.36が飛行機らしいとするとこのぽねぽちゃLv.15は諦め掛ける fact3: 「このぽねぽちゃLv.15は諦め掛けない」ということは正しい fact4: なんらかのモンスターが掻き易いならばそれはえぐくなくてそれは感受出来ない ; $hypothesis$ = 以下のように仮定する。このぽにゃぽにゅLv.36は飛行機らしい ; $proof$ = 
void -> assump1: 以下のように仮定する。このぽにゃぽにゅLv.36は飛行機らしい; fact2 & assump1 -> int1: 「このぽねぽちゃLv.15は諦め掛ける」ということは本当である; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> hypothesis; __DISPROVED__