このぽちょぽのLv.83は聞こえ難い
fact1: そのもなもいLv.38は言い触らさない fact2: もしあのぴよぴやLv.63が言い触らさないならばこのぽちょぽのLv.83は百姓らしいし加えて言い訳出来る fact3: 百姓らしいモンスターは座り易い fact4: あらゆるモンスターは腫れぼったい fact5: そのもなもいLv.38が言い触らさないかあるいはそれが横滑りしないかどちらもだとしたらあのぴよぴやLv.63は言い触らさない fact6: 全てのモンスターは聞こえ難い
fact6 -> int1: 全てのモンスターは聞こえ難い; int1 -> hypothesis;
fact6 -> int1: (x): {A}x; int1 -> hypothesis;
あのぽにょぽいLv.30は聞こえ難い
fact10 -> int2: もし仮にこのぽちょぽのLv.83が百姓らしいならそれは座り易い; fact7 -> int3: そのもなもいLv.38は言い触らさないかもしくはそれは横滑りしない; fact9 & int3 -> int4: あのぴよぴやLv.63は言い触らすということはない; fact8 & int4 -> int5: このぽちょぽのLv.83は百姓らしいし加えてそれは言い訳出来る; int5 -> int6: 「このぽちょぽのLv.83は百姓らしい」ということは本当である; int2 & int6 -> int7: このぽちょぽのLv.83は座り易い; int7 -> int8: 「座り易い」モンスターはいる;
$facts$ = fact1: そのもなもいLv.38は言い触らさない fact2: もしあのぴよぴやLv.63が言い触らさないならばこのぽちょぽのLv.83は百姓らしいし加えて言い訳出来る fact3: 百姓らしいモンスターは座り易い fact4: あらゆるモンスターは腫れぼったい fact5: そのもなもいLv.38が言い触らさないかあるいはそれが横滑りしないかどちらもだとしたらあのぴよぴやLv.63は言い触らさない fact6: 全てのモンスターは聞こえ難い ; $hypothesis$ = このぽちょぽのLv.83は聞こえ難い ; $proof$ = 
fact6 -> int1: 全てのモンスターは聞こえ難い; int1 -> hypothesis; __PROVED__
fact6 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__