仮にその保証契約はまどろっこしくらないならば「この十人分が猛々しくないしさらにそれは素早くない」ということは成り立たない
fact1: もし仮に「その保証契約はまどろっこしい」ということは真実であるとすれば「この十人分はまどろっこしくらないがしかし猛々しい」ということは嘘である fact2: あのキリシタン研究は猛々しいとしたら「この十人分は猛々しくなくてそれは素早くない」ということは誤りだ fact3: もしその保証契約はまどろっこしくらないとしたらあのキリシタン研究は猛々しい fact4: もしもあのキリシタン研究は素早くないとすれば「この十人分はまどろっこしくらないしそれは猛々しくない」ということは間違いだ fact5: この十人分はまどろっこしい fact6: もし仮にこの十人分はまどろっこしくらないとしたら「「その保証契約は素早くないけどそれは猛々しい」ということは確かだ」ということは真実でない fact7: あのキリシタン研究は猛々しいなら「この十人分は猛々しいけど素早くない」ということは間違っている fact8: 仮にこの十人分は素早いということはないとすると「その保証契約はまどろっこしくらない一方で猛々しい」ということは誤っている fact9: 「その保証契約はまどろっこしい一方で猛々しくない」ということは誤っている fact10: もし仮にこの十人分は素早いとしたら「あのキリシタン研究が素早くないしさらにそれは猛々しくない」ということは偽である fact11: 仮にその保証契約が気張らないとすればこのブレストはまどろっこしいしまた猛々しい
void -> assump1: 以下のように仮定する。その保証契約はまどろっこしいということはない; fact3 & assump1 -> int1: あのキリシタン研究は猛々しい; int1 & fact2 -> int2: 「この十人分が猛々しくないしさらにそれは素早くない」ということは成り立つということはない; [assump1] & int2 -> hypothesis;
「このブレストはまどろっこしい」ということは正しい
$facts$ = fact1: もし仮に「その保証契約はまどろっこしい」ということは真実であるとすれば「この十人分はまどろっこしくらないがしかし猛々しい」ということは嘘である fact2: あのキリシタン研究は猛々しいとしたら「この十人分は猛々しくなくてそれは素早くない」ということは誤りだ fact3: もしその保証契約はまどろっこしくらないとしたらあのキリシタン研究は猛々しい fact4: もしもあのキリシタン研究は素早くないとすれば「この十人分はまどろっこしくらないしそれは猛々しくない」ということは間違いだ fact5: この十人分はまどろっこしい fact6: もし仮にこの十人分はまどろっこしくらないとしたら「「その保証契約は素早くないけどそれは猛々しい」ということは確かだ」ということは真実でない fact7: あのキリシタン研究は猛々しいなら「この十人分は猛々しいけど素早くない」ということは間違っている fact8: 仮にこの十人分は素早いということはないとすると「その保証契約はまどろっこしくらない一方で猛々しい」ということは誤っている fact9: 「その保証契約はまどろっこしい一方で猛々しくない」ということは誤っている fact10: もし仮にこの十人分は素早いとしたら「あのキリシタン研究が素早くないしさらにそれは猛々しくない」ということは偽である fact11: 仮にその保証契約が気張らないとすればこのブレストはまどろっこしいしまた猛々しい ; $hypothesis$ = 仮にその保証契約はまどろっこしくらないならば「この十人分が猛々しくないしさらにそれは素早くない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。その保証契約はまどろっこしいということはない; fact3 & assump1 -> int1: あのキリシタン研究は猛々しい; int1 & fact2 -> int2: 「この十人分が猛々しくないしさらにそれは素早くない」ということは成り立つということはない; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もし仮に「その保証契約はまどろっこしい」ということは真実であるとすれば「この十人分はまどろっこしくらないがしかし猛々しい」ということは嘘である
事実2: あのキリシタン研究は猛々しいとしたら「この十人分は猛々しくなくてそれは素早くない」ということは誤りだ
事実3: もしその保証契約はまどろっこしくらないとしたらあのキリシタン研究は猛々しい
事実4: もしもあのキリシタン研究は素早くないとすれば「この十人分はまどろっこしくらないしそれは猛々しくない」ということは間違いだ
事実5: この十人分はまどろっこしい
事実6: もし仮にこの十人分はまどろっこしくらないとしたら「「その保証契約は素早くないけどそれは猛々しい」ということは確かだ」ということは真実でない
事実7: あのキリシタン研究は猛々しいなら「この十人分は猛々しいけど素早くない」ということは間違っている
事実8: 仮にこの十人分は素早いということはないとすると「その保証契約はまどろっこしくらない一方で猛々しい」ということは誤っている
事実9: 「その保証契約はまどろっこしい一方で猛々しくない」ということは誤っている
事実10: もし仮にこの十人分は素早いとしたら「あのキリシタン研究が素早くないしさらにそれは猛々しくない」ということは偽である
事実11: 仮にその保証契約が気張らないとすればこのブレストはまどろっこしいしまた猛々しい

仮説: 仮にその保証契約はまどろっこしくらないならば「この十人分が猛々しくないしさらにそれは素早くない」ということは成り立たない
1. 仮定1: 以下のように仮定する。その保証契約はまどろっこしいということはない
2. 事実3と仮定1から、推論1: "あのキリシタン研究は猛々しい"が導かれる
3. 推論1と事実2から、推論2: "「この十人分が猛々しくないしさらにそれは素早くない」ということは成り立つということはない"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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