「「そのぷくぷよLv.14はじっとするかもしくは弛いかもしくはどちらもである」ということは本当だ」ということは成り立たない
fact1: 仮に「何らかのモンスターは青いしさらにそれは底堅い」ということは成り立たないとすればそれは底堅くない fact2: 「このまえまいLv.26は底堅い」ということは誤っていない fact3: もし仮にこのまえまいLv.26が弛いとすればそのぷくぷよLv.14は底堅い fact4: 仮にこのまえまいLv.26が底堅いとするとそのぷくぷよLv.14はじっとする
fact4 & fact2 -> int1: そのぷくぷよLv.14はじっとする; int1 -> hypothesis;
fact4 & fact2 -> int1: {B}{b}; int1 -> hypothesis;
「「そのぷくぷよLv.14はじっとするかもしくは弛いかもしくはどちらもである」ということは本当だ」ということは成り立たない
fact5 -> int2: 仮に「そのぷくぷよLv.14は青くて加えてそれは底堅い」ということは誤っているとしたらそのぷくぷよLv.14は底堅くない;
$facts$ = fact1: 仮に「何らかのモンスターは青いしさらにそれは底堅い」ということは成り立たないとすればそれは底堅くない fact2: 「このまえまいLv.26は底堅い」ということは誤っていない fact3: もし仮にこのまえまいLv.26が弛いとすればそのぷくぷよLv.14は底堅い fact4: 仮にこのまえまいLv.26が底堅いとするとそのぷくぷよLv.14はじっとする ; $hypothesis$ = 「「そのぷくぷよLv.14はじっとするかもしくは弛いかもしくはどちらもである」ということは本当だ」ということは成り立たない ; $proof$ = 
fact4 & fact2 -> int1: そのぷくぷよLv.14はじっとする; int1 -> hypothesis; __DISPROVED__
fact4 & fact2 -> int1: {B}{b}; int1 -> hypothesis; __DISPROVED__