そのぷゆぷくLv.0はめぼしくてそれにまあるい
fact1: 「このぽねぽにLv.31は会話らしくない」ということは本当である fact2: もし仮にあるモンスターは煩わしくないとすれば「それは会話らしいけれど辛気臭くない」ということは嘘だ fact3: 仮にそのぷゆぷくLv.0が辛気臭いとすればそのぷゆぷくLv.0はめぼしい fact4: そのもちゃもやLv.71は使い易い fact5: もしそのもちゃもやLv.71が絶え難いとしたらそのぷゆぷくLv.0は辛気臭い fact6: もしもなにがしかのモンスターは会話らしくないとすると「それはめぼしいしそれはまあるい」ということは本当でない fact7: そのぷゆぷくLv.0はまあるい fact8: 「そのもちゃもやLv.71は蒸し暑くて加えて煩わしい」ということは成り立たない fact9: 仮にこのぽねぽにLv.31が会話らしくないならそのもちゃもやLv.71は使い易くてそれは絶え難い
fact9 & fact1 -> int1: そのもちゃもやLv.71は使い易くておまけに絶え難い; int1 -> int2: そのもちゃもやLv.71は絶え難い; int2 & fact5 -> int3: そのぷゆぷくLv.0は辛気臭い; int3 & fact3 -> int4: そのぷゆぷくLv.0はめぼしい; int4 & fact7 -> hypothesis;
fact9 & fact1 -> int1: ({AA}{b} & {AB}{b}); int1 -> int2: {AB}{b}; int2 & fact5 -> int3: {B}{c}; int3 & fact3 -> int4: {C}{c}; int4 & fact7 -> hypothesis;
「そのぷゆぷくLv.0はめぼしいしまあるい」ということは誤りだ
fact12 -> int5: 仮にそのぷゆぷくLv.0は会話らしいということはないなら「それはめぼしくてまたそれはまあるい」ということは誤りだ; fact11 -> int6: もしもこのぽねぽにLv.31は煩わしくないとすれば「「このぽねぽにLv.31は会話らしいが辛気臭くない」ということは成り立つ」ということは偽である; fact10 -> int7: 「「蒸し暑いし加えて煩わしい」ということは誤っている」モンスターはいる;
$facts$ = fact1: 「このぽねぽにLv.31は会話らしくない」ということは本当である fact2: もし仮にあるモンスターは煩わしくないとすれば「それは会話らしいけれど辛気臭くない」ということは嘘だ fact3: 仮にそのぷゆぷくLv.0が辛気臭いとすればそのぷゆぷくLv.0はめぼしい fact4: そのもちゃもやLv.71は使い易い fact5: もしそのもちゃもやLv.71が絶え難いとしたらそのぷゆぷくLv.0は辛気臭い fact6: もしもなにがしかのモンスターは会話らしくないとすると「それはめぼしいしそれはまあるい」ということは本当でない fact7: そのぷゆぷくLv.0はまあるい fact8: 「そのもちゃもやLv.71は蒸し暑くて加えて煩わしい」ということは成り立たない fact9: 仮にこのぽねぽにLv.31が会話らしくないならそのもちゃもやLv.71は使い易くてそれは絶え難い ; $hypothesis$ = そのぷゆぷくLv.0はめぼしくてそれにまあるい ; $proof$ = 
fact9 & fact1 -> int1: そのもちゃもやLv.71は使い易くておまけに絶え難い; int1 -> int2: そのもちゃもやLv.71は絶え難い; int2 & fact5 -> int3: そのぷゆぷくLv.0は辛気臭い; int3 & fact3 -> int4: そのぷゆぷくLv.0はめぼしい; int4 & fact7 -> hypothesis; __PROVED__
fact9 & fact1 -> int1: ({AA}{b} & {AB}{b}); int1 -> int2: {AB}{b}; int2 & fact5 -> int3: {B}{c}; int3 & fact3 -> int4: {C}{c}; int4 & fact7 -> hypothesis; __PROVED__