早しということはぷいぷくLv.27事件により生じる
fact1: もしも大人しいということが発生すれば早しということが生じる fact2: 「大人しいということは起きない」ということはぎごちないということに阻まれる fact3: ぷいぷくLv.27事件は「ぎごちないということは発生しない」ということを防ぐ
void -> assump1: 以下のように仮定する。ぷいぷくLv.27事件が生じる; fact3 & assump1 -> int1: 「ぎごちないということが生じる」ということは偽でない; int1 & fact2 -> int2: 「大人しいということは起きない」ということは誤りだ; int2 & fact1 -> int3: 「早しということが生じる」ということは本当である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; fact3 & assump1 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact1 -> int3: {D}; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もしも大人しいということが発生すれば早しということが生じる fact2: 「大人しいということは起きない」ということはぎごちないということに阻まれる fact3: ぷいぷくLv.27事件は「ぎごちないということは発生しない」ということを防ぐ ; $hypothesis$ = 早しということはぷいぷくLv.27事件により生じる ; $proof$ = 
void -> assump1: 以下のように仮定する。ぷいぷくLv.27事件が生じる; fact3 & assump1 -> int1: 「ぎごちないということが生じる」ということは偽でない; int1 & fact2 -> int2: 「大人しいということは起きない」ということは誤りだ; int2 & fact1 -> int3: 「早しということが生じる」ということは本当である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}; fact3 & assump1 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact1 -> int3: {D}; [assump1] & int3 -> hypothesis; __PROVED__