そのぷねぷねLv.65は着直す
fact1: そのぴちゃぴちょLv.89は介在するしかつ嘆かわしい fact2: もしそのぷねぷねLv.65が心弱いとするとそのぷねぷねLv.65は着直す fact3: もし仮にそのぴちゃぴちょLv.89が介在するならそのぷねぷねLv.65は心弱い fact4: もしそのぴちゃぴちょLv.89が嘆かわしくないならばそのぷねぷねLv.65は介在しないしその上それは着直さない fact5: もし仮に「「なにがしかのモンスターは太ししそれは嘆かわしい」ということは間違いでない」ということは誤りだとすれば「嘆かわしくない」ということは成り立つ fact6: もしもなにがしかのモンスターは心弱くないなら「それは太しし嘆かわしい」ということは成り立たない
fact1 -> int1: そのぴちゃぴちょLv.89は介在する; int1 & fact3 -> int2: そのぷねぷねLv.65は心弱い; int2 & fact2 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact2 -> hypothesis;
そのぷねぷねLv.65は着直さない
fact8 -> int3: 「そのぴちゃぴちょLv.89は太しし加えて嘆かわしい」ということは誤りだとしたら「それは嘆かわしい」ということは誤りである; fact7 -> int4: もし仮にそのぴちゃぴちょLv.89は心弱くないとすると「太しし更に嘆かわしい」ということは嘘だ;
$facts$ = fact1: そのぴちゃぴちょLv.89は介在するしかつ嘆かわしい fact2: もしそのぷねぷねLv.65が心弱いとするとそのぷねぷねLv.65は着直す fact3: もし仮にそのぴちゃぴちょLv.89が介在するならそのぷねぷねLv.65は心弱い fact4: もしそのぴちゃぴちょLv.89が嘆かわしくないならばそのぷねぷねLv.65は介在しないしその上それは着直さない fact5: もし仮に「「なにがしかのモンスターは太ししそれは嘆かわしい」ということは間違いでない」ということは誤りだとすれば「嘆かわしくない」ということは成り立つ fact6: もしもなにがしかのモンスターは心弱くないなら「それは太しし嘆かわしい」ということは成り立たない ; $hypothesis$ = そのぷねぷねLv.65は着直す ; $proof$ = 
fact1 -> int1: そのぴちゃぴちょLv.89は介在する; int1 & fact3 -> int2: そのぷねぷねLv.65は心弱い; int2 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact2 -> hypothesis; __PROVED__