「そのまよまちゃLv.66はでっかくない」ということは真実だ
fact1: 仮にこのまにょまよLv.58が強くて推察出来るとするとそのまよまちゃLv.66は口述しない fact2: もし仮にそのぴねぴねLv.86が推察出来ればそのまよまちゃLv.66は小憎らしくないが強い fact3: そのぴねぴねLv.86が饗するしその上口述する fact4: 仮になにがしかのモンスターは推察出来るということはないなら「それは強くないがでっかい」ということは偽である fact5: このまにょまよLv.58は強い fact6: このまにょまよLv.58は推察出来る fact7: 「そのまよまちゃLv.66は饗する」ということは偽でない fact8: もしも「何らかのモンスターは饗しない一方で推察出来る」ということは成り立つということはないならば推察出来ない fact9: そのみちょみにゃLv.92は恨めしいしまたそれは役らしい
fact5 & fact6 -> int1: このまにょまよLv.58は強くておまけに推察出来る; int1 & fact1 -> int2: そのまよまちゃLv.66は口述するということはない; int2 & fact7 -> int3: そのまよまちゃLv.66は饗するけど口述しない;
fact5 & fact6 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> int2: ¬{C}{b}; int2 & fact7 -> int3: ({D}{b} & ¬{C}{b});
「そのまよまちゃLv.66はでっかくない」ということは真実だ
fact11 -> int4: 仮にこのまにょまよLv.58は推察出来ないとしたら「強くないしでっかい」ということは偽だ; fact10 -> int5: もし「このまにょまよLv.58は饗するということはないけど推察出来る」ということは成り立たないとすると「このまにょまよLv.58は推察出来ない」ということは嘘でない;
$facts$ = fact1: 仮にこのまにょまよLv.58が強くて推察出来るとするとそのまよまちゃLv.66は口述しない fact2: もし仮にそのぴねぴねLv.86が推察出来ればそのまよまちゃLv.66は小憎らしくないが強い fact3: そのぴねぴねLv.86が饗するしその上口述する fact4: 仮になにがしかのモンスターは推察出来るということはないなら「それは強くないがでっかい」ということは偽である fact5: このまにょまよLv.58は強い fact6: このまにょまよLv.58は推察出来る fact7: 「そのまよまちゃLv.66は饗する」ということは偽でない fact8: もしも「何らかのモンスターは饗しない一方で推察出来る」ということは成り立つということはないならば推察出来ない fact9: そのみちょみにゃLv.92は恨めしいしまたそれは役らしい ; $hypothesis$ = 「そのまよまちゃLv.66はでっかくない」ということは真実だ ; $proof$ = 
__UNKNOWN__
__UNKNOWN__