もし苦しということは発生しないならば苦しということは発生しない一方で打ち合わせることが起きる
fact1: 打ち合わせることが発生する
void -> assump1: 以下のように仮定する。苦しということは発生しない; assump1 & fact1 -> int1: 苦しということは発生しないが打ち合わせることが起きる; [assump1] & int1 -> hypothesis;
void -> assump1: ¬{A}; assump1 & fact1 -> int1: (¬{A} & {B}); [assump1] & int1 -> hypothesis;
$facts$ = fact1: 打ち合わせることが発生する ; $hypothesis$ = もし苦しということは発生しないならば苦しということは発生しない一方で打ち合わせることが起きる ; $proof$ = 
void -> assump1: 以下のように仮定する。苦しということは発生しない; assump1 & fact1 -> int1: 苦しということは発生しないが打ち合わせることが起きる; [assump1] & int1 -> hypothesis; __PROVED__
void -> assump1: ¬{A}; assump1 & fact1 -> int1: (¬{A} & {B}); [assump1] & int1 -> hypothesis; __PROVED__