世知辛いということは起きない
fact1: 親しいということが起こる fact2: もし「世知辛いということではなく申告調整することが発生する」ということは成り立つということはないならば申告調整することは起きない fact3: 「如此しということは発生しない」ということは「親しいということおよび世知辛いということが発生する」ということにより発生する fact4: 「如此しということが発生する」ということは成り立つ
void -> assump1: 以下のように仮定する。世知辛いということが起こる; fact1 & assump1 -> int1: 親しいということが起こるしそれに世知辛いということが起きる; int1 & fact3 -> int2: 如此しということは起こらない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}; fact1 & assump1 -> int1: ({A} & {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis;
申告調整することは起こらない
$facts$ = fact1: 親しいということが起こる fact2: もし「世知辛いということではなく申告調整することが発生する」ということは成り立つということはないならば申告調整することは起きない fact3: 「如此しということは発生しない」ということは「親しいということおよび世知辛いということが発生する」ということにより発生する fact4: 「如此しということが発生する」ということは成り立つ ; $hypothesis$ = 世知辛いということは起きない ; $proof$ = 
void -> assump1: 以下のように仮定する。世知辛いということが起こる; fact1 & assump1 -> int1: 親しいということが起こるしそれに世知辛いということが起きる; int1 & fact3 -> int2: 如此しということは起こらない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {B}; fact1 & assump1 -> int1: ({A} & {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__