あの列挙はオリゴ糖鎖でない
fact1: もし「あのバリアーはオリゴ糖鎖でない」ということは成り立てばあの列挙は把握し辛い fact2: もしあのバリアーがオリゴ糖鎖でないとしたらあの列挙は蘇る fact3: あのバリアーはオリゴ糖鎖でないか蘇らないかあるいはどちらもである fact4: あのバリアーは蘇らないかあるいは把握し辛くないかあるいは両方ともである fact5: もし仮にあのバリアーは蘇らないとすると「あの列挙はオリゴ糖鎖でない」ということは本当だ fact6: 仮にあのバリアーが把握し辛いということはないとすればあの列挙はオリゴ糖鎖でない
fact4 & fact5 & fact6 -> hypothesis;
fact4 & fact5 & fact6 -> hypothesis;
$facts$ = fact1: もし「あのバリアーはオリゴ糖鎖でない」ということは成り立てばあの列挙は把握し辛い fact2: もしあのバリアーがオリゴ糖鎖でないとしたらあの列挙は蘇る fact3: あのバリアーはオリゴ糖鎖でないか蘇らないかあるいはどちらもである fact4: あのバリアーは蘇らないかあるいは把握し辛くないかあるいは両方ともである fact5: もし仮にあのバリアーは蘇らないとすると「あの列挙はオリゴ糖鎖でない」ということは本当だ fact6: 仮にあのバリアーが把握し辛いということはないとすればあの列挙はオリゴ糖鎖でない ; $hypothesis$ = あの列挙はオリゴ糖鎖でない ; $proof$ = 
fact4 & fact5 & fact6 -> hypothesis; __PROVED__
事実1: もし「あのバリアーはオリゴ糖鎖でない」ということは成り立てばあの列挙は把握し辛い
事実2: もしあのバリアーがオリゴ糖鎖でないとしたらあの列挙は蘇る
事実3: あのバリアーはオリゴ糖鎖でないか蘇らないかあるいはどちらもである
事実4: あのバリアーは蘇らないかあるいは把握し辛くないかあるいは両方ともである
事実5: もし仮にあのバリアーは蘇らないとすると「あの列挙はオリゴ糖鎖でない」ということは本当だ
事実6: 仮にあのバリアーが把握し辛いということはないとすればあの列挙はオリゴ糖鎖でない

仮説: あの列挙はオリゴ糖鎖でない
1. 事実4と事実5と事実6から、仮説が導かれる

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