あのぷなぷにゅLv.9は終了するということはない
fact1: あのぷなぷにゅLv.9はうら若くてそれは処方す fact2: あのぷなぷにゅLv.9がうら若いとするとそれは乾き易いけど粉っぽくない fact3: もしも「このまちょまにゃLv.11は終了するか処方すらないか両方ともだ」ということは事実であるということはないとするとあのぷなぷにゅLv.9は終了する fact4: もしもあのぷなぷにゅLv.9は乾き易いけれど粉っぽいということはないならばそれは終了しない
fact1 -> int1: あのぷなぷにゅLv.9はうら若い; int1 & fact2 -> int2: あのぷなぷにゅLv.9は乾き易いけれど粉っぽくない; int2 & fact4 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact2 -> int2: ({C}{a} & ¬{D}{a}); int2 & fact4 -> hypothesis;
あのぷなぷにゅLv.9は終了する
$facts$ = fact1: あのぷなぷにゅLv.9はうら若くてそれは処方す fact2: あのぷなぷにゅLv.9がうら若いとするとそれは乾き易いけど粉っぽくない fact3: もしも「このまちょまにゃLv.11は終了するか処方すらないか両方ともだ」ということは事実であるということはないとするとあのぷなぷにゅLv.9は終了する fact4: もしもあのぷなぷにゅLv.9は乾き易いけれど粉っぽいということはないならばそれは終了しない ; $hypothesis$ = あのぷなぷにゅLv.9は終了するということはない ; $proof$ = 
fact1 -> int1: あのぷなぷにゅLv.9はうら若い; int1 & fact2 -> int2: あのぷなぷにゅLv.9は乾き易いけれど粉っぽくない; int2 & fact4 -> hypothesis; __PROVED__
fact1 -> int1: {A}{a}; int1 & fact2 -> int2: ({C}{a} & ¬{D}{a}); int2 & fact4 -> hypothesis; __PROVED__