「「そのみのみちゅLv.41ががなり立てないとしたらそのみのみちゅLv.41は信じ易い一方でがなり立てない」ということは確かである」ということは成り立つということはない
fact1: 「このぷちゅぷわLv.89は御思う」ということは成り立つとしたらそのみのみちゅLv.41は信じ易い fact2: 「あのもにものLv.14は底堅い」ということは本当であるとしたらこのぷちゅぷわLv.89は御思う fact3: 「あのもにものLv.14は底堅い」ということは真実である
fact2 & fact3 -> int1: このぷちゅぷわLv.89は御思う; int1 & fact1 -> int2: そのみのみちゅLv.41は信じ易い; void -> assump1: 以下のように仮定する。そのみのみちゅLv.41はがなり立てない; int2 & assump1 -> int3: そのみのみちゅLv.41は信じ易いががなり立てない; [assump1] & int3 -> hypothesis;
fact2 & fact3 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{c}; void -> assump1: ¬{D}{c}; int2 & assump1 -> int3: ({C}{c} & ¬{D}{c}); [assump1] & int3 -> hypothesis;
$facts$ = fact1: 「このぷちゅぷわLv.89は御思う」ということは成り立つとしたらそのみのみちゅLv.41は信じ易い fact2: 「あのもにものLv.14は底堅い」ということは本当であるとしたらこのぷちゅぷわLv.89は御思う fact3: 「あのもにものLv.14は底堅い」ということは真実である ; $hypothesis$ = 「「そのみのみちゅLv.41ががなり立てないとしたらそのみのみちゅLv.41は信じ易い一方でがなり立てない」ということは確かである」ということは成り立つということはない ; $proof$ = 
fact2 & fact3 -> int1: このぷちゅぷわLv.89は御思う; int1 & fact1 -> int2: そのみのみちゅLv.41は信じ易い; void -> assump1: 以下のように仮定する。そのみのみちゅLv.41はがなり立てない; int2 & assump1 -> int3: そのみのみちゅLv.41は信じ易いががなり立てない; [assump1] & int3 -> hypothesis; __DISPROVED__
fact2 & fact3 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{c}; void -> assump1: ¬{D}{c}; int2 & assump1 -> int3: ({C}{c} & ¬{D}{c}); [assump1] & int3 -> hypothesis; __DISPROVED__