その中小法人は発症機序だということはない
fact1: もし仮にこの窒化ガリウムが養子だがしかしそれが発症機序でないならばその中小法人は服す fact2: もし仮にこの窒化ガリウムが生き物でなくてその上服さないとすればその依頼人は黄染だ fact3: もしとある物が等閑視するし加えてそれが黄染であるならばその中小法人は発症機序でない fact4: 仮にその依頼人は十日判決でないしおまけに疑らないとすれば等閑視する fact5: この精密検査は十日判決であるし更に都市化する fact6: もしもこの精密検査が十日判決でないならばあの依頼人は養子でない fact7: この窒化ガリウムは生き物でなくて服さない fact8: この精密検査は生き物でない fact9: あのぺけが等閑視しないしさらにそれは使い辛くない fact10: 仮に「この精密検査は疑る」ということは本当であるならばそれは品名である fact11: この精密検査は疑るということはないし更に養子でない fact12: もし仮にこの精密検査は疑るということはないとすると「その依頼人は十日判決でないしさらに疑らない」ということは事実だ
fact11 -> int1: 「この精密検査は疑るということはない」ということは事実である; int1 & fact12 -> int2: その依頼人は十日判決でないし疑るということはない; int2 & fact4 -> int3: その依頼人は等閑視する; fact2 & fact7 -> int4: その依頼人は黄染である; int3 & int4 -> int5: 「その依頼人は等閑視するしかつそれは黄染である」ということは正しい; int5 -> int6: 「等閑視するし黄染である」物はある; int6 & fact3 -> hypothesis;
すりゃ良い品名はある
$facts$ = fact1: もし仮にこの窒化ガリウムが養子だがしかしそれが発症機序でないならばその中小法人は服す fact2: もし仮にこの窒化ガリウムが生き物でなくてその上服さないとすればその依頼人は黄染だ fact3: もしとある物が等閑視するし加えてそれが黄染であるならばその中小法人は発症機序でない fact4: 仮にその依頼人は十日判決でないしおまけに疑らないとすれば等閑視する fact5: この精密検査は十日判決であるし更に都市化する fact6: もしもこの精密検査が十日判決でないならばあの依頼人は養子でない fact7: この窒化ガリウムは生き物でなくて服さない fact8: この精密検査は生き物でない fact9: あのぺけが等閑視しないしさらにそれは使い辛くない fact10: 仮に「この精密検査は疑る」ということは本当であるならばそれは品名である fact11: この精密検査は疑るということはないし更に養子でない fact12: もし仮にこの精密検査は疑るということはないとすると「その依頼人は十日判決でないしさらに疑らない」ということは事実だ ; $hypothesis$ = その中小法人は発症機序だということはない ; $proof$ = 
fact11 -> int1: 「この精密検査は疑るということはない」ということは事実である; int1 & fact12 -> int2: その依頼人は十日判決でないし疑るということはない; int2 & fact4 -> int3: その依頼人は等閑視する; fact2 & fact7 -> int4: その依頼人は黄染である; int3 & int4 -> int5: 「その依頼人は等閑視するしかつそれは黄染である」ということは正しい; int5 -> int6: 「等閑視するし黄染である」物はある; int6 & fact3 -> hypothesis; __PROVED__
事実1: もし仮にこの窒化ガリウムが養子だがしかしそれが発症機序でないならばその中小法人は服す
事実2: もし仮にこの窒化ガリウムが生き物でなくてその上服さないとすればその依頼人は黄染だ
事実3: もしとある物が等閑視するし加えてそれが黄染であるならばその中小法人は発症機序でない
事実4: 仮にその依頼人は十日判決でないしおまけに疑らないとすれば等閑視する
事実5: この精密検査は十日判決であるし更に都市化する
事実6: もしもこの精密検査が十日判決でないならばあの依頼人は養子でない
事実7: この窒化ガリウムは生き物でなくて服さない
事実8: この精密検査は生き物でない
事実9: あのぺけが等閑視しないしさらにそれは使い辛くない
事実10: 仮に「この精密検査は疑る」ということは本当であるならばそれは品名である
事実11: この精密検査は疑るということはないし更に養子でない
事実12: もし仮にこの精密検査は疑るということはないとすると「その依頼人は十日判決でないしさらに疑らない」ということは事実だ

仮説: その中小法人は発症機序だということはない
1. 事実11から、推論1: "「この精密検査は疑るということはない」ということは事実である"が導かれる
2. 推論1と事実12から、推論2: "その依頼人は十日判決でないし疑るということはない"が導かれる
3. 推論2と事実4から、推論3: "その依頼人は等閑視する"が導かれる
4. 事実2と事実7から、推論4: "その依頼人は黄染である"が導かれる
5. 推論3と推論4から、推論5: "「その依頼人は等閑視するしかつそれは黄染である」ということは正しい"が導かれる
6. 推論5から、推論6: "「等閑視するし黄染である」物はある"が導かれる
7. 推論6と事実3から、仮説が導かれる

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