そのぷのぷにLv.51は忘れ難くない
fact1: 忘れ難いということはないモンスターは痩せ難くないかまたはじっとするかまたはどちらもである fact2: もし仮にあのぷえぷいLv.50がじっとすればあのぷえぷいLv.50はださい fact3: もし何らかのモンスターはださいとしたら「それは生じ易くないがしかし喜悦する」ということは確かでない fact4: もしそのぷのぷにLv.51が痩せ難いならばそれは忘れ難い fact5: 仮にあのぷえぷいLv.50がださいとするとそのぷのぷにLv.51は痩せ難い fact6: とあるモンスターが弁解がましくらないとすればじっとする fact7: 仮にあのぷえぷいLv.50が弁解はましくらないとすれば「あのぷえぷいLv.50はじっとする」ということは事実である fact8: 仮に「なんらかのモンスターは答え難くないが弁解がましい」ということは嘘だとしたら「じっとする」ということは真実だ fact9: もしも「なんらかのモンスターは忘れ難くないけどださい」ということは間違いであるとすれば痩せ難い fact10: 「あのぷえぷいLv.50は答え難くないがしかし弁解がましい」ということは偽である
fact8 -> int1: もし「あのぷえぷいLv.50は答え難くないけれど弁解がましい」ということは間違っているとしたらじっとする; int1 & fact10 -> int2: あのぷえぷいLv.50はじっとする; int2 & fact2 -> int3: あのぷえぷいLv.50はださい; int3 & fact5 -> int4: そのぷのぷにLv.51は痩せ難い; int4 & fact4 -> hypothesis;
fact8 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 & fact10 -> int2: {B}{aa}; int2 & fact2 -> int3: {A}{aa}; int3 & fact5 -> int4: {C}{a}; int4 & fact4 -> hypothesis;
「そのぷのぷにLv.51は生じ易くないけれどそれは喜悦する」ということは成り立たない
fact12 -> int5: 仮にそのぷのぷにLv.51はださいとすると「生じ易くないがしかし喜悦する」ということは誤りである; fact11 -> int6: そのぷのぷにLv.51は忘れ難くないとすると「そのぷのぷにLv.51は痩せ難くないかもしくはじっとするか両方だ」ということは事実だ;
$facts$ = fact1: 忘れ難いということはないモンスターは痩せ難くないかまたはじっとするかまたはどちらもである fact2: もし仮にあのぷえぷいLv.50がじっとすればあのぷえぷいLv.50はださい fact3: もし何らかのモンスターはださいとしたら「それは生じ易くないがしかし喜悦する」ということは確かでない fact4: もしそのぷのぷにLv.51が痩せ難いならばそれは忘れ難い fact5: 仮にあのぷえぷいLv.50がださいとするとそのぷのぷにLv.51は痩せ難い fact6: とあるモンスターが弁解がましくらないとすればじっとする fact7: 仮にあのぷえぷいLv.50が弁解はましくらないとすれば「あのぷえぷいLv.50はじっとする」ということは事実である fact8: 仮に「なんらかのモンスターは答え難くないが弁解がましい」ということは嘘だとしたら「じっとする」ということは真実だ fact9: もしも「なんらかのモンスターは忘れ難くないけどださい」ということは間違いであるとすれば痩せ難い fact10: 「あのぷえぷいLv.50は答え難くないがしかし弁解がましい」ということは偽である ; $hypothesis$ = そのぷのぷにLv.51は忘れ難くない ; $proof$ = 
fact8 -> int1: もし「あのぷえぷいLv.50は答え難くないけれど弁解がましい」ということは間違っているとしたらじっとする; int1 & fact10 -> int2: あのぷえぷいLv.50はじっとする; int2 & fact2 -> int3: あのぷえぷいLv.50はださい; int3 & fact5 -> int4: そのぷのぷにLv.51は痩せ難い; int4 & fact4 -> hypothesis; __DISPROVED__
fact8 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 & fact10 -> int2: {B}{aa}; int2 & fact2 -> int3: {A}{aa}; int3 & fact5 -> int4: {C}{a}; int4 & fact4 -> hypothesis; __DISPROVED__