このぷなぷちゅLv.69は久しい
fact1: 仮にこのぷなぷちゅLv.69が如此しないとするとこのぷなぷちゅLv.69は久しい fact2: もし仮にこのぷなぷちゅLv.69が重たくないならそれは如此しない fact3: 「理解し得る」モンスターはいる fact4: そのぽくぽにょLv.8は下ろし易くない fact5: そのぽくぽにょLv.8は理解し得る fact6: もしも下ろし易くないモンスターであり加えて理解し得るモンスターがいるならこのぷなぷちゅLv.69は重たくない
fact4 & fact5 -> int1: そのぽくぽにょLv.8は下ろし易くないが理解し得る; int1 -> int2: 「あるモンスターは下ろし易くないけど理解し得る」ということは本当だ; int2 & fact6 -> int3: このぷなぷちゅLv.69は重たくない; int3 & fact2 -> int4: このぷなぷちゅLv.69は如此しということはない; int4 & fact1 -> hypothesis;
fact4 & fact5 -> int1: (¬{A}{a} & {B}{a}); int1 -> int2: (Ex): (¬{A}x & {B}x); int2 & fact6 -> int3: ¬{C}{b}; int3 & fact2 -> int4: ¬{D}{b}; int4 & fact1 -> hypothesis;
$facts$ = fact1: 仮にこのぷなぷちゅLv.69が如此しないとするとこのぷなぷちゅLv.69は久しい fact2: もし仮にこのぷなぷちゅLv.69が重たくないならそれは如此しない fact3: 「理解し得る」モンスターはいる fact4: そのぽくぽにょLv.8は下ろし易くない fact5: そのぽくぽにょLv.8は理解し得る fact6: もしも下ろし易くないモンスターであり加えて理解し得るモンスターがいるならこのぷなぷちゅLv.69は重たくない ; $hypothesis$ = このぷなぷちゅLv.69は久しい ; $proof$ = 
fact4 & fact5 -> int1: そのぽくぽにょLv.8は下ろし易くないが理解し得る; int1 -> int2: 「あるモンスターは下ろし易くないけど理解し得る」ということは本当だ; int2 & fact6 -> int3: このぷなぷちゅLv.69は重たくない; int3 & fact2 -> int4: このぷなぷちゅLv.69は如此しということはない; int4 & fact1 -> hypothesis; __PROVED__
fact4 & fact5 -> int1: (¬{A}{a} & {B}{a}); int1 -> int2: (Ex): (¬{A}x & {B}x); int2 & fact6 -> int3: ¬{C}{b}; int3 & fact2 -> int4: ¬{D}{b}; int4 & fact1 -> hypothesis; __PROVED__