「もし緩み易いということは発生しないとすると緩み易いということではなく素人っぽいということが発生する」ということは成り立たない
fact1: もし緩み易いということが生じるとすれば緩み易いということは発生しないが素人っぽいということが発生する fact2: ぷいぷわLv.9事件が起こる fact3: 「ぷいぷわLv.9事件が起きる」ということは素人っぽいということの原因となる
void -> assump1: 以下のように仮定する。「緩み易いということは起きない」ということは本当だ; fact3 & fact2 -> int1: 素人っぽいということが生じる; assump1 & int1 -> int2: 緩み易いということは起こらないけど素人っぽいということが生じる; [assump1] & int2 -> hypothesis;
void -> assump1: ¬{A}; fact3 & fact2 -> int1: {B}; assump1 & int1 -> int2: (¬{A} & {B}); [assump1] & int2 -> hypothesis;
$facts$ = fact1: もし緩み易いということが生じるとすれば緩み易いということは発生しないが素人っぽいということが発生する fact2: ぷいぷわLv.9事件が起こる fact3: 「ぷいぷわLv.9事件が起きる」ということは素人っぽいということの原因となる ; $hypothesis$ = 「もし緩み易いということは発生しないとすると緩み易いということではなく素人っぽいということが発生する」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。「緩み易いということは起きない」ということは本当だ; fact3 & fact2 -> int1: 素人っぽいということが生じる; assump1 & int1 -> int2: 緩み易いということは起こらないけど素人っぽいということが生じる; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: ¬{A}; fact3 & fact2 -> int1: {B}; assump1 & int1 -> int2: (¬{A} & {B}); [assump1] & int2 -> hypothesis; __DISPROVED__