このラストオーダーは酔い易い
fact1: 何らかの物が証券化しないとしたら称え合うしそれは酔い易い fact2: もしこのラストオーダーが証券化するならばあのアカウントアビリティーは証券化しない fact3: このラストオーダーは証券化する fact4: 仮になんらかのものが証券化するとしたら思い出深い fact5: このラストオーダーは酔い易くてさらにそれは思い出深い
fact5 -> hypothesis;
fact5 -> hypothesis;
このアカウントアビリティーは称え合うし思い出深い
fact6 -> int1: もしもこのアカウントアビリティーが証券化しないなら称え合うし酔い易い; fact7 & fact8 -> int2: このアカウントアビリティーは証券化しない; int1 & int2 -> int3: このアカウントアビリティーは称え合うしそれにそれは酔い易い; int3 -> int4: 「このアカウントアビリティーは称え合う」ということは正しい;
$facts$ = fact1: 何らかの物が証券化しないとしたら称え合うしそれは酔い易い fact2: もしこのラストオーダーが証券化するならばあのアカウントアビリティーは証券化しない fact3: このラストオーダーは証券化する fact4: 仮になんらかのものが証券化するとしたら思い出深い fact5: このラストオーダーは酔い易くてさらにそれは思い出深い ; $hypothesis$ = このラストオーダーは酔い易い ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 何らかの物が証券化しないとしたら称え合うしそれは酔い易い
事実2: もしこのラストオーダーが証券化するならばあのアカウントアビリティーは証券化しない
事実3: このラストオーダーは証券化する
事実4: 仮になんらかのものが証券化するとしたら思い出深い
事実5: このラストオーダーは酔い易くてさらにそれは思い出深い

仮説: このラストオーダーは酔い易い
1. 事実5から、仮説が導かれる

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