「御寒いということが生じるし更にまちゃまやLv.54事件が起きる」ということは真実であるということはない
fact1: もしも御寒いということは起こらないとすると逃れ出ることおよびまゆまなLv.95事件両方が起きる fact2: ぴやぴにゅLv.47事件が発生する fact3: まちゃまやLv.54事件が発生する fact4: まゆまなLv.95事件が発生するしおまけに御寒いということは発生する fact5: 灯し難いということが生じるなら「娘らしいということではなくてまちゃまやLv.54事件が発生する」ということは誤りである fact6: まゆまなLv.95事件が発生する
fact4 -> int1: 御寒いということが起こる; int1 & fact3 -> hypothesis;
fact4 -> int1: {B}; int1 & fact3 -> hypothesis;
逃れ出ることが起こる
$facts$ = fact1: もしも御寒いということは起こらないとすると逃れ出ることおよびまゆまなLv.95事件両方が起きる fact2: ぴやぴにゅLv.47事件が発生する fact3: まちゃまやLv.54事件が発生する fact4: まゆまなLv.95事件が発生するしおまけに御寒いということは発生する fact5: 灯し難いということが生じるなら「娘らしいということではなくてまちゃまやLv.54事件が発生する」ということは誤りである fact6: まゆまなLv.95事件が発生する ; $hypothesis$ = 「御寒いということが生じるし更にまちゃまやLv.54事件が起きる」ということは真実であるということはない ; $proof$ = 
fact4 -> int1: 御寒いということが起こる; int1 & fact3 -> hypothesis; __DISPROVED__
fact4 -> int1: {B}; int1 & fact3 -> hypothesis; __DISPROVED__