「このまよまやLv.41は強ししまた急進する」ということは誤りだ
fact1: もしもあのまにゃまわLv.36が望ましいということはないとすると完了するし世知辛い fact2: もし仮に何らかのモンスターは戦慄しないならば「強しししかも急進する」ということは成り立たない fact3: このまよまやLv.41は急進する fact4: 仮にこのまよまやLv.41が世知辛いならばこのまよまやLv.41は強し fact5: 仮にあのまにゃまわLv.36が好発するならそのぷねぷやLv.54は完了する fact6: もしもとあるモンスターが完了すればそれは好発するかもしくは戦慄しないか両方ともである fact7: あのまにゃまわLv.36は戦慄するしおまけに好発する fact8: もしもなんらかのモンスターが好発すれば戦慄する
fact7 -> int1: あのまにゃまわLv.36は好発する; int1 & fact5 -> int2: そのぷねぷやLv.54は完了する;
fact7 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{b};
「このまよまやLv.41は強ししまた急進する」ということは誤りだ
fact10 -> int3: もし仮にこのまよまやLv.41は戦慄しないとすれば「強ししかつそれは急進する」ということは誤っている; fact11 -> int4: あのまにゃまわLv.36が完了するとするとあのまにゃまわLv.36は好発するかもしくはそれは戦慄しない;
$facts$ = fact1: もしもあのまにゃまわLv.36が望ましいということはないとすると完了するし世知辛い fact2: もし仮に何らかのモンスターは戦慄しないならば「強しししかも急進する」ということは成り立たない fact3: このまよまやLv.41は急進する fact4: 仮にこのまよまやLv.41が世知辛いならばこのまよまやLv.41は強し fact5: 仮にあのまにゃまわLv.36が好発するならそのぷねぷやLv.54は完了する fact6: もしもとあるモンスターが完了すればそれは好発するかもしくは戦慄しないか両方ともである fact7: あのまにゃまわLv.36は戦慄するしおまけに好発する fact8: もしもなんらかのモンスターが好発すれば戦慄する ; $hypothesis$ = 「このまよまやLv.41は強ししまた急進する」ということは誤りだ ; $proof$ = 
__UNKNOWN__
__UNKNOWN__