この特急は燃え易いがそれはリベンジでない
fact1: この特急は有り難い fact2: もし仮に「この特急はリベンジでなくておまけにつれないということはない」ということは事実と異なるとするとその支那学生は燃え易くない fact3: 仮に何らかの物はつれないなら「それは燃え易いがリベンジでない」ということは事実と異なる fact4: なにがしかの物が打ち滅ぼさないとすればそれはつれないしそれに致候う fact5: もしもあのインポートがつれないならばこの特急はつれない fact6: もしあのインポートは致候うなら「この特急はリベンジでなくてつれなくない」ということは間違いである fact7: この特急はリベンジでない fact8: このターゲットブラウザは燃え易くない fact9: この特急は燃え易い
fact9 & fact7 -> hypothesis;
fact9 & fact7 -> hypothesis;
その支那学生は燃え易くない
$facts$ = fact1: この特急は有り難い fact2: もし仮に「この特急はリベンジでなくておまけにつれないということはない」ということは事実と異なるとするとその支那学生は燃え易くない fact3: 仮に何らかの物はつれないなら「それは燃え易いがリベンジでない」ということは事実と異なる fact4: なにがしかの物が打ち滅ぼさないとすればそれはつれないしそれに致候う fact5: もしもあのインポートがつれないならばこの特急はつれない fact6: もしあのインポートは致候うなら「この特急はリベンジでなくてつれなくない」ということは間違いである fact7: この特急はリベンジでない fact8: このターゲットブラウザは燃え易くない fact9: この特急は燃え易い ; $hypothesis$ = この特急は燃え易いがそれはリベンジでない ; $proof$ = 
fact9 & fact7 -> hypothesis; __PROVED__
事実1: この特急は有り難い
事実2: もし仮に「この特急はリベンジでなくておまけにつれないということはない」ということは事実と異なるとするとその支那学生は燃え易くない
事実3: 仮に何らかの物はつれないなら「それは燃え易いがリベンジでない」ということは事実と異なる
事実4: なにがしかの物が打ち滅ぼさないとすればそれはつれないしそれに致候う
事実5: もしもあのインポートがつれないならばこの特急はつれない
事実6: もしあのインポートは致候うなら「この特急はリベンジでなくてつれなくない」ということは間違いである
事実7: この特急はリベンジでない
事実8: このターゲットブラウザは燃え易くない
事実9: この特急は燃え易い

仮説: この特急は燃え易いがそれはリベンジでない
1. 事実9と事実7から、仮説が導かれる

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