その熱延工場は化け物染みない
fact1: その授業中はバロックだということはない fact2: もしも多民族が掻き分けないとすると化け物染みない fact3: その熱延工場がバロックであるということはないとするとそれは多民族でなくておまけに掻き分けない fact4: 「その熱延工場はバロックでない」ということは真実だ fact5: もしとある物は多民族でなくてかつ掻き分けないとすれば「化け物染みない」ということは真実である fact6: もしもその熱延工場が多民族であるけど掻き分けないなら化け物染みるということはない fact7: もし仮にその熱延工場はバロックであるということはないとすればそれは多民族であるということはない fact8: もし仮にその大学入学が彼等自身ならあのＥＧＦ受容体遺伝子は訪れる
fact5 -> int1: 仮にその熱延工場が多民族でなくてまた掻き分けないとしたらそれは化け物染みない; fact3 & fact4 -> int2: その熱延工場は多民族でないし更にそれは掻き分けない; int1 & int2 -> hypothesis;
その熱延工場は化け物染みる
$facts$ = fact1: その授業中はバロックだということはない fact2: もしも多民族が掻き分けないとすると化け物染みない fact3: その熱延工場がバロックであるということはないとするとそれは多民族でなくておまけに掻き分けない fact4: 「その熱延工場はバロックでない」ということは真実だ fact5: もしとある物は多民族でなくてかつ掻き分けないとすれば「化け物染みない」ということは真実である fact6: もしもその熱延工場が多民族であるけど掻き分けないなら化け物染みるということはない fact7: もし仮にその熱延工場はバロックであるということはないとすればそれは多民族であるということはない fact8: もし仮にその大学入学が彼等自身ならあのＥＧＦ受容体遺伝子は訪れる ; $hypothesis$ = その熱延工場は化け物染みない ; $proof$ = 
fact5 -> int1: 仮にその熱延工場が多民族でなくてまた掻き分けないとしたらそれは化け物染みない; fact3 & fact4 -> int2: その熱延工場は多民族でないし更にそれは掻き分けない; int1 & int2 -> hypothesis; __PROVED__
事実1: その授業中はバロックだということはない
事実2: もしも多民族が掻き分けないとすると化け物染みない
事実3: その熱延工場がバロックであるということはないとするとそれは多民族でなくておまけに掻き分けない
事実4: 「その熱延工場はバロックでない」ということは真実だ
事実5: もしとある物は多民族でなくてかつ掻き分けないとすれば「化け物染みない」ということは真実である
事実6: もしもその熱延工場が多民族であるけど掻き分けないなら化け物染みるということはない
事実7: もし仮にその熱延工場はバロックであるということはないとすればそれは多民族であるということはない
事実8: もし仮にその大学入学が彼等自身ならあのＥＧＦ受容体遺伝子は訪れる

仮説: その熱延工場は化け物染みない
1. 事実5から、推論1: "仮にその熱延工場が多民族でなくてまた掻き分けないとしたらそれは化け物染みない"が導かれる
2. 事実3と事実4から、推論2: "その熱延工場は多民族でないし更にそれは掻き分けない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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