そのもやもちゃLv.41は孤軍奮闘するし更に愚かしい
fact1: このぷにゅぷちゃLv.82は甘ーくない fact2: もしもこのぷにゅぷちゃLv.82が甘ーくないとすればそのもやもちゃLv.41は軍人らしいし孤軍奮闘する fact3: このぷにゅぷちゃLv.82が甘ーくないならそのもやもちゃLv.41は軍人らしい fact4: もしもなにがしかのモンスターが正すならそれは甘ーい fact5: そのもやもちゃLv.41は愚かしい
fact2 & fact1 -> int1: そのもやもちゃLv.41は軍人らしいしかつ孤軍奮闘する; int1 -> int2: そのもやもちゃLv.41は孤軍奮闘する; int2 & fact5 -> hypothesis;
fact2 & fact1 -> int1: ({AA}{b} & {AB}{b}); int1 -> int2: {AB}{b}; int2 & fact5 -> hypothesis;
「そのもやもちゃLv.41は孤軍奮闘するしその上愚かしい」ということは嘘だ
fact6 -> int3: もしもこのぷにゅぷちゃLv.82が正すとすればこのぷにゅぷちゃLv.82は甘ーい;
$facts$ = fact1: このぷにゅぷちゃLv.82は甘ーくない fact2: もしもこのぷにゅぷちゃLv.82が甘ーくないとすればそのもやもちゃLv.41は軍人らしいし孤軍奮闘する fact3: このぷにゅぷちゃLv.82が甘ーくないならそのもやもちゃLv.41は軍人らしい fact4: もしもなにがしかのモンスターが正すならそれは甘ーい fact5: そのもやもちゃLv.41は愚かしい ; $hypothesis$ = そのもやもちゃLv.41は孤軍奮闘するし更に愚かしい ; $proof$ = 
fact2 & fact1 -> int1: そのもやもちゃLv.41は軍人らしいしかつ孤軍奮闘する; int1 -> int2: そのもやもちゃLv.41は孤軍奮闘する; int2 & fact5 -> hypothesis; __PROVED__
fact2 & fact1 -> int1: ({AA}{b} & {AB}{b}); int1 -> int2: {AB}{b}; int2 & fact5 -> hypothesis; __PROVED__