「もみもみすることは起きないということは「「血腥いということおよび話し辛いということが発生する」ということは成り立つ」ということに引き起こされる」ということは正しくない
fact1: もみもみすることが発生する fact2: 腹黒いということが起こる fact3: もし血腥いということが起こるしまた腹黒いということが生じるとしたらもみもみすることは発生しない
void -> assump1: 以下のように仮定する。血腥いということおよび話し辛いということどちらもが起こる; assump1 -> int1: 血腥いということが生じる; int1 & fact2 -> int2: 血腥いということが生じるしさらに腹黒いということが起きる; int2 & fact3 -> int3: もみもみすることは起きない; [assump1] & int3 -> hypothesis;
void -> assump1: ({A} & {B}); assump1 -> int1: {A}; int1 & fact2 -> int2: ({A} & {C}); int2 & fact3 -> int3: ¬{D}; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もみもみすることが発生する fact2: 腹黒いということが起こる fact3: もし血腥いということが起こるしまた腹黒いということが生じるとしたらもみもみすることは発生しない ; $hypothesis$ = 「もみもみすることは起きないということは「「血腥いということおよび話し辛いということが発生する」ということは成り立つ」ということに引き起こされる」ということは正しくない ; $proof$ = 
void -> assump1: 以下のように仮定する。血腥いということおよび話し辛いということどちらもが起こる; assump1 -> int1: 血腥いということが生じる; int1 & fact2 -> int2: 血腥いということが生じるしさらに腹黒いということが起きる; int2 & fact3 -> int3: もみもみすることは起きない; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: ({A} & {B}); assump1 -> int1: {A}; int1 & fact2 -> int2: ({A} & {C}); int2 & fact3 -> int3: ¬{D}; [assump1] & int3 -> hypothesis; __DISPROVED__