「吸い尽くすことが発生しないならば吸い尽くすことではなくて御出迎えることは発生する」ということは間違っている
fact1: 御出迎えることが発生するしさらにでっかいということが起きる
fact1 -> int1: 御出迎えることが起こる; void -> assump1: 以下のように仮定する。「吸い尽くすことは起きない」ということは事実である; int1 & assump1 -> int2: 吸い尽くすことは起きないがしかし御出迎えることが生じる; [assump1] & int2 -> hypothesis;
fact1 -> int1: {A}; void -> assump1: ¬{C}; int1 & assump1 -> int2: (¬{C} & {A}); [assump1] & int2 -> hypothesis;
$facts$ = fact1: 御出迎えることが発生するしさらにでっかいということが起きる ; $hypothesis$ = 「吸い尽くすことが発生しないならば吸い尽くすことではなくて御出迎えることは発生する」ということは間違っている ; $proof$ = 
fact1 -> int1: 御出迎えることが起こる; void -> assump1: 以下のように仮定する。「吸い尽くすことは起きない」ということは事実である; int1 & assump1 -> int2: 吸い尽くすことは起きないがしかし御出迎えることが生じる; [assump1] & int2 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}; void -> assump1: ¬{C}; int1 & assump1 -> int2: (¬{C} & {A}); [assump1] & int2 -> hypothesis; __DISPROVED__