「もし仮にそのぴやぴやLv.8が荒らせるとするとそのぴやぴやLv.8は眠たい」ということは嘘だ
fact1: もしそのぴやぴやLv.8は注視・追視するとすると「眠たい」ということは本当だ fact2: もしもとあるモンスターは濃染めすれば「荒らせる」ということは正しい fact3: 「そのぴやぴやLv.8は荒らせるということはない」ということは間違いであるならばそのぴやぴやLv.8は注視・追視する fact4: このまなまちゅLv.46は濃染めするしそれに狂おしい
void -> assump1: 以下のように仮定する。そのぴやぴやLv.8は荒らせる; fact3 & assump1 -> int1: そのぴやぴやLv.8は注視・追視する; int1 & fact1 -> int2: そのぴやぴやLv.8は眠たい; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; [assump1] & int2 -> hypothesis;
「このまなまちゅLv.46は眠たい」ということは本当だ
fact5 -> int3: このまなまちゅLv.46が濃染めするとするとこのまなまちゅLv.46は荒らせる; fact6 -> int4: このまなまちゅLv.46は濃染めする; int3 & int4 -> int5: このまなまちゅLv.46は荒らせる;
$facts$ = fact1: もしそのぴやぴやLv.8は注視・追視するとすると「眠たい」ということは本当だ fact2: もしもとあるモンスターは濃染めすれば「荒らせる」ということは正しい fact3: 「そのぴやぴやLv.8は荒らせるということはない」ということは間違いであるならばそのぴやぴやLv.8は注視・追視する fact4: このまなまちゅLv.46は濃染めするしそれに狂おしい ; $hypothesis$ = 「もし仮にそのぴやぴやLv.8が荒らせるとするとそのぴやぴやLv.8は眠たい」ということは嘘だ ; $proof$ = 
void -> assump1: 以下のように仮定する。そのぴやぴやLv.8は荒らせる; fact3 & assump1 -> int1: そのぴやぴやLv.8は注視・追視する; int1 & fact1 -> int2: そのぴやぴやLv.8は眠たい; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; [assump1] & int2 -> hypothesis; __DISPROVED__