「この模式は理屈っぽくないし混在しない」ということは成り立たない
fact1: この模式はシステム過程である fact2: もしこのジェネレーションが混在するとするとこの模式は藍子科だということはないし更に理屈っぽくない fact3: もしもこのジェネレーションが藍子科であるとしたらこの模式は理屈っぽいということはなくて混在しない fact4: この模式は藍子科であるということはないしかつそれは理屈っぽいということはない fact5: このジェネレーションは混在しなくて排撃しない fact6: このジェネレーションは藍子科である
fact3 & fact6 -> hypothesis;
fact3 & fact6 -> hypothesis;
$facts$ = fact1: この模式はシステム過程である fact2: もしこのジェネレーションが混在するとするとこの模式は藍子科だということはないし更に理屈っぽくない fact3: もしもこのジェネレーションが藍子科であるとしたらこの模式は理屈っぽいということはなくて混在しない fact4: この模式は藍子科であるということはないしかつそれは理屈っぽいということはない fact5: このジェネレーションは混在しなくて排撃しない fact6: このジェネレーションは藍子科である ; $hypothesis$ = 「この模式は理屈っぽくないし混在しない」ということは成り立たない ; $proof$ = 
fact3 & fact6 -> hypothesis; __DISPROVED__
事実1: この模式はシステム過程である
事実2: もしこのジェネレーションが混在するとするとこの模式は藍子科だということはないし更に理屈っぽくない
事実3: もしもこのジェネレーションが藍子科であるとしたらこの模式は理屈っぽいということはなくて混在しない
事実4: この模式は藍子科であるということはないしかつそれは理屈っぽいということはない
事実5: このジェネレーションは混在しなくて排撃しない
事実6: このジェネレーションは藍子科である

仮説: 「この模式は理屈っぽくないし混在しない」ということは成り立たない
1. 事実3と事実6から、仮説が否定される

よって、仮説が否定されました。