このぴやぴゆLv.81はややこしくておまけに登拝する
fact1: 「なにがしかのモンスターは答え難いということはないけどどうして良い」ということは嘘だとしたらそれはややこしい fact2: 答え難くなくてそれにどうして良いというモンスターはない
fact1 -> int1: 仮に「このぴやぴゆLv.81は答え難くないけれどどうして良い」ということは誤りならそれはややこしい; fact2 -> int2: 「このぴやぴゆLv.81は答え難くないけどどうして良い」ということは偽だ; int1 & int2 -> int3: このぴやぴゆLv.81はややこしい;
fact1 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; fact2 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int1 & int2 -> int3: {B}{aa};
$facts$ = fact1: 「なにがしかのモンスターは答え難いということはないけどどうして良い」ということは嘘だとしたらそれはややこしい fact2: 答え難くなくてそれにどうして良いというモンスターはない ; $hypothesis$ = このぴやぴゆLv.81はややこしくておまけに登拝する ; $proof$ = 
__UNKNOWN__
__UNKNOWN__