侘しいということが起こる
fact1: 仮にぴえぴなLv.74事件が発生しないなら免れ難いということが生じるしぴえぴなLv.74事件は発生しない fact2: 寒ーいということが起きる fact3: もし仮に寒ーいということは発生しないとすれば侘しいということが生じるしまた狭しということが起きる fact4: もし仮に免れ難いということが起きるがぴえぴなLv.74事件は発生しないならば侘しいということは発生しない fact5: 「狭しということおよび寒ーいということ両方が生じる」ということはぴえぴなLv.74事件が発生するということを防ぐ fact6: 仮に変うことが生じれば免れ難いということが生じる fact7: 狭しということが起きる
fact7 & fact2 -> int1: 狭しということと寒ーいということ両方が生じる; int1 & fact5 -> int2: ぴえぴなLv.74事件は生じない; int2 & fact1 -> int3: 免れ難いということが生じるけどぴえぴなLv.74事件は起こらない; int3 & fact4 -> hypothesis;
fact7 & fact2 -> int1: ({A} & {B}); int1 & fact5 -> int2: ¬{C}; int2 & fact1 -> int3: ({D} & ¬{C}); int3 & fact4 -> hypothesis;
侘しいということが起こる
$facts$ = fact1: 仮にぴえぴなLv.74事件が発生しないなら免れ難いということが生じるしぴえぴなLv.74事件は発生しない fact2: 寒ーいということが起きる fact3: もし仮に寒ーいということは発生しないとすれば侘しいということが生じるしまた狭しということが起きる fact4: もし仮に免れ難いということが起きるがぴえぴなLv.74事件は発生しないならば侘しいということは発生しない fact5: 「狭しということおよび寒ーいということ両方が生じる」ということはぴえぴなLv.74事件が発生するということを防ぐ fact6: 仮に変うことが生じれば免れ難いということが生じる fact7: 狭しということが起きる ; $hypothesis$ = 侘しいということが起こる ; $proof$ = 
fact7 & fact2 -> int1: 狭しということと寒ーいということ両方が生じる; int1 & fact5 -> int2: ぴえぴなLv.74事件は生じない; int2 & fact1 -> int3: 免れ難いということが生じるけどぴえぴなLv.74事件は起こらない; int3 & fact4 -> hypothesis; __DISPROVED__
fact7 & fact2 -> int1: ({A} & {B}); int1 & fact5 -> int2: ¬{C}; int2 & fact1 -> int3: ({D} & ¬{C}); int3 & fact4 -> hypothesis; __DISPROVED__