焦げ臭いということは発生するけれどぷちゅぷくLv.30事件は発生しない
fact1: いじましいということが生じる fact2: まくまにLv.43事件は発生しない fact3: 焦げ臭いということが起きる fact4: 「情けないということが生じる」ということは偽でない fact5: 焦げ臭いということは生じないということは形容し難いということは生じないということが契機である fact6: まくまにLv.43事件がぷちゅぷくLv.30事件は原因である fact7: ぽえぽわLv.99事件が起こる fact8: もし仮にぽやぽのLv.80事件かまたは遣る瀬無いということが発生すれば形容し難いということは起きない
void -> assump1: 以下のように仮定する。ぷちゅぷくLv.30事件が起こる; fact6 & assump1 -> int1: まくまにLv.43事件が生じる; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: ぷちゅぷくLv.30事件は発生しない; int3 & fact3 -> hypothesis;
void -> assump1: {A}; fact6 & assump1 -> int1: {B}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}; int3 & fact3 -> hypothesis;
「焦げ臭いということが起きるがぷちゅぷくLv.30事件は起きない」ということは成り立たない
 -> hypothesis;
$facts$ = fact1: いじましいということが生じる fact2: まくまにLv.43事件は発生しない fact3: 焦げ臭いということが起きる fact4: 「情けないということが生じる」ということは偽でない fact5: 焦げ臭いということは生じないということは形容し難いということは生じないということが契機である fact6: まくまにLv.43事件がぷちゅぷくLv.30事件は原因である fact7: ぽえぽわLv.99事件が起こる fact8: もし仮にぽやぽのLv.80事件かまたは遣る瀬無いということが発生すれば形容し難いということは起きない ; $hypothesis$ = 焦げ臭いということは発生するけれどぷちゅぷくLv.30事件は発生しない ; $proof$ = 
void -> assump1: 以下のように仮定する。ぷちゅぷくLv.30事件が起こる; fact6 & assump1 -> int1: まくまにLv.43事件が生じる; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: ぷちゅぷくLv.30事件は発生しない; int3 & fact3 -> hypothesis; __PROVED__
void -> assump1: {A}; fact6 & assump1 -> int1: {B}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}; int3 & fact3 -> hypothesis; __PROVED__