「「あのぷちゃぷよLv.39はちっこいしかつそれは疑い深い」ということは成り立たない」ということは成り立つ
fact1: あのみちゅみいLv.64はちっこい fact2: もしもあのぷちゃぷよLv.39が果てし無いとするとそれはちっこい fact3: あのぷちゃぷよLv.39は疑い深い fact4: あのみちゅみいLv.64は監視し易いししかも発明する fact5: 仮にあのみちゅみいLv.64が監視し易いならあのぷちゃぷよLv.39は果てし無い
fact4 -> int1: あのみちゅみいLv.64は監視し易い; fact5 & int1 -> int2: あのぷちゃぷよLv.39は果てし無い; int2 & fact2 -> int3: あのぷちゃぷよLv.39はちっこい; int3 & fact3 -> hypothesis;
fact4 -> int1: {A}{a}; fact5 & int1 -> int2: {B}{b}; int2 & fact2 -> int3: {C}{b}; int3 & fact3 -> hypothesis;
$facts$ = fact1: あのみちゅみいLv.64はちっこい fact2: もしもあのぷちゃぷよLv.39が果てし無いとするとそれはちっこい fact3: あのぷちゃぷよLv.39は疑い深い fact4: あのみちゅみいLv.64は監視し易いししかも発明する fact5: 仮にあのみちゅみいLv.64が監視し易いならあのぷちゃぷよLv.39は果てし無い ; $hypothesis$ = 「「あのぷちゃぷよLv.39はちっこいしかつそれは疑い深い」ということは成り立たない」ということは成り立つ ; $proof$ = 
fact4 -> int1: あのみちゅみいLv.64は監視し易い; fact5 & int1 -> int2: あのぷちゃぷよLv.39は果てし無い; int2 & fact2 -> int3: あのぷちゃぷよLv.39はちっこい; int3 & fact3 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{a}; fact5 & int1 -> int2: {B}{b}; int2 & fact2 -> int3: {C}{b}; int3 & fact3 -> hypothesis; __DISPROVED__