この届け出用紙は交配しないかまたは酵素作用でないかもしくは両方である
fact1: もしも「そのドラム缶は存続す」ということは確かであるならば「この届け出用紙は交配しないか酵素作用でないかもしくは両方ともである」ということは本当である fact2: そのドラム缶はセキュリティ管理だしそれに存続す
fact2 -> int1: そのドラム缶は存続す; int1 & fact1 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: もしも「そのドラム缶は存続す」ということは確かであるならば「この届け出用紙は交配しないか酵素作用でないかもしくは両方ともである」ということは本当である fact2: そのドラム缶はセキュリティ管理だしそれに存続す ; $hypothesis$ = この届け出用紙は交配しないかまたは酵素作用でないかもしくは両方である ; $proof$ = 
fact2 -> int1: そのドラム缶は存続す; int1 & fact1 -> hypothesis; __PROVED__
事実1: もしも「そのドラム缶は存続す」ということは確かであるならば「この届け出用紙は交配しないか酵素作用でないかもしくは両方ともである」ということは本当である
事実2: そのドラム缶はセキュリティ管理だしそれに存続す

仮説: この届け出用紙は交配しないかまたは酵素作用でないかもしくは両方である
1. 事実2から、推論1: "そのドラム缶は存続す"が導かれる
2. 推論1と事実1から、仮説が導かれる

よって、仮説が証明されました。