「仮に「余儀無くないかまたは高い」ということは真実でないとすると「言い繕わない」ということは成り立つ」モンスターはいる
fact1: やくざっぽくないかもしくは貧乏臭いかあるいはどちらもであるモンスターは柔らかくない fact2: もし「とあるモンスターは余儀無くないかもしくは高いかあるいは両方ともである」ということは偽であるとしたら「それは言い繕わない」ということは真実だ fact3: もし仮に「そのみやみゆLv.65は忌ま忌ましかないかもしくは固しかまたは両方ともだ」ということは本当でないならばそれは高い fact4: もし「そのもくもくLv.38は高くないかあるいは怯むかまたは両方ともである」ということは誤りであるならばそのもくもくLv.38は配布しない fact5: もし「「このもにもわLv.63は床しくないかもしくはそれは言い繕う」ということは偽である」ということは確かだとすればそれは付け易い fact6: 仮に「なにがしかのモンスターは余儀無いかもしくは高いかまたはどちらもだ」ということは成り立たないとすればそれは言い繕わない
fact2 -> int1: もしも「そのもくもくLv.38は余儀無いということはないかあるいはそれは高いかどちらもだ」ということは成り立たないとしたら「それは言い繕うということはない」ということは事実である; int1 -> hypothesis;
fact2 -> int1: ¬(¬{AA}{aa} v {AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: やくざっぽくないかもしくは貧乏臭いかあるいはどちらもであるモンスターは柔らかくない fact2: もし「とあるモンスターは余儀無くないかもしくは高いかあるいは両方ともである」ということは偽であるとしたら「それは言い繕わない」ということは真実だ fact3: もし仮に「そのみやみゆLv.65は忌ま忌ましかないかもしくは固しかまたは両方ともだ」ということは本当でないならばそれは高い fact4: もし「そのもくもくLv.38は高くないかあるいは怯むかまたは両方ともである」ということは誤りであるならばそのもくもくLv.38は配布しない fact5: もし「「このもにもわLv.63は床しくないかもしくはそれは言い繕う」ということは偽である」ということは確かだとすればそれは付け易い fact6: 仮に「なにがしかのモンスターは余儀無いかもしくは高いかまたはどちらもだ」ということは成り立たないとすればそれは言い繕わない ; $hypothesis$ = 「仮に「余儀無くないかまたは高い」ということは真実でないとすると「言い繕わない」ということは成り立つ」モンスターはいる ; $proof$ = 
fact2 -> int1: もしも「そのもくもくLv.38は余儀無いということはないかあるいはそれは高いかどちらもだ」ということは成り立たないとしたら「それは言い繕うということはない」ということは事実である; int1 -> hypothesis; __PROVED__
fact2 -> int1: ¬(¬{AA}{aa} v {AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis; __PROVED__