あのフォント情報はしつこくてそれにそれは認定する
fact1: もしその胃腺が貫入するとするとあのフォント情報は認定する fact2: 「その把握等は伸び悩まないけどしつこい」ということは事実と異なる fact3: もし仮にその胃腺が血腥いということはないならあのフォント情報は貫入しないがそれは伸び悩む fact4: その胃腺は貫入するということはないならば「あの全面積は伸び悩まないけど引き難い」ということは成り立たない fact5: その胃腺は貫入する fact6: 仮にその把握等がしつこくないとすればあのフォント情報はしつこい fact7: 仮に「その把握等は伸び悩まないけどしつこい」ということは成り立つということはないとするとあのフォント情報はしつこい fact8: 「あのコースは広がり始めるしおまけに放棄する」ということは誤りである fact9: もしなにがしかの物は貫入するということはないとすると「しつこくて認定する」ということは成り立たない fact10: 血腥くない物は認定しないけれどしつこい fact11: あの基本概念は貫入する fact12: 「「広がり始めるしさらに放棄する」ということは偽な」ものがあるとするとその把握等はＤＩＡでない
fact1 & fact5 -> int1: あのフォント情報は認定する; fact7 & fact2 -> int2: あのフォント情報はしつこい; int1 & int2 -> hypothesis;
「あのフォント情報はしつこくてまたそれは認定する」ということは嘘だ
fact14 -> int3: もしもあのフォント情報は貫入しないならば「それはしつこくて認定する」ということは成り立たない;
$facts$ = fact1: もしその胃腺が貫入するとするとあのフォント情報は認定する fact2: 「その把握等は伸び悩まないけどしつこい」ということは事実と異なる fact3: もし仮にその胃腺が血腥いということはないならあのフォント情報は貫入しないがそれは伸び悩む fact4: その胃腺は貫入するということはないならば「あの全面積は伸び悩まないけど引き難い」ということは成り立たない fact5: その胃腺は貫入する fact6: 仮にその把握等がしつこくないとすればあのフォント情報はしつこい fact7: 仮に「その把握等は伸び悩まないけどしつこい」ということは成り立つということはないとするとあのフォント情報はしつこい fact8: 「あのコースは広がり始めるしおまけに放棄する」ということは誤りである fact9: もしなにがしかの物は貫入するということはないとすると「しつこくて認定する」ということは成り立たない fact10: 血腥くない物は認定しないけれどしつこい fact11: あの基本概念は貫入する fact12: 「「広がり始めるしさらに放棄する」ということは偽な」ものがあるとするとその把握等はＤＩＡでない ; $hypothesis$ = あのフォント情報はしつこくてそれにそれは認定する ; $proof$ = 
fact1 & fact5 -> int1: あのフォント情報は認定する; fact7 & fact2 -> int2: あのフォント情報はしつこい; int1 & int2 -> hypothesis; __PROVED__
事実1: もしその胃腺が貫入するとするとあのフォント情報は認定する
事実2: 「その把握等は伸び悩まないけどしつこい」ということは事実と異なる
事実3: もし仮にその胃腺が血腥いということはないならあのフォント情報は貫入しないがそれは伸び悩む
事実4: その胃腺は貫入するということはないならば「あの全面積は伸び悩まないけど引き難い」ということは成り立たない
事実5: その胃腺は貫入する
事実6: 仮にその把握等がしつこくないとすればあのフォント情報はしつこい
事実7: 仮に「その把握等は伸び悩まないけどしつこい」ということは成り立つということはないとするとあのフォント情報はしつこい
事実8: 「あのコースは広がり始めるしおまけに放棄する」ということは誤りである
事実9: もしなにがしかの物は貫入するということはないとすると「しつこくて認定する」ということは成り立たない
事実10: 血腥くない物は認定しないけれどしつこい
事実11: あの基本概念は貫入する
事実12: 「「広がり始めるしさらに放棄する」ということは偽な」ものがあるとするとその把握等はＤＩＡでない

仮説: あのフォント情報はしつこくてそれにそれは認定する
1. 事実1と事実5から、推論1: "あのフォント情報は認定する"が導かれる
2. 事実7と事実2から、推論2: "あのフォント情報はしつこい"が導かれる
3. 推論1と推論2から、仮説が導かれる

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