「この汎用は脇目である」ということは確かだ
fact1: 仮にこの園家連携が呼び寄せるとするとこの汎用は脇目である fact2: もしも「この園家連携は天狗らしくないがしかし脇目だ」ということは嘘であるならこの汎用は脇目でない fact3: あの繭は呼び寄せる fact4: この園家連携は呼び寄せる
fact1 & fact4 -> hypothesis;
この汎用は脇目でない
$facts$ = fact1: 仮にこの園家連携が呼び寄せるとするとこの汎用は脇目である fact2: もしも「この園家連携は天狗らしくないがしかし脇目だ」ということは嘘であるならこの汎用は脇目でない fact3: あの繭は呼び寄せる fact4: この園家連携は呼び寄せる ; $hypothesis$ = 「この汎用は脇目である」ということは確かだ ; $proof$ = 
fact1 & fact4 -> hypothesis; __PROVED__
事実1: 仮にこの園家連携が呼び寄せるとするとこの汎用は脇目である
事実2: もしも「この園家連携は天狗らしくないがしかし脇目だ」ということは嘘であるならこの汎用は脇目でない
事実3: あの繭は呼び寄せる
事実4: この園家連携は呼び寄せる

仮説: 「この汎用は脇目である」ということは確かだ
1. 事実1と事実4から、仮説が導かれる

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