そのもわもえLv.51は価値付けない
fact1: 「あのぴにょぴよLv.40が弛み無いということはないしその上それは憎めない」ということは誤っている fact2: もしもあのぴにょぴよLv.40が掛け続ける一方で儚くないとするとそのもわもえLv.51は価値付ける fact3: あのぴにょぴよLv.40は掛け続ける fact4: 仮に「あのぴにょぴよLv.40は弛み無くないししかもそれは憎めない」ということは成り立たないとしたらあのぴにょぴよLv.40は儚くない
fact4 & fact1 -> int1: あのぴにょぴよLv.40は儚いということはない; int1 & fact3 -> int2: 「あのぴにょぴよLv.40は掛け続けるけれど儚くない」ということは真実である; int2 & fact2 -> hypothesis;
fact4 & fact1 -> int1: ¬{B}{a}; int1 & fact3 -> int2: ({A}{a} & ¬{B}{a}); int2 & fact2 -> hypothesis;
$facts$ = fact1: 「あのぴにょぴよLv.40が弛み無いということはないしその上それは憎めない」ということは誤っている fact2: もしもあのぴにょぴよLv.40が掛け続ける一方で儚くないとするとそのもわもえLv.51は価値付ける fact3: あのぴにょぴよLv.40は掛け続ける fact4: 仮に「あのぴにょぴよLv.40は弛み無くないししかもそれは憎めない」ということは成り立たないとしたらあのぴにょぴよLv.40は儚くない ; $hypothesis$ = そのもわもえLv.51は価値付けない ; $proof$ = 
fact4 & fact1 -> int1: あのぴにょぴよLv.40は儚いということはない; int1 & fact3 -> int2: 「あのぴにょぴよLv.40は掛け続けるけれど儚くない」ということは真実である; int2 & fact2 -> hypothesis; __DISPROVED__
fact4 & fact1 -> int1: ¬{B}{a}; int1 & fact3 -> int2: ({A}{a} & ¬{B}{a}); int2 & fact2 -> hypothesis; __DISPROVED__