あのＶＩは優位であるかもしくはそれは尿瓶でないかもしくは両方だ
fact1: あのＶＩは目標間であるかもしくはメモリリークでない fact2: あのＶＩはメモリリークでない fact3: その不安定狭心症は血管拡張作用でない fact4: あのＶＩは生まれ難くない fact5: もし仮にとあるものは比較し難くないならば血管拡張作用であるし連想する fact6: 仮にあのＶＩが血管拡張作用であるということはないなら優位であるか尿瓶でない fact7: 仮にあのＶＩは嫌らしくないしメモリリークでないなら血管拡張作用であるということはない fact8: もしその寮友達は血管拡張作用ならば「あのＶＩは優位であるかあるいはそれは尿瓶であるということはない」ということは成り立たない fact9: もしもあのＶＩは嫌らしくないけれどメモリリークだとすれば血管拡張作用でない fact10: あのＶＩは優位であるかまたは尿瓶であるか両方ともである fact11: あの射程は優位でないとしたらティーピーであるかまたは中型機でないかもしくは両方ともだ fact12: あのＶＩは嫌らしくないしその上メモリリークでない
fact7 & fact12 -> int1: あのＶＩは血管拡張作用でない; int1 & fact6 -> hypothesis;
「あのＶＩは優位であるか尿瓶であるということはない」ということは事実でない
fact14 -> int2: その寮友達が比較し難くないならば血管拡張作用だしそれにそれは連想する;
$facts$ = fact1: あのＶＩは目標間であるかもしくはメモリリークでない fact2: あのＶＩはメモリリークでない fact3: その不安定狭心症は血管拡張作用でない fact4: あのＶＩは生まれ難くない fact5: もし仮にとあるものは比較し難くないならば血管拡張作用であるし連想する fact6: 仮にあのＶＩが血管拡張作用であるということはないなら優位であるか尿瓶でない fact7: 仮にあのＶＩは嫌らしくないしメモリリークでないなら血管拡張作用であるということはない fact8: もしその寮友達は血管拡張作用ならば「あのＶＩは優位であるかあるいはそれは尿瓶であるということはない」ということは成り立たない fact9: もしもあのＶＩは嫌らしくないけれどメモリリークだとすれば血管拡張作用でない fact10: あのＶＩは優位であるかまたは尿瓶であるか両方ともである fact11: あの射程は優位でないとしたらティーピーであるかまたは中型機でないかもしくは両方ともだ fact12: あのＶＩは嫌らしくないしその上メモリリークでない ; $hypothesis$ = あのＶＩは優位であるかもしくはそれは尿瓶でないかもしくは両方だ ; $proof$ = 
fact7 & fact12 -> int1: あのＶＩは血管拡張作用でない; int1 & fact6 -> hypothesis; __PROVED__
事実1: あのＶＩは目標間であるかもしくはメモリリークでない
事実2: あのＶＩはメモリリークでない
事実3: その不安定狭心症は血管拡張作用でない
事実4: あのＶＩは生まれ難くない
事実5: もし仮にとあるものは比較し難くないならば血管拡張作用であるし連想する
事実6: 仮にあのＶＩが血管拡張作用であるということはないなら優位であるか尿瓶でない
事実7: 仮にあのＶＩは嫌らしくないしメモリリークでないなら血管拡張作用であるということはない
事実8: もしその寮友達は血管拡張作用ならば「あのＶＩは優位であるかあるいはそれは尿瓶であるということはない」ということは成り立たない
事実9: もしもあのＶＩは嫌らしくないけれどメモリリークだとすれば血管拡張作用でない
事実10: あのＶＩは優位であるかまたは尿瓶であるか両方ともである
事実11: あの射程は優位でないとしたらティーピーであるかまたは中型機でないかもしくは両方ともだ
事実12: あのＶＩは嫌らしくないしその上メモリリークでない

仮説: あのＶＩは優位であるかもしくはそれは尿瓶でないかもしくは両方だ
1. 事実7と事実12から、推論1: "あのＶＩは血管拡張作用でない"が導かれる
2. 推論1と事実6から、仮説が導かれる

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