「第一陣であるししかも援用する」物はある
fact1: 仮に何かはエストロゲンレセプターならば厚い fact2: もし仮に「第一陣でそれに援用しない」ものがあるとするとこのコンプレックスは衒う fact3: 「援用する」ものはある fact4: 「なにかは熟睡しない」ということは正しいならばそれは第一陣だけれど援用しない fact5: このコンプレックスは援用する fact6: このコンプレックスは第一陣である fact7: 「第一陣である」ものはある fact8: このコンプレックスは由々しない物でありしかもエストロゲンレセプターだ fact9: もし仮にこのコンプレックスが厚いなら農水だ
fact6 & fact5 -> int1: このコンプレックスは第一陣で加えて援用する; int1 -> hypothesis;
fact6 & fact5 -> int1: ({A}{a} & {B}{a}); int1 -> hypothesis;
何かは衒うしそれは農水である
fact10 -> int2: もしもこの洗口法が熟睡しないとすればそれが第一陣だしさらに援用しない; fact13 -> int3: このコンプレックスはエストロゲンレセプターである; fact11 -> int4: 仮に「このコンプレックスはエストロゲンレセプターである」ということは成り立てばそれは厚い; int3 & int4 -> int5: このコンプレックスは厚い; int5 & fact12 -> int6: このコンプレックスは農水だ;
$facts$ = fact1: 仮に何かはエストロゲンレセプターならば厚い fact2: もし仮に「第一陣でそれに援用しない」ものがあるとするとこのコンプレックスは衒う fact3: 「援用する」ものはある fact4: 「なにかは熟睡しない」ということは正しいならばそれは第一陣だけれど援用しない fact5: このコンプレックスは援用する fact6: このコンプレックスは第一陣である fact7: 「第一陣である」ものはある fact8: このコンプレックスは由々しない物でありしかもエストロゲンレセプターだ fact9: もし仮にこのコンプレックスが厚いなら農水だ ; $hypothesis$ = 「第一陣であるししかも援用する」物はある ; $proof$ = 
fact6 & fact5 -> int1: このコンプレックスは第一陣で加えて援用する; int1 -> hypothesis; __PROVED__
事実1: 仮に何かはエストロゲンレセプターならば厚い
事実2: もし仮に「第一陣でそれに援用しない」ものがあるとするとこのコンプレックスは衒う
事実3: 「援用する」ものはある
事実4: 「なにかは熟睡しない」ということは正しいならばそれは第一陣だけれど援用しない
事実5: このコンプレックスは援用する
事実6: このコンプレックスは第一陣である
事実7: 「第一陣である」ものはある
事実8: このコンプレックスは由々しない物でありしかもエストロゲンレセプターだ
事実9: もし仮にこのコンプレックスが厚いなら農水だ

仮説: 「第一陣であるししかも援用する」物はある
1. 事実6と事実5から、推論1: "このコンプレックスは第一陣で加えて援用する"が導かれる
2. 推論1から、仮説が導かれる

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