その外科手術型が強しとするとその電子納品は寝かし付ける
fact1: その外科手術型は寝かし付ける fact2: この公衆トイレは強し fact3: その外科手術型が寝かし付けるならその電子納品は強し fact4: もし仮にその外科手術型が寝かし付けるとすればその電子納品は冷め易い fact5: その電子納品は強し fact6: 「その外科手術型は恙無くない」ということは成り立たない fact7: もしその電子納品が強しならばその外科手術型は寝かし付ける fact8: 仮にその外科手術型が強しとすればそれは冷め易い fact9: もしその電子納品が冷め易いとするとその外科手術型は寝かし付ける fact10: その電子納品は慶応幼稚舎だ fact11: もしその外科手術型が強しとすれば寝かし付ける fact12: もし仮に「その外科手術型は強しということはない」ということは偽だとするとその電子納品は冷め易い fact13: 仮に「その外科手術型は冷め易い」ということは本当であるとするとその電子納品は寝かし付ける fact14: その電子納品は冷め易い fact15: その電子納品は競合店だ fact16: もしもその電子納品が強しとしたらあの書斎は寝かし付ける fact17: その電子納品が冷め易いならばその外科手術型は強し fact18: 「この十九世紀後半は冷め易い」ということは正しい
void -> assump1: 以下のように仮定する。その外科手術型は強し; fact8 & assump1 -> int1: 「その外科手術型は冷め易い」ということは成り立つ; int1 & fact13 -> int2: その電子納品は寝かし付ける; [assump1] & int2 -> hypothesis;
$facts$ = fact1: その外科手術型は寝かし付ける fact2: この公衆トイレは強し fact3: その外科手術型が寝かし付けるならその電子納品は強し fact4: もし仮にその外科手術型が寝かし付けるとすればその電子納品は冷め易い fact5: その電子納品は強し fact6: 「その外科手術型は恙無くない」ということは成り立たない fact7: もしその電子納品が強しならばその外科手術型は寝かし付ける fact8: 仮にその外科手術型が強しとすればそれは冷め易い fact9: もしその電子納品が冷め易いとするとその外科手術型は寝かし付ける fact10: その電子納品は慶応幼稚舎だ fact11: もしその外科手術型が強しとすれば寝かし付ける fact12: もし仮に「その外科手術型は強しということはない」ということは偽だとするとその電子納品は冷め易い fact13: 仮に「その外科手術型は冷め易い」ということは本当であるとするとその電子納品は寝かし付ける fact14: その電子納品は冷め易い fact15: その電子納品は競合店だ fact16: もしもその電子納品が強しとしたらあの書斎は寝かし付ける fact17: その電子納品が冷め易いならばその外科手術型は強し fact18: 「この十九世紀後半は冷め易い」ということは正しい ; $hypothesis$ = その外科手術型が強しとするとその電子納品は寝かし付ける ; $proof$ = 
void -> assump1: 以下のように仮定する。その外科手術型は強し; fact8 & assump1 -> int1: 「その外科手術型は冷め易い」ということは成り立つ; int1 & fact13 -> int2: その電子納品は寝かし付ける; [assump1] & int2 -> hypothesis; __PROVED__
事実1: その外科手術型は寝かし付ける
事実2: この公衆トイレは強し
事実3: その外科手術型が寝かし付けるならその電子納品は強し
事実4: もし仮にその外科手術型が寝かし付けるとすればその電子納品は冷め易い
事実5: その電子納品は強し
事実6: 「その外科手術型は恙無くない」ということは成り立たない
事実7: もしその電子納品が強しならばその外科手術型は寝かし付ける
事実8: 仮にその外科手術型が強しとすればそれは冷め易い
事実9: もしその電子納品が冷め易いとするとその外科手術型は寝かし付ける
事実10: その電子納品は慶応幼稚舎だ
事実11: もしその外科手術型が強しとすれば寝かし付ける
事実12: もし仮に「その外科手術型は強しということはない」ということは偽だとするとその電子納品は冷め易い
事実13: 仮に「その外科手術型は冷め易い」ということは本当であるとするとその電子納品は寝かし付ける
事実14: その電子納品は冷め易い
事実15: その電子納品は競合店だ
事実16: もしもその電子納品が強しとしたらあの書斎は寝かし付ける
事実17: その電子納品が冷め易いならばその外科手術型は強し
事実18: 「この十九世紀後半は冷め易い」ということは正しい

仮説: その外科手術型が強しとするとその電子納品は寝かし付ける
1. 仮定1: 以下のように仮定する。その外科手術型は強し
2. 事実8と仮定1から、推論1: "「その外科手術型は冷め易い」ということは成り立つ"が導かれる
3. 推論1と事実13から、推論2: "その電子納品は寝かし付ける"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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