あのもにゅもにゃLv.36はＯＢ臭くない
fact1: もしもあのぴやぴよLv.89は程近くないとしたら「このぴちょぴにゃLv.28は得られ易い一方で商人らしくない」ということは真実でない fact2: もし仮になんらかのモンスターが憎いならそれは程近くない fact3: 程近くないモンスターはいる fact4: このぴちょぴにゃLv.28が商人らしいならあのぴやぴよLv.89は憎いがそれは程近くない fact5: もしも「憎いが程近くない」モンスターがいるならあのもにゅもにゃLv.36は出し難い fact6: このぴちょぴにゃLv.28は得られ易い fact7: 「もし仮にあのもにゅもにゃLv.36は出し難いとすると「あのもにゅもにゃLv.36はＯＢ臭い」ということは正しい」ということは誤りでない fact8: もしも「このぴちょぴにゃLv.28は得られ易い」ということは成り立つとすればそれは商人らしい
fact8 & fact6 -> int1: このぴちょぴにゃLv.28は商人らしい; int1 & fact4 -> int2: あのぴやぴよLv.89は憎いけれど程近くない; int2 -> int3: 「憎い一方で程近くない」モンスターはいる; int3 & fact5 -> int4: あのもにゅもにゃLv.36は出し難い; int4 & fact7 -> hypothesis;
fact8 & fact6 -> int1: {B}{a}; int1 & fact4 -> int2: ({D}{b} & ¬{C}{b}); int2 -> int3: (Ex): ({D}x & ¬{C}x); int3 & fact5 -> int4: {E}{c}; int4 & fact7 -> hypothesis;
あのもにゅもにゃLv.36はＯＢ臭くない
fact10 -> int5: 仮にあのぴやぴよLv.89は憎いなら「あのぴやぴよLv.89は程近くない」ということは間違っていない;
$facts$ = fact1: もしもあのぴやぴよLv.89は程近くないとしたら「このぴちょぴにゃLv.28は得られ易い一方で商人らしくない」ということは真実でない fact2: もし仮になんらかのモンスターが憎いならそれは程近くない fact3: 程近くないモンスターはいる fact4: このぴちょぴにゃLv.28が商人らしいならあのぴやぴよLv.89は憎いがそれは程近くない fact5: もしも「憎いが程近くない」モンスターがいるならあのもにゅもにゃLv.36は出し難い fact6: このぴちょぴにゃLv.28は得られ易い fact7: 「もし仮にあのもにゅもにゃLv.36は出し難いとすると「あのもにゅもにゃLv.36はＯＢ臭い」ということは正しい」ということは誤りでない fact8: もしも「このぴちょぴにゃLv.28は得られ易い」ということは成り立つとすればそれは商人らしい ; $hypothesis$ = あのもにゅもにゃLv.36はＯＢ臭くない ; $proof$ = 
fact8 & fact6 -> int1: このぴちょぴにゃLv.28は商人らしい; int1 & fact4 -> int2: あのぴやぴよLv.89は憎いけれど程近くない; int2 -> int3: 「憎い一方で程近くない」モンスターはいる; int3 & fact5 -> int4: あのもにゅもにゃLv.36は出し難い; int4 & fact7 -> hypothesis; __DISPROVED__
fact8 & fact6 -> int1: {B}{a}; int1 & fact4 -> int2: ({D}{b} & ¬{C}{b}); int2 -> int3: (Ex): ({D}x & ¬{C}x); int3 & fact5 -> int4: {E}{c}; int4 & fact7 -> hypothesis; __DISPROVED__