そのＯさんは眼光である
fact1: もし仮にその垂直応力が喧しいならそのＯさんは眼光だ fact2: その相手馬はＤＶＤであるか公認会計士であるかあるいは両方である fact3: もしもその相手馬が公認会計士だとするとその垂直応力は喧しい fact4: もしもその相手馬はＤＶＤだとすれば「その垂直応力は喧しい」ということは事実である fact5: とある物がＤＶＤでなくて加えてそれは公認会計士でないとしたら眼光でない
fact2 & fact4 & fact3 -> int1: その垂直応力は喧しい; int1 & fact1 -> hypothesis;
「そのＯさんは眼光でない」ということは真実である
fact6 -> int2: 仮にそのＯさんがＤＶＤでないしそれは公認会計士でないとしたらそれは眼光でない;
$facts$ = fact1: もし仮にその垂直応力が喧しいならそのＯさんは眼光だ fact2: その相手馬はＤＶＤであるか公認会計士であるかあるいは両方である fact3: もしもその相手馬が公認会計士だとするとその垂直応力は喧しい fact4: もしもその相手馬はＤＶＤだとすれば「その垂直応力は喧しい」ということは事実である fact5: とある物がＤＶＤでなくて加えてそれは公認会計士でないとしたら眼光でない ; $hypothesis$ = そのＯさんは眼光である ; $proof$ = 
fact2 & fact4 & fact3 -> int1: その垂直応力は喧しい; int1 & fact1 -> hypothesis; __PROVED__
事実1: もし仮にその垂直応力が喧しいならそのＯさんは眼光だ
事実2: その相手馬はＤＶＤであるか公認会計士であるかあるいは両方である
事実3: もしもその相手馬が公認会計士だとするとその垂直応力は喧しい
事実4: もしもその相手馬はＤＶＤだとすれば「その垂直応力は喧しい」ということは事実である
事実5: とある物がＤＶＤでなくて加えてそれは公認会計士でないとしたら眼光でない

仮説: そのＯさんは眼光である
1. 事実2と事実4と事実3から、推論1: "その垂直応力は喧しい"が導かれる
2. 推論1と事実1から、仮説が導かれる

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