そのもにゃもよLv.10は悪戯っぽい
fact1: 考え辛くないモンスターは現行しない fact2: そのもにゃもよLv.10が現行しないとするとこのみちゃみちゃLv.7はいかすかもしくは悪戯っぽいかまたは両方である fact3: そのもにゃもよLv.10はいかす fact4: もしもそのもにゃもよLv.10は国営化するしさらにいかすとすればそれは悪戯っぽくない fact5: 「そのもにゃもよLv.10は国営化する」ということは嘘でない fact6: 仮に何らかのモンスターが信じ難くないとすれば考え辛くない fact7: もし仮にそのぽよぽのLv.22が悪戯っぽいとすればそのもにゃもよLv.10は悪戯っぽい fact8: もし仮に「何らかのモンスターはいかさない」ということは確かであるならばそれは国営化するし悪戯っぽい
fact5 & fact3 -> int1: そのもにゃもよLv.10は国営化するしまたいかす; int1 & fact4 -> hypothesis;
fact5 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> hypothesis;
そのもにゃもよLv.10は悪戯っぽい
fact10 -> int2: 仮にそのぽよぽのLv.22はいかすということはないなら「そのぽよぽのLv.22は国営化するしさらに悪戯っぽい」ということは本当である;
$facts$ = fact1: 考え辛くないモンスターは現行しない fact2: そのもにゃもよLv.10が現行しないとするとこのみちゃみちゃLv.7はいかすかもしくは悪戯っぽいかまたは両方である fact3: そのもにゃもよLv.10はいかす fact4: もしもそのもにゃもよLv.10は国営化するしさらにいかすとすればそれは悪戯っぽくない fact5: 「そのもにゃもよLv.10は国営化する」ということは嘘でない fact6: 仮に何らかのモンスターが信じ難くないとすれば考え辛くない fact7: もし仮にそのぽよぽのLv.22が悪戯っぽいとすればそのもにゃもよLv.10は悪戯っぽい fact8: もし仮に「何らかのモンスターはいかさない」ということは確かであるならばそれは国営化するし悪戯っぽい ; $hypothesis$ = そのもにゃもよLv.10は悪戯っぽい ; $proof$ = 
fact5 & fact3 -> int1: そのもにゃもよLv.10は国営化するしまたいかす; int1 & fact4 -> hypothesis; __DISPROVED__
fact5 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> hypothesis; __DISPROVED__