以下のように仮定する。あのみゆみちゅLv.92は怒りっぽい
fact1: もし仮にこのぴにぴにゅLv.43が恨みがましいならそれは馬鹿らしい fact2: あのみゆみちゅLv.92はすばしっこい fact3: 仮にあのみゆみちゅLv.92が怒りっぽいとしたらこのぴにぴにゅLv.43は恨みがましい fact4: このぴにぴにゅLv.43は馬鹿らしくない fact5: もし仮に「「馬鹿らしいがしかし込み入らない」ということは成り立たない」モンスターがいるとすればあのみゆみちゅLv.92は馬鹿らしくない fact6: もし仮になにがしかのモンスターは入れ上げないとすれば「それは馬鹿らしいしそれに込み入らない」ということは誤りだ fact7: このぴわぴちょLv.81は怒りっぽい
void -> assump1: 以下のように仮定する。あのみゆみちゅLv.92は怒りっぽい; fact3 & assump1 -> int1: このぴにぴにゅLv.43は恨みがましい; int1 & fact1 -> int2: このぴにぴにゅLv.43は馬鹿らしい; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{b}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。あのみゆみちゅLv.92は怒りっぽい
fact9 -> int4: もしもこのぴわぴちょLv.81は入れ上げるということはないならば「このぴわぴちょLv.81は馬鹿らしい一方でそれは込み入るということはない」ということは成り立たない;
$facts$ = fact1: もし仮にこのぴにぴにゅLv.43が恨みがましいならそれは馬鹿らしい fact2: あのみゆみちゅLv.92はすばしっこい fact3: 仮にあのみゆみちゅLv.92が怒りっぽいとしたらこのぴにぴにゅLv.43は恨みがましい fact4: このぴにぴにゅLv.43は馬鹿らしくない fact5: もし仮に「「馬鹿らしいがしかし込み入らない」ということは成り立たない」モンスターがいるとすればあのみゆみちゅLv.92は馬鹿らしくない fact6: もし仮になにがしかのモンスターは入れ上げないとすれば「それは馬鹿らしいしそれに込み入らない」ということは誤りだ fact7: このぴわぴちょLv.81は怒りっぽい ; $hypothesis$ = 以下のように仮定する。あのみゆみちゅLv.92は怒りっぽい ; $proof$ = 
void -> assump1: 以下のように仮定する。あのみゆみちゅLv.92は怒りっぽい; fact3 & assump1 -> int1: このぴにぴにゅLv.43は恨みがましい; int1 & fact1 -> int2: このぴにぴにゅLv.43は馬鹿らしい; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{b}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__