このぴわぴわLv.5は焼却処分するかそれは打っ壊すかまたは両方ともである
fact1: このぴわぴわLv.5が刷り込むとすればそれは焼却処分する fact2: もしも何らかのモンスターは温かくないなら「それは焼却処分するか打っ壊すかあるいは両方ともだ」ということは嘘だ fact3: このみにょみよLv.61が意味深いならばこのみにょみよLv.61は焼却処分する fact4: もしもこのみにょみよLv.61が温かいとするとこのぴわぴわLv.5は刷り込む fact5: このみにょみよLv.61は温かい fact6: このみにょみよLv.61は意味深いか憎し fact7: なんらかのモンスターが焼却処分すればそれは刷り込む
fact4 & fact5 -> int1: このぴわぴわLv.5は刷り込む; int1 & fact1 -> int2: このぴわぴわLv.5は焼却処分する; int2 -> hypothesis;
fact4 & fact5 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{b}; int2 -> hypothesis;
「このぴわぴわLv.5は焼却処分するかあるいは打っ壊すかあるいは両方ともである」ということは事実と異なる
fact8 -> int3: もしもこのみにょみよLv.61は温かいということはないとすれば「それは焼却処分するかまたは打っ壊す」ということは成り立つということはない;
$facts$ = fact1: このぴわぴわLv.5が刷り込むとすればそれは焼却処分する fact2: もしも何らかのモンスターは温かくないなら「それは焼却処分するか打っ壊すかあるいは両方ともだ」ということは嘘だ fact3: このみにょみよLv.61が意味深いならばこのみにょみよLv.61は焼却処分する fact4: もしもこのみにょみよLv.61が温かいとするとこのぴわぴわLv.5は刷り込む fact5: このみにょみよLv.61は温かい fact6: このみにょみよLv.61は意味深いか憎し fact7: なんらかのモンスターが焼却処分すればそれは刷り込む ; $hypothesis$ = このぴわぴわLv.5は焼却処分するかそれは打っ壊すかまたは両方ともである ; $proof$ = 
fact4 & fact5 -> int1: このぴわぴわLv.5は刷り込む; int1 & fact1 -> int2: このぴわぴわLv.5は焼却処分する; int2 -> hypothesis; __PROVED__
fact4 & fact5 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{b}; int2 -> hypothesis; __PROVED__