以下のように仮定する。暗いということが起きる
fact1: 暗いということとさり気無いということが起きるは固しということを回避する fact2: さり気無いということが発生する
void -> assump1: 以下のように仮定する。暗いということが起きる; assump1 & fact2 -> int1: 暗いということとさり気無いということ両方ともが発生する; int1 & fact1 -> int2: 固しということは発生しない;
void -> assump1: {A}; assump1 & fact2 -> int1: ({A} & {B}); int1 & fact1 -> int2: ¬{C};
$facts$ = fact1: 暗いということとさり気無いということが起きるは固しということを回避する fact2: さり気無いということが発生する ; $hypothesis$ = 以下のように仮定する。暗いということが起きる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__