あのＥＬＩＺＡは間食だということはない
fact1: 仮にその空爆開始がブルーベリージャムでないとしたらあのＥＬＩＺＡは間食でない fact2: もしその空爆開始が見窄らしいということはないならばそれは捩らないがブルーベリージャムだ fact3: その空爆開始は捩るかブルーベリージャムでないかもしくは両方だ fact4: もしその空爆開始が捩るとするとあのＥＬＩＺＡは間食でない
fact3 & fact4 & fact1 -> hypothesis;
あのＥＬＩＺＡは間食だ
$facts$ = fact1: 仮にその空爆開始がブルーベリージャムでないとしたらあのＥＬＩＺＡは間食でない fact2: もしその空爆開始が見窄らしいということはないならばそれは捩らないがブルーベリージャムだ fact3: その空爆開始は捩るかブルーベリージャムでないかもしくは両方だ fact4: もしその空爆開始が捩るとするとあのＥＬＩＺＡは間食でない ; $hypothesis$ = あのＥＬＩＺＡは間食だということはない ; $proof$ = 
fact3 & fact4 & fact1 -> hypothesis; __PROVED__
事実1: 仮にその空爆開始がブルーベリージャムでないとしたらあのＥＬＩＺＡは間食でない
事実2: もしその空爆開始が見窄らしいということはないならばそれは捩らないがブルーベリージャムだ
事実3: その空爆開始は捩るかブルーベリージャムでないかもしくは両方だ
事実4: もしその空爆開始が捩るとするとあのＥＬＩＺＡは間食でない

仮説: あのＥＬＩＺＡは間食だということはない
1. 事実3と事実4と事実1から、仮説が導かれる

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