この予選は掻かない
fact1: この基本中はつべたくない fact2: この基本中はつべたくないけどそれは対応メディアだ fact3: もしこの基本中はつべたくないけど対応メディアであるならばこの予選は掻かない
fact3 & fact2 -> hypothesis;
fact3 & fact2 -> hypothesis;
$facts$ = fact1: この基本中はつべたくない fact2: この基本中はつべたくないけどそれは対応メディアだ fact3: もしこの基本中はつべたくないけど対応メディアであるならばこの予選は掻かない ; $hypothesis$ = この予選は掻かない ; $proof$ = 
fact3 & fact2 -> hypothesis; __PROVED__
事実1: この基本中はつべたくない
事実2: この基本中はつべたくないけどそれは対応メディアだ
事実3: もしこの基本中はつべたくないけど対応メディアであるならばこの予選は掻かない

仮説: この予選は掻かない
1. 事実3と事実2から、仮説が導かれる

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