そのぷやぷにゅLv.39は返りらしいということはない
fact1: もしあのぽちゃぽくLv.98は考え深いとすると「そのぷやぷにゅLv.39は返りらしい」ということは成り立つ fact2: そのぷわぷちゅLv.31は返りらしい fact3: もし「そのぷわぷちゅLv.31は返りらしい」ということは事実ならばそのぷやぷにゅLv.39は美々しい fact4: そのぷわぷちゅLv.31は美々しいしそれに御優しい fact5: そのぷやぷにゅLv.39は考え深い fact6: 「そのぷわぷちゅLv.31は御優しい」ということは本当である fact7: 仮にそのぷわぷちゅLv.31が美々しいとするとあのぽちゃぽくLv.98は考え深い
fact4 -> int1: そのぷわぷちゅLv.31は美々しい; int1 & fact7 -> int2: あのぽちゃぽくLv.98は考え深い; int2 & fact1 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact7 -> int2: {C}{b}; int2 & fact1 -> hypothesis;
$facts$ = fact1: もしあのぽちゃぽくLv.98は考え深いとすると「そのぷやぷにゅLv.39は返りらしい」ということは成り立つ fact2: そのぷわぷちゅLv.31は返りらしい fact3: もし「そのぷわぷちゅLv.31は返りらしい」ということは事実ならばそのぷやぷにゅLv.39は美々しい fact4: そのぷわぷちゅLv.31は美々しいしそれに御優しい fact5: そのぷやぷにゅLv.39は考え深い fact6: 「そのぷわぷちゅLv.31は御優しい」ということは本当である fact7: 仮にそのぷわぷちゅLv.31が美々しいとするとあのぽちゃぽくLv.98は考え深い ; $hypothesis$ = そのぷやぷにゅLv.39は返りらしいということはない ; $proof$ = 
fact4 -> int1: そのぷわぷちゅLv.31は美々しい; int1 & fact7 -> int2: あのぽちゃぽくLv.98は考え深い; int2 & fact1 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{a}; int1 & fact7 -> int2: {C}{b}; int2 & fact1 -> hypothesis; __DISPROVED__