このみちょみにLv.66はちぎれ易い
fact1: このぽいぽちゅLv.53は怖くてチェックする fact2: あのぽにょぽにょLv.84は折り曲げる fact3: もし仮にこのみちょみにLv.66が折り曲げるとすればこのみちょみにLv.66はちぎれ易い fact4: もしこのぽいぽちゅLv.53が問うとしたらこのぽいぽちゅLv.53は薄ら寒い fact5: 「そのぷちゅぷにゃLv.41はちぎれ易くない」ということは成り立たない fact6: このぽいぽちゅLv.53はチェックする fact7: もしこのぽいぽちゅLv.53が怖いならばこのぽいぽちゅLv.53は問う fact8: このみちょみにLv.66はチェックする
fact1 -> int1: このぽいぽちゅLv.53は怖い; int1 & fact7 -> int2: このぽいぽちゅLv.53は問う; int2 & fact4 -> int3: このぽいぽちゅLv.53は薄ら寒い;
fact1 -> int1: {A}{a}; int1 & fact7 -> int2: {C}{a}; int2 & fact4 -> int3: {D}{a};
$facts$ = fact1: このぽいぽちゅLv.53は怖くてチェックする fact2: あのぽにょぽにょLv.84は折り曲げる fact3: もし仮にこのみちょみにLv.66が折り曲げるとすればこのみちょみにLv.66はちぎれ易い fact4: もしこのぽいぽちゅLv.53が問うとしたらこのぽいぽちゅLv.53は薄ら寒い fact5: 「そのぷちゅぷにゃLv.41はちぎれ易くない」ということは成り立たない fact6: このぽいぽちゅLv.53はチェックする fact7: もしこのぽいぽちゅLv.53が怖いならばこのぽいぽちゅLv.53は問う fact8: このみちょみにLv.66はチェックする ; $hypothesis$ = このみちょみにLv.66はちぎれ易い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__