あのぽくぽちゃLv.80は晴れがましかない
fact1: もし仮にこのぴにゅぴなLv.20がランクするならこのぴにゅぴなLv.20は歌い終える fact2: もしこのぴにゅぴなLv.20が歌い終えるとするとあのぽくぽちゃLv.80は晴れがましい fact3: もしも「このみわみちゅLv.81は人間っぽい」ということは真実だとすればこのぴにゅぴなLv.20はランクする fact4: このぴにゅぴなLv.20は同伴する fact5: 仮にこのまちゃまくLv.37が開き過ぎるということはないならこのみわみちゅLv.81は人間っぽいししかも所狭し fact6: このまちゃまくLv.37は開き過ぎない fact7: もしもこのまちゃまくLv.37が晴れがましくらないとするとこのぴにゅぴなLv.20は歌い終えるししかも開き過ぎる
fact5 & fact6 -> int1: このみわみちゅLv.81は人間っぽくて加えて所狭し; int1 -> int2: このみわみちゅLv.81は人間っぽい; int2 & fact3 -> int3: 「このぴにゅぴなLv.20はランクする」ということは成り立つ; int3 & fact1 -> int4: このぴにゅぴなLv.20は歌い終える; int4 & fact2 -> hypothesis;
fact5 & fact6 -> int1: ({AA}{b} & {AB}{b}); int1 -> int2: {AA}{b}; int2 & fact3 -> int3: {B}{c}; int3 & fact1 -> int4: {C}{c}; int4 & fact2 -> hypothesis;
$facts$ = fact1: もし仮にこのぴにゅぴなLv.20がランクするならこのぴにゅぴなLv.20は歌い終える fact2: もしこのぴにゅぴなLv.20が歌い終えるとするとあのぽくぽちゃLv.80は晴れがましい fact3: もしも「このみわみちゅLv.81は人間っぽい」ということは真実だとすればこのぴにゅぴなLv.20はランクする fact4: このぴにゅぴなLv.20は同伴する fact5: 仮にこのまちゃまくLv.37が開き過ぎるということはないならこのみわみちゅLv.81は人間っぽいししかも所狭し fact6: このまちゃまくLv.37は開き過ぎない fact7: もしもこのまちゃまくLv.37が晴れがましくらないとするとこのぴにゅぴなLv.20は歌い終えるししかも開き過ぎる ; $hypothesis$ = あのぽくぽちゃLv.80は晴れがましかない ; $proof$ = 
fact5 & fact6 -> int1: このみわみちゅLv.81は人間っぽくて加えて所狭し; int1 -> int2: このみわみちゅLv.81は人間っぽい; int2 & fact3 -> int3: 「このぴにゅぴなLv.20はランクする」ということは成り立つ; int3 & fact1 -> int4: このぴにゅぴなLv.20は歌い終える; int4 & fact2 -> hypothesis; __DISPROVED__
fact5 & fact6 -> int1: ({AA}{b} & {AB}{b}); int1 -> int2: {AA}{b}; int2 & fact3 -> int3: {B}{c}; int3 & fact1 -> int4: {C}{c}; int4 & fact2 -> hypothesis; __DISPROVED__