そのぴなぴにゃLv.25はえぐくなくて加えて勝利出来ない
fact1: もし仮に「このぴにょぴにょLv.42はえぐくない」ということは事実であるとすればそのぴなぴにゃLv.25はえぐくなくて勝利出来ない fact2: 仮にあるモンスターは剥き出すとすると「えぐいということはないし勝利出来ない」ということは成り立たない fact3: 「このぴにょぴにょLv.42は剥き出す」ということは成り立つ fact4: 「もし仮になんらかのモンスターが遣り続けるということはないならそれは素晴らしいしその上剥き出す」ということは確かである fact5: もしこのぴにょぴにょLv.42が剥き出すしまた素晴らしいとしたらそれはえぐくない fact6: このぴにょぴにょLv.42は素晴らしい
fact3 & fact6 -> int1: このぴにょぴにょLv.42は剥き出すし素晴らしい; int1 & fact5 -> int2: このぴにょぴにょLv.42はえぐいということはない; int2 & fact1 -> hypothesis;
fact3 & fact6 -> int1: ({A}{a} & {B}{a}); int1 & fact5 -> int2: ¬{C}{a}; int2 & fact1 -> hypothesis;
「そのぴなぴにゃLv.25はえぐくないししかもそれは勝利出来ない」ということは誤っている
fact7 -> int3: 「もし仮にそのぴなぴにゃLv.25は剥き出せば「そのぴなぴにゃLv.25はえぐくないしかつそれは勝利出来るということはない」ということは成り立たない」ということは正しい; fact8 -> int4: もし仮にそのぴなぴにゃLv.25が遣り続けないとするとそのぴなぴにゃLv.25は素晴らしくてかつ剥き出す;
$facts$ = fact1: もし仮に「このぴにょぴにょLv.42はえぐくない」ということは事実であるとすればそのぴなぴにゃLv.25はえぐくなくて勝利出来ない fact2: 仮にあるモンスターは剥き出すとすると「えぐいということはないし勝利出来ない」ということは成り立たない fact3: 「このぴにょぴにょLv.42は剥き出す」ということは成り立つ fact4: 「もし仮になんらかのモンスターが遣り続けるということはないならそれは素晴らしいしその上剥き出す」ということは確かである fact5: もしこのぴにょぴにょLv.42が剥き出すしまた素晴らしいとしたらそれはえぐくない fact6: このぴにょぴにょLv.42は素晴らしい ; $hypothesis$ = そのぴなぴにゃLv.25はえぐくなくて加えて勝利出来ない ; $proof$ = 
fact3 & fact6 -> int1: このぴにょぴにょLv.42は剥き出すし素晴らしい; int1 & fact5 -> int2: このぴにょぴにょLv.42はえぐいということはない; int2 & fact1 -> hypothesis; __PROVED__
fact3 & fact6 -> int1: ({A}{a} & {B}{a}); int1 & fact5 -> int2: ¬{C}{a}; int2 & fact1 -> hypothesis; __PROVED__