以下のように仮定する。このぽにゃぽのLv.66は青っぽい
fact1: このぽにゃぽのLv.66が報告致すかそれは青っぽいかもしくは両方ならば「このまやまよLv.72は近付き難くない」ということは成り立つ fact2: このぽにゃぽのLv.66が報告致せばこのまやまよLv.72は近付き難くない fact3: 仮になにがしかのモンスターは軽しないとすると「近付き難いし親しみ易い」ということは成り立たない fact4: このまやまよLv.72は近付き難い
void -> assump1: 以下のように仮定する。このぽにゃぽのLv.66は青っぽい; assump1 -> int1: このぽにゃぽのLv.66は報告致すかまたは青っぽい; int1 & fact1 -> int2: このまやまよLv.72は近付き難いということはない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact1 -> int2: ¬{C}{b}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。このぽにゃぽのLv.66は青っぽい
fact5 -> int4: もしもあのもえもいLv.38は軽しないとすれば「あのもえもいLv.38は近付き難くて加えて親しみ易い」ということは間違いだ;
$facts$ = fact1: このぽにゃぽのLv.66が報告致すかそれは青っぽいかもしくは両方ならば「このまやまよLv.72は近付き難くない」ということは成り立つ fact2: このぽにゃぽのLv.66が報告致せばこのまやまよLv.72は近付き難くない fact3: 仮になにがしかのモンスターは軽しないとすると「近付き難いし親しみ易い」ということは成り立たない fact4: このまやまよLv.72は近付き難い ; $hypothesis$ = 以下のように仮定する。このぽにゃぽのLv.66は青っぽい ; $proof$ = 
void -> assump1: 以下のように仮定する。このぽにゃぽのLv.66は青っぽい; assump1 -> int1: このぽにゃぽのLv.66は報告致すかまたは青っぽい; int1 & fact1 -> int2: このまやまよLv.72は近付き難いということはない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {B}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact1 -> int2: ¬{C}{b}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__