このシステムエクスクルーシブは信用出来る
fact1: この諸藩は療養しない fact2: なんらかの物が療養しないしさらに信用出来ない fact3: 「「一括管理するけど療養しない」ものはある」ということは成り立つ fact4: あの尿培養が一括管理するが現地生産化であるということはないならばあのシステムエクスクルーシブは一括管理するということはない fact5: もしもあの尿培養は療養しないなら「それは現地生産化であるしそれに一括管理する」ということは事実であるということはない fact6: このシステムエクスクルーシブは一括管理する fact7: このシステムエクスクルーシブは療養する fact8: 「療養しない」物はある fact9: もしなにがしかのものが一括管理しなくておまけに療養しないならばこのシステムエクスクルーシブは信用出来る fact10: もしもあの尿培養が宜しいけどそれが待ち伏せしないとすればそれは療養しない fact11: もし「信用出来なくてかつ療養するということはない」ものがあるとするとこのシステムエクスクルーシブは一括管理する fact12: この諸藩は一括管理するということはなくて更に療養しない fact13: 仮に「療養しないしおまけに一括管理しない」物があるとするとこの諸藩は信用出来る
fact12 -> int1: 「一括管理するということはないしさらに療養しない」ものはある; int1 & fact9 -> hypothesis;
「このオーデコロンは信用出来なくて塩辛くない」ということは真実だ
$facts$ = fact1: この諸藩は療養しない fact2: なんらかの物が療養しないしさらに信用出来ない fact3: 「「一括管理するけど療養しない」ものはある」ということは成り立つ fact4: あの尿培養が一括管理するが現地生産化であるということはないならばあのシステムエクスクルーシブは一括管理するということはない fact5: もしもあの尿培養は療養しないなら「それは現地生産化であるしそれに一括管理する」ということは事実であるということはない fact6: このシステムエクスクルーシブは一括管理する fact7: このシステムエクスクルーシブは療養する fact8: 「療養しない」物はある fact9: もしなにがしかのものが一括管理しなくておまけに療養しないならばこのシステムエクスクルーシブは信用出来る fact10: もしもあの尿培養が宜しいけどそれが待ち伏せしないとすればそれは療養しない fact11: もし「信用出来なくてかつ療養するということはない」ものがあるとするとこのシステムエクスクルーシブは一括管理する fact12: この諸藩は一括管理するということはなくて更に療養しない fact13: 仮に「療養しないしおまけに一括管理しない」物があるとするとこの諸藩は信用出来る ; $hypothesis$ = このシステムエクスクルーシブは信用出来る ; $proof$ = 
fact12 -> int1: 「一括管理するということはないしさらに療養しない」ものはある; int1 & fact9 -> hypothesis; __PROVED__
事実1: この諸藩は療養しない
事実2: なんらかの物が療養しないしさらに信用出来ない
事実3: 「「一括管理するけど療養しない」ものはある」ということは成り立つ
事実4: あの尿培養が一括管理するが現地生産化であるということはないならばあのシステムエクスクルーシブは一括管理するということはない
事実5: もしもあの尿培養は療養しないなら「それは現地生産化であるしそれに一括管理する」ということは事実であるということはない
事実6: このシステムエクスクルーシブは一括管理する
事実7: このシステムエクスクルーシブは療養する
事実8: 「療養しない」物はある
事実9: もしなにがしかのものが一括管理しなくておまけに療養しないならばこのシステムエクスクルーシブは信用出来る
事実10: もしもあの尿培養が宜しいけどそれが待ち伏せしないとすればそれは療養しない
事実11: もし「信用出来なくてかつ療養するということはない」ものがあるとするとこのシステムエクスクルーシブは一括管理する
事実12: この諸藩は一括管理するということはなくて更に療養しない
事実13: 仮に「療養しないしおまけに一括管理しない」物があるとするとこの諸藩は信用出来る

仮説: このシステムエクスクルーシブは信用出来る
1. 事実12から、推論1: "「一括管理するということはないしさらに療養しない」ものはある"が導かれる
2. 推論1と事実9から、仮説が導かれる

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