この詰め上がり図は御覧下さる
fact1: この詰め上がり図は御覧下さるし執行する fact2: もしあの卵膜蛋白質は作用し合うとしたら「あの来店客は接近戦である」ということは事実である fact3: もしそのアイテム紙が生食しないならばあの卵膜蛋白質は作用し合う fact4: この詰め上がり図は執行する
fact1 -> hypothesis;
fact1 -> hypothesis;
この詰め上がり図は御覧下さらない
$facts$ = fact1: この詰め上がり図は御覧下さるし執行する fact2: もしあの卵膜蛋白質は作用し合うとしたら「あの来店客は接近戦である」ということは事実である fact3: もしそのアイテム紙が生食しないならばあの卵膜蛋白質は作用し合う fact4: この詰め上がり図は執行する ; $hypothesis$ = この詰め上がり図は御覧下さる ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: この詰め上がり図は御覧下さるし執行する
事実2: もしあの卵膜蛋白質は作用し合うとしたら「あの来店客は接近戦である」ということは事実である
事実3: もしそのアイテム紙が生食しないならばあの卵膜蛋白質は作用し合う
事実4: この詰め上がり図は執行する

仮説: この詰め上がり図は御覧下さる
1. 事実1から、仮説が導かれる

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