そのハイブリッドバリアフィルムは甘くないし物凄まじくない
fact1: 仮になにがしかのものは支配勢力だとすると「甘くないしさらに物凄まじくない」ということは成り立たない fact2: 血は粘り強い fact3: 仮に「なにがしかの物は粘り強くないかもしくは血でないか両方ともだ」ということは成り立たないならば「それは支配勢力である」ということは真実だ fact4: 仮にそのハイブリッドバリアフィルムが支配勢力でないとすれば甘いということはないししかも物凄まじくない fact5: そのハイブリッドバリアフィルムは支配勢力でない fact6: もしそのスタンダードモデルが育ち始めないとすれば血であるしかつ胡散臭い fact7: なんらかのものが粘り強いとすると甘くないしそれは支配勢力でない
fact4 & fact5 -> hypothesis;
fact4 & fact5 -> hypothesis;
そのスタンダードモデルは甘いということはない
fact10 -> int1: もしもそのスタンダードモデルが粘り強いならそれは甘いということはないし支配勢力でない; fact9 -> int2: 仮にそのスタンダードモデルが血だとすればそれは粘り強い;
$facts$ = fact1: 仮になにがしかのものは支配勢力だとすると「甘くないしさらに物凄まじくない」ということは成り立たない fact2: 血は粘り強い fact3: 仮に「なにがしかの物は粘り強くないかもしくは血でないか両方ともだ」ということは成り立たないならば「それは支配勢力である」ということは真実だ fact4: 仮にそのハイブリッドバリアフィルムが支配勢力でないとすれば甘いということはないししかも物凄まじくない fact5: そのハイブリッドバリアフィルムは支配勢力でない fact6: もしそのスタンダードモデルが育ち始めないとすれば血であるしかつ胡散臭い fact7: なんらかのものが粘り強いとすると甘くないしそれは支配勢力でない ; $hypothesis$ = そのハイブリッドバリアフィルムは甘くないし物凄まじくない ; $proof$ = 
fact4 & fact5 -> hypothesis; __PROVED__
事実1: 仮になにがしかのものは支配勢力だとすると「甘くないしさらに物凄まじくない」ということは成り立たない
事実2: 血は粘り強い
事実3: 仮に「なにがしかの物は粘り強くないかもしくは血でないか両方ともだ」ということは成り立たないならば「それは支配勢力である」ということは真実だ
事実4: 仮にそのハイブリッドバリアフィルムが支配勢力でないとすれば甘いということはないししかも物凄まじくない
事実5: そのハイブリッドバリアフィルムは支配勢力でない
事実6: もしそのスタンダードモデルが育ち始めないとすれば血であるしかつ胡散臭い
事実7: なんらかのものが粘り強いとすると甘くないしそれは支配勢力でない

仮説: そのハイブリッドバリアフィルムは甘くないし物凄まじくない
1. 事実4と事実5から、仮説が導かれる

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