灯し難いということが生じるがしかし観光客らしいということは発生しない
fact1: 予測し易いということとぴねぴゆLv.44事件が生じる fact2: 灯し難いということが起きる fact3: もし仮にぴのぴやLv.21事件は発生しないとすると「ぴねぴゆLv.44事件は生じないしかつ予測し易いということは生じない」ということは誤っている fact4: か細いということが生じる fact5: ぴのぴやLv.21事件は生じないということはぴねぴゆLv.44事件に阻まれる fact6: 仮に「ぴねぴゆLv.44事件は起きないしおまけに予測し易いということは起きない」ということは誤りであるとしたら予測し易いということが起きる fact7: 「か細いということが起こるしさらにぴのぴやLv.21事件が起こる」ということは観光客らしいということが生じるということを防ぐ
fact1 -> int1: ぴねぴゆLv.44事件が起こる; int1 & fact5 -> int2: ぴのぴやLv.21事件が生じる; int2 & fact4 -> int3: か細いということおよびぴのぴやLv.21事件どちらもが起きる; int3 & fact7 -> int4: 観光客らしいということは発生しない; int4 & fact2 -> hypothesis;
fact1 -> int1: {B}; int1 & fact5 -> int2: {C}; int2 & fact4 -> int3: ({D} & {C}); int3 & fact7 -> int4: ¬{E}; int4 & fact2 -> hypothesis;
「「灯し難いということが起こる一方で観光客らしいということは発生しない」ということは成り立たない」ということは事実だ
$facts$ = fact1: 予測し易いということとぴねぴゆLv.44事件が生じる fact2: 灯し難いということが起きる fact3: もし仮にぴのぴやLv.21事件は発生しないとすると「ぴねぴゆLv.44事件は生じないしかつ予測し易いということは生じない」ということは誤っている fact4: か細いということが生じる fact5: ぴのぴやLv.21事件は生じないということはぴねぴゆLv.44事件に阻まれる fact6: 仮に「ぴねぴゆLv.44事件は起きないしおまけに予測し易いということは起きない」ということは誤りであるとしたら予測し易いということが起きる fact7: 「か細いということが起こるしさらにぴのぴやLv.21事件が起こる」ということは観光客らしいということが生じるということを防ぐ ; $hypothesis$ = 灯し難いということが生じるがしかし観光客らしいということは発生しない ; $proof$ = 
fact1 -> int1: ぴねぴゆLv.44事件が起こる; int1 & fact5 -> int2: ぴのぴやLv.21事件が生じる; int2 & fact4 -> int3: か細いということおよびぴのぴやLv.21事件どちらもが起きる; int3 & fact7 -> int4: 観光客らしいということは発生しない; int4 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {B}; int1 & fact5 -> int2: {C}; int2 & fact4 -> int3: ({D} & {C}); int3 & fact7 -> int4: ¬{E}; int4 & fact2 -> hypothesis; __PROVED__