そのまにまよLv.71は所らしくない
fact1: 「このぴいぴにゅLv.98は悶え泣く」ということは事実である fact2: もしもそのぷいぷえLv.43がえげつないならそのみなみゆLv.22は奪い返すがえげつなくない fact3: もしもこのぴちゃぴにゅLv.6が柔らかいとしたらそのまにまよLv.71は柔らかいということはない一方で所らしい fact4: もしも「何らかのモンスターは悶え泣くし所らしい」ということは偽であるなら「所らしくない」ということは正しい fact5: 仮にそのまにまよLv.71が奪い返すということはないならばそのまにまよLv.71はえげつなくないしそれに柔らかくない fact6: もしこのぴいぴにゅLv.98が悶え泣くならそのぷいぷえLv.43はえげつない fact7: 仮にとあるモンスターはえげつなくないとすると「悶え泣くし所らしい」ということは確かでない fact8: 仮にそのみなみゆLv.22が奪い返すがしかしえげつなくないとするとこのぴちゃぴにゅLv.6は柔らかい
fact6 & fact1 -> int1: そのぷいぷえLv.43はえげつない; int1 & fact2 -> int2: そのみなみゆLv.22は奪い返す一方でえげつなくない; int2 & fact8 -> int3: このぴちゃぴにゅLv.6は柔らかい; int3 & fact3 -> int4: そのまにまよLv.71は柔らかくないけど所らしい; int4 -> hypothesis;
fact6 & fact1 -> int1: {B}{b}; int1 & fact2 -> int2: ({D}{c} & ¬{B}{c}); int2 & fact8 -> int3: {C}{d}; int3 & fact3 -> int4: (¬{C}{e} & {E}{e}); int4 -> hypothesis;
そのまにまよLv.71は所らしくない
fact9 -> int5: もし「そのまにまよLv.71は悶え泣くし更にそれは所らしい」ということは成り立たないとすると所らしくない; fact11 -> int6: もし仮にそのまにまよLv.71はえげつなくないなら「そのまにまよLv.71は悶え泣くし加えてそれは所らしい」ということは間違いだ;
$facts$ = fact1: 「このぴいぴにゅLv.98は悶え泣く」ということは事実である fact2: もしもそのぷいぷえLv.43がえげつないならそのみなみゆLv.22は奪い返すがえげつなくない fact3: もしもこのぴちゃぴにゅLv.6が柔らかいとしたらそのまにまよLv.71は柔らかいということはない一方で所らしい fact4: もしも「何らかのモンスターは悶え泣くし所らしい」ということは偽であるなら「所らしくない」ということは正しい fact5: 仮にそのまにまよLv.71が奪い返すということはないならばそのまにまよLv.71はえげつなくないしそれに柔らかくない fact6: もしこのぴいぴにゅLv.98が悶え泣くならそのぷいぷえLv.43はえげつない fact7: 仮にとあるモンスターはえげつなくないとすると「悶え泣くし所らしい」ということは確かでない fact8: 仮にそのみなみゆLv.22が奪い返すがしかしえげつなくないとするとこのぴちゃぴにゅLv.6は柔らかい ; $hypothesis$ = そのまにまよLv.71は所らしくない ; $proof$ = 
fact6 & fact1 -> int1: そのぷいぷえLv.43はえげつない; int1 & fact2 -> int2: そのみなみゆLv.22は奪い返す一方でえげつなくない; int2 & fact8 -> int3: このぴちゃぴにゅLv.6は柔らかい; int3 & fact3 -> int4: そのまにまよLv.71は柔らかくないけど所らしい; int4 -> hypothesis; __DISPROVED__
fact6 & fact1 -> int1: {B}{b}; int1 & fact2 -> int2: ({D}{c} & ¬{B}{c}); int2 & fact8 -> int3: {C}{d}; int3 & fact3 -> int4: (¬{C}{e} & {E}{e}); int4 -> hypothesis; __DISPROVED__