このぷにゃぷのLv.76は弾き易いしさらに寂しい
fact1: このぷにぷゆLv.84は寂しいかまたは打っ壊すか両方だ fact2: 「仮に「このもねもやLv.28は生き易くない」ということは成り立つとするとこのもねもやLv.28は打っ壊すし古臭い」ということは真実である fact3: このぷにゃぷのLv.76は詮無い fact4: もしもこのぷにぷゆLv.84が打っ壊すとすればこのぷにゃぷのLv.76は寂しい fact5: あらゆるモンスターは詮無い fact6: 仮にこのぷにぷゆLv.84は詮無いということはないなら「このぷにゃぷのLv.76は弾き易いしそれは寂しい」ということは間違いである fact7: 仮に「このもねもやLv.28は寂しい」ということは成り立つとしたらこのぷにぷゆLv.84は寂しい fact8: 全てのモンスターは弾き易くて更に詮無い fact9: もしもこのぷにぷゆLv.84が寂しいならばこのぷにゃぷのLv.76は寂しい
fact8 -> int1: このぷにゃぷのLv.76は弾き易くてかつ詮無い; int1 -> int2: このぷにゃぷのLv.76は弾き易い; fact1 & fact4 & fact9 -> int3: このぷにゃぷのLv.76は寂しい; int2 & int3 -> hypothesis;
fact8 -> int1: ({A}{aa} & {B}{aa}); int1 -> int2: {A}{aa}; fact1 & fact4 & fact9 -> int3: {C}{aa}; int2 & int3 -> hypothesis;
「このぽちょぽちゅLv.15は弾き易い」ということは成り立つ
$facts$ = fact1: このぷにぷゆLv.84は寂しいかまたは打っ壊すか両方だ fact2: 「仮に「このもねもやLv.28は生き易くない」ということは成り立つとするとこのもねもやLv.28は打っ壊すし古臭い」ということは真実である fact3: このぷにゃぷのLv.76は詮無い fact4: もしもこのぷにぷゆLv.84が打っ壊すとすればこのぷにゃぷのLv.76は寂しい fact5: あらゆるモンスターは詮無い fact6: 仮にこのぷにぷゆLv.84は詮無いということはないなら「このぷにゃぷのLv.76は弾き易いしそれは寂しい」ということは間違いである fact7: 仮に「このもねもやLv.28は寂しい」ということは成り立つとしたらこのぷにぷゆLv.84は寂しい fact8: 全てのモンスターは弾き易くて更に詮無い fact9: もしもこのぷにぷゆLv.84が寂しいならばこのぷにゃぷのLv.76は寂しい ; $hypothesis$ = このぷにゃぷのLv.76は弾き易いしさらに寂しい ; $proof$ = 
fact8 -> int1: このぷにゃぷのLv.76は弾き易くてかつ詮無い; int1 -> int2: このぷにゃぷのLv.76は弾き易い; fact1 & fact4 & fact9 -> int3: このぷにゃぷのLv.76は寂しい; int2 & int3 -> hypothesis; __PROVED__
fact8 -> int1: ({A}{aa} & {B}{aa}); int1 -> int2: {A}{aa}; fact1 & fact4 & fact9 -> int3: {C}{aa}; int2 & int3 -> hypothesis; __PROVED__