このぽにゅぽちゅLv.88は酸い
fact1: このぴえぴえLv.39は守り易い fact2: もし仮にとあるモンスターがこそばゆくないとするとそれは酸いしその上守り易い fact3: もしこのぴえぴえLv.39が守り易いならばこのぽにゅぽちゅLv.88は酸い fact4: もしこのぴえぴえLv.39が酸いならこのぽにゅぽちゅLv.88は守り易い fact5: 仮にこのぽにゅぽちゅLv.88は寒しないならば「このぽにゅぽちゅLv.88は飲み難くないしさらにそれは生臭くない」ということは事実と異なる fact6: もしこのぴえぴえLv.39が確からしくないし著しくないならこのまえまのLv.12はこそばゆいということはない
fact1 -> int1: このぴえぴえLv.39は守り易い; int1 & fact3 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact3 -> hypothesis;
「このまえまのLv.12は守り易い」ということは真実だ
fact7 -> int2: このまえまのLv.12がこそばゆくないならばこのまえまのLv.12は酸くてさらに守り易い;
$facts$ = fact1: このぴえぴえLv.39は守り易い fact2: もし仮にとあるモンスターがこそばゆくないとするとそれは酸いしその上守り易い fact3: もしこのぴえぴえLv.39が守り易いならばこのぽにゅぽちゅLv.88は酸い fact4: もしこのぴえぴえLv.39が酸いならこのぽにゅぽちゅLv.88は守り易い fact5: 仮にこのぽにゅぽちゅLv.88は寒しないならば「このぽにゅぽちゅLv.88は飲み難くないしさらにそれは生臭くない」ということは事実と異なる fact6: もしこのぴえぴえLv.39が確からしくないし著しくないならこのまえまのLv.12はこそばゆいということはない ; $hypothesis$ = このぽにゅぽちゅLv.88は酸い ; $proof$ = 
fact1 -> int1: このぴえぴえLv.39は守り易い; int1 & fact3 -> hypothesis; __PROVED__
fact1 -> int1: {A}{a}; int1 & fact3 -> hypothesis; __PROVED__