以下のように仮定する。このもにゃもわLv.54は汚れ易い
fact1: そのぴなぴゆLv.64は汚れ易くない fact2: あのもよもえLv.21は華々しい fact3: もしもこのもにゃもわLv.54が華々しいということはないとするとあのもねもちゅLv.75は捕らえ難くてそれにそれは汚れ易い fact4: 「あるモンスターは捕らえ難い一方でそれは汚れ易くない」ということは間違いなら汚れ易い fact5: もしもこのもにゃもわLv.54が汚れ易いし加えて捕らえ難いならあのもねもちゅLv.75は華々しくない fact6: 仮に珍しくないモンスターが華々しくないとするとそれは捕らえ難くない fact7: このもにゃもわLv.54は捕らえ難い fact8: あのもねもちゅLv.75は華々しい
void -> assump1: 以下のように仮定する。このもにゃもわLv.54は汚れ易い; assump1 & fact7 -> int1: このもにゃもわLv.54は汚れ易いし捕らえ難い; int1 & fact5 -> int2: あのもねもちゅLv.75は華々しいということはない; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; assump1 & fact7 -> int1: ({A}{a} & {B}{a}); int1 & fact5 -> int2: ¬{C}{b}; int2 & fact8 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。このもにゃもわLv.54は汚れ易い
fact9 -> int4: もし「このもにゃもわLv.54は捕らえ難い一方で汚れ易くない」ということは成り立たないなら「それは汚れ易い」ということは確かである; fact11 -> int5: もし仮にあのもねもちゅLv.75が珍しくなくてしかも華々しくないとしたらあのもねもちゅLv.75は捕らえ難いということはない; fact10 -> int6: 「華々しい」モンスターはいる;
$facts$ = fact1: そのぴなぴゆLv.64は汚れ易くない fact2: あのもよもえLv.21は華々しい fact3: もしもこのもにゃもわLv.54が華々しいということはないとするとあのもねもちゅLv.75は捕らえ難くてそれにそれは汚れ易い fact4: 「あるモンスターは捕らえ難い一方でそれは汚れ易くない」ということは間違いなら汚れ易い fact5: もしもこのもにゃもわLv.54が汚れ易いし加えて捕らえ難いならあのもねもちゅLv.75は華々しくない fact6: 仮に珍しくないモンスターが華々しくないとするとそれは捕らえ難くない fact7: このもにゃもわLv.54は捕らえ難い fact8: あのもねもちゅLv.75は華々しい ; $hypothesis$ = 以下のように仮定する。このもにゃもわLv.54は汚れ易い ; $proof$ = 
void -> assump1: 以下のように仮定する。このもにゃもわLv.54は汚れ易い; assump1 & fact7 -> int1: このもにゃもわLv.54は汚れ易いし捕らえ難い; int1 & fact5 -> int2: あのもねもちゅLv.75は華々しいということはない; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; assump1 & fact7 -> int1: ({A}{a} & {B}{a}); int1 & fact5 -> int2: ¬{C}{b}; int2 & fact8 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__