そのぷのぷゆLv.93は物凄まじい
fact1: そのまよまくLv.69は薄めるし更に順守す fact2: もし「なにがしかのモンスターは薄めないが順守す」ということは誤りだとすれば物凄まじくない fact3: もし仮に「何らかのモンスターは順守すけれどそれは与え易くない」ということは事実と異なるとすればそれは順守すらない fact4: もしもなにがしかのモンスターは浮かないとすれば「それは順守すしかつ与え易くない」ということは間違いだ fact5: もしもこのぷちょぷにLv.97は浮くとしたら「そのぷのぷゆLv.93は物凄まじい」ということは正しい fact6: 仮に「そのまよまくLv.69は浮くし更にややこしい」ということは成り立たないとしたらそれは浮かない fact7: そのまよまくLv.69が順守すとしたらこのぷちょぷにLv.97は浮く
fact1 -> int1: そのまよまくLv.69は順守す; int1 & fact7 -> int2: 「このぷちょぷにLv.97は浮く」ということは間違いでない; int2 & fact5 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{b}; int2 & fact5 -> hypothesis;
そのぷのぷゆLv.93は物凄まじくない
fact9 -> int3: もし仮に「そのぷのぷゆLv.93は薄めないが順守す」ということは誤りだとすれば物凄まじいということはない; fact11 -> int4: もし「そのまよまくLv.69は順守すけれど与え易いということはない」ということは成り立つということはないとするとそれは順守すらない; fact8 -> int5: 「そのまよまくLv.69は浮かないとすると「そのまよまくLv.69は順守すけれど与え易くない」ということは誤っている」ということは成り立つ;
$facts$ = fact1: そのまよまくLv.69は薄めるし更に順守す fact2: もし「なにがしかのモンスターは薄めないが順守す」ということは誤りだとすれば物凄まじくない fact3: もし仮に「何らかのモンスターは順守すけれどそれは与え易くない」ということは事実と異なるとすればそれは順守すらない fact4: もしもなにがしかのモンスターは浮かないとすれば「それは順守すしかつ与え易くない」ということは間違いだ fact5: もしもこのぷちょぷにLv.97は浮くとしたら「そのぷのぷゆLv.93は物凄まじい」ということは正しい fact6: 仮に「そのまよまくLv.69は浮くし更にややこしい」ということは成り立たないとしたらそれは浮かない fact7: そのまよまくLv.69が順守すとしたらこのぷちょぷにLv.97は浮く ; $hypothesis$ = そのぷのぷゆLv.93は物凄まじい ; $proof$ = 
fact1 -> int1: そのまよまくLv.69は順守す; int1 & fact7 -> int2: 「このぷちょぷにLv.97は浮く」ということは間違いでない; int2 & fact5 -> hypothesis; __PROVED__
fact1 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{b}; int2 & fact5 -> hypothesis; __PROVED__