この大顎はしおらしい
fact1: その取り付け工事はしても良いなら「この大顎はしおらしい」ということは事実だ fact2: 仮にこの始発は出力側だとすると「それは学道しなくてしかもそれは後援する」ということは間違いだ fact3: 仮に「この始発は学道しないけど後援する」ということは事実と異なるとしたら「その取り付け工事は自我論である」ということは成り立つ fact4: 自我論はしても良い fact5: この始発は出力側だ
fact2 & fact5 -> int1: 「この始発は学道しないがしかしそれは後援する」ということは事実と異なる; int1 & fact3 -> int2: その取り付け工事は自我論だ; fact4 -> int3: 仮にその取り付け工事は自我論であるとするとそれはしても良い; int2 & int3 -> int4: その取り付け工事はしても良い; int4 & fact1 -> hypothesis;
$facts$ = fact1: その取り付け工事はしても良いなら「この大顎はしおらしい」ということは事実だ fact2: 仮にこの始発は出力側だとすると「それは学道しなくてしかもそれは後援する」ということは間違いだ fact3: 仮に「この始発は学道しないけど後援する」ということは事実と異なるとしたら「その取り付け工事は自我論である」ということは成り立つ fact4: 自我論はしても良い fact5: この始発は出力側だ ; $hypothesis$ = この大顎はしおらしい ; $proof$ = 
fact2 & fact5 -> int1: 「この始発は学道しないがしかしそれは後援する」ということは事実と異なる; int1 & fact3 -> int2: その取り付け工事は自我論だ; fact4 -> int3: 仮にその取り付け工事は自我論であるとするとそれはしても良い; int2 & int3 -> int4: その取り付け工事はしても良い; int4 & fact1 -> hypothesis; __PROVED__
事実1: その取り付け工事はしても良いなら「この大顎はしおらしい」ということは事実だ
事実2: 仮にこの始発は出力側だとすると「それは学道しなくてしかもそれは後援する」ということは間違いだ
事実3: 仮に「この始発は学道しないけど後援する」ということは事実と異なるとしたら「その取り付け工事は自我論である」ということは成り立つ
事実4: 自我論はしても良い
事実5: この始発は出力側だ

仮説: この大顎はしおらしい
1. 事実2と事実5から、推論1: "「この始発は学道しないがしかしそれは後援する」ということは事実と異なる"が導かれる
2. 推論1と事実3から、推論2: "その取り付け工事は自我論だ"が導かれる
3. 事実4から、推論3: "仮にその取り付け工事は自我論であるとするとそれはしても良い"が導かれる
4. 推論2と推論3から、推論4: "その取り付け工事はしても良い"が導かれる
5. 推論4と事実1から、仮説が導かれる

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