あの契約法下巻は産業化しない
fact1: そのターナは心拍数でないとしたら「「あの契約法下巻は倒れ難くないしさらに産業化しない」ということは成り立つということはない」ということは成り立つ fact2: もしもそのターナは心拍数でないとすると「この牽連犯は怠くらないしおまけにそれは倒れ難くない」ということは間違っている fact3: もしこの牽連犯は産業化しないとすれば「あの契約法下巻は心拍数でなくて倒れ難くない」ということは正しいということはない fact4: そのターナは心拍数でない fact5: もし仮に「「怠くらないし倒れ難くない」ということは成り立たない」ものがあるとするとあの契約法下巻は産業化するということはない
fact2 & fact4 -> int1: 「この牽連犯は怠くらないしそれに倒れ難くない」ということは誤りだ; int1 -> int2: 「「怠くらなくて更に倒れ難くない」ということは間違いな」ものはある; int2 & fact5 -> hypothesis;
$facts$ = fact1: そのターナは心拍数でないとしたら「「あの契約法下巻は倒れ難くないしさらに産業化しない」ということは成り立つということはない」ということは成り立つ fact2: もしもそのターナは心拍数でないとすると「この牽連犯は怠くらないしおまけにそれは倒れ難くない」ということは間違っている fact3: もしこの牽連犯は産業化しないとすれば「あの契約法下巻は心拍数でなくて倒れ難くない」ということは正しいということはない fact4: そのターナは心拍数でない fact5: もし仮に「「怠くらないし倒れ難くない」ということは成り立たない」ものがあるとするとあの契約法下巻は産業化するということはない ; $hypothesis$ = あの契約法下巻は産業化しない ; $proof$ = 
fact2 & fact4 -> int1: 「この牽連犯は怠くらないしそれに倒れ難くない」ということは誤りだ; int1 -> int2: 「「怠くらなくて更に倒れ難くない」ということは間違いな」ものはある; int2 & fact5 -> hypothesis; __PROVED__
事実1: そのターナは心拍数でないとしたら「「あの契約法下巻は倒れ難くないしさらに産業化しない」ということは成り立つということはない」ということは成り立つ
事実2: もしもそのターナは心拍数でないとすると「この牽連犯は怠くらないしおまけにそれは倒れ難くない」ということは間違っている
事実3: もしこの牽連犯は産業化しないとすれば「あの契約法下巻は心拍数でなくて倒れ難くない」ということは正しいということはない
事実4: そのターナは心拍数でない
事実5: もし仮に「「怠くらないし倒れ難くない」ということは成り立たない」ものがあるとするとあの契約法下巻は産業化するということはない

仮説: あの契約法下巻は産業化しない
1. 事実2と事実4から、推論1: "「この牽連犯は怠くらないしそれに倒れ難くない」ということは誤りだ"が導かれる
2. 推論1から、推論2: "「「怠くらなくて更に倒れ難くない」ということは間違いな」ものはある"が導かれる
3. 推論2と事実5から、仮説が導かれる

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