「溜め込み易いということは与え易いということを防ぐ」ということは事実と異なる
fact1: 溜め込み易いということかまたはぽにゃぽよLv.87事件は与え易いということを阻む fact2: 厳ついということは「手緩いということは起きない」ということを引き起こす fact3: 手緩いということか見境無いということかもしくは両方はみよみなLv.46事件を阻む
void -> assump1: 以下のように仮定する。溜め込み易いということが生じる; assump1 -> int1: 溜め込み易いということが生じるかまたはぽにゃぽよLv.87事件が起きるかもしくはどちらもだ; int1 & fact1 -> int2: 与え易いということは起きない; [assump1] & int2 -> hypothesis;
void -> assump1: {A}; assump1 -> int1: ({A} v {B}); int1 & fact1 -> int2: ¬{C}; [assump1] & int2 -> hypothesis;
$facts$ = fact1: 溜め込み易いということかまたはぽにゃぽよLv.87事件は与え易いということを阻む fact2: 厳ついということは「手緩いということは起きない」ということを引き起こす fact3: 手緩いということか見境無いということかもしくは両方はみよみなLv.46事件を阻む ; $hypothesis$ = 「溜め込み易いということは与え易いということを防ぐ」ということは事実と異なる ; $proof$ = 
void -> assump1: 以下のように仮定する。溜め込み易いということが生じる; assump1 -> int1: 溜め込み易いということが生じるかまたはぽにゃぽよLv.87事件が起きるかもしくはどちらもだ; int1 & fact1 -> int2: 与え易いということは起きない; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: {A}; assump1 -> int1: ({A} v {B}); int1 & fact1 -> int2: ¬{C}; [assump1] & int2 -> hypothesis; __DISPROVED__