あの張りは同時進行で更に見損なう
fact1: なんらかの物が見損なうかまたは実地試験でないとすれば見損なう fact2: あの張りは同時進行である fact3: あの張りは見損なう
fact2 & fact3 -> hypothesis;
fact2 & fact3 -> hypothesis;
その異時点間は見損なう
fact4 -> int1: もし仮にその異時点間は見損なうかあるいは実地試験でないかまたは両方であるならば「それは見損なう」ということは確かだ;
$facts$ = fact1: なんらかの物が見損なうかまたは実地試験でないとすれば見損なう fact2: あの張りは同時進行である fact3: あの張りは見損なう ; $hypothesis$ = あの張りは同時進行で更に見損なう ; $proof$ = 
fact2 & fact3 -> hypothesis; __PROVED__
事実1: なんらかの物が見損なうかまたは実地試験でないとすれば見損なう
事実2: あの張りは同時進行である
事実3: あの張りは見損なう

仮説: あの張りは同時進行で更に見損なう
1. 事実2と事実3から、仮説が導かれる

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