そのぽなぽちゅLv.13はあくどくない
fact1: もし仮にこのぷゆぷにょLv.25が掛け過ぎるとすればそのぴにゃぴえLv.47は狭小化する fact2: このぷゆぷにょLv.25は姉らしいしおまけにそれは掛け過ぎる fact3: 仮になにがしかのモンスターが含めるとすると狭小化する fact4: もしもそのぴにゃぴえLv.47が伝承しないならばこのぷゆぷにょLv.25は含めるしそれは立ち往生する fact5: もしもそのぴにゃぴえLv.47は狭小化すれば「そのぽなぽちゅLv.13は含める」ということは事実だ fact6: 「もし仮に何らかのモンスターが狭小化するとすると姉らしいかまたは掛け過ぎないかまたは両方だ」ということは誤りだということはない fact7: 「このぷゆぷにょLv.25は姉らしい」ということは本当である fact8: 仮にそのぽなぽちゅLv.13が含めるとしたらそれは立ち往生する fact9: もしそのぽなぽちゅLv.13が立ち往生するならあくどい
fact2 -> int1: このぷゆぷにょLv.25は掛け過ぎる; int1 & fact1 -> int2: そのぴにゃぴえLv.47は狭小化する; int2 & fact5 -> int3: そのぽなぽちゅLv.13は含める; int3 & fact8 -> int4: そのぽなぽちゅLv.13は立ち往生する; int4 & fact9 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact5 -> int3: {D}{c}; int3 & fact8 -> int4: {E}{c}; int4 & fact9 -> hypothesis;
そのぽなぽちゅLv.13はあくどくない
fact10 -> int5: もしこのぷゆぷにょLv.25は狭小化するとすれば「このぷゆぷにょLv.25は姉らしいかもしくは掛け過ぎない」ということは確かである; fact11 -> int6: もしもこのぷゆぷにょLv.25が含めるとするとそれは狭小化する;
$facts$ = fact1: もし仮にこのぷゆぷにょLv.25が掛け過ぎるとすればそのぴにゃぴえLv.47は狭小化する fact2: このぷゆぷにょLv.25は姉らしいしおまけにそれは掛け過ぎる fact3: 仮になにがしかのモンスターが含めるとすると狭小化する fact4: もしもそのぴにゃぴえLv.47が伝承しないならばこのぷゆぷにょLv.25は含めるしそれは立ち往生する fact5: もしもそのぴにゃぴえLv.47は狭小化すれば「そのぽなぽちゅLv.13は含める」ということは事実だ fact6: 「もし仮に何らかのモンスターが狭小化するとすると姉らしいかまたは掛け過ぎないかまたは両方だ」ということは誤りだということはない fact7: 「このぷゆぷにょLv.25は姉らしい」ということは本当である fact8: 仮にそのぽなぽちゅLv.13が含めるとしたらそれは立ち往生する fact9: もしそのぽなぽちゅLv.13が立ち往生するならあくどい ; $hypothesis$ = そのぽなぽちゅLv.13はあくどくない ; $proof$ = 
fact2 -> int1: このぷゆぷにょLv.25は掛け過ぎる; int1 & fact1 -> int2: そのぴにゃぴえLv.47は狭小化する; int2 & fact5 -> int3: そのぽなぽちゅLv.13は含める; int3 & fact8 -> int4: そのぽなぽちゅLv.13は立ち往生する; int4 & fact9 -> hypothesis; __DISPROVED__
fact2 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact5 -> int3: {D}{c}; int3 & fact8 -> int4: {E}{c}; int4 & fact9 -> hypothesis; __DISPROVED__