その経済競争は悪賢い
fact1: その経済競争は玄関先であるし加えて悪賢い fact2: あの帰省は弾劾しない fact3: この応用研究は玄関先であるしおまけにそれは彫れる fact4: もしもその経済競争が悪賢いかまたはそれが玄関先でないならばあの変数ＩＮＴナムは玄関先である fact5: 見え易い物はぱりぱりしないが尖む fact6: その経済競争は玄関先である fact7: 仮に何らかのものは課室でないし通園しないとしたら見え易い fact8: もし仮にあの帰省が弾劾しないならば課室であるということはないしその上通園しない fact9: その経済競争は意義深い
fact1 -> hypothesis;
fact1 -> hypothesis;
この変数ＩＮＴナムは玄関先だ
$facts$ = fact1: その経済競争は玄関先であるし加えて悪賢い fact2: あの帰省は弾劾しない fact3: この応用研究は玄関先であるしおまけにそれは彫れる fact4: もしもその経済競争が悪賢いかまたはそれが玄関先でないならばあの変数ＩＮＴナムは玄関先である fact5: 見え易い物はぱりぱりしないが尖む fact6: その経済競争は玄関先である fact7: 仮に何らかのものは課室でないし通園しないとしたら見え易い fact8: もし仮にあの帰省が弾劾しないならば課室であるということはないしその上通園しない fact9: その経済競争は意義深い ; $hypothesis$ = その経済競争は悪賢い ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: その経済競争は玄関先であるし加えて悪賢い
事実2: あの帰省は弾劾しない
事実3: この応用研究は玄関先であるしおまけにそれは彫れる
事実4: もしもその経済競争が悪賢いかまたはそれが玄関先でないならばあの変数ＩＮＴナムは玄関先である
事実5: 見え易い物はぱりぱりしないが尖む
事実6: その経済競争は玄関先である
事実7: 仮に何らかのものは課室でないし通園しないとしたら見え易い
事実8: もし仮にあの帰省が弾劾しないならば課室であるということはないしその上通園しない
事実9: その経済競争は意義深い

仮説: その経済競争は悪賢い
1. 事実1から、仮説が導かれる

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