そのカトリック教徒は巻き取らない
fact1: もしも何らかの物が規格化しないとすれば巻き取らない fact2: もしもなんらかの物が差すとしたら上陸後であるしそれに成り難くない fact3: もし仮に「何らかのものは成り難くて加えて上陸後である」ということは間違いであるとすれば上陸後でない fact4: あの主計官は期待し難い fact5: もし仮に「その空っぽは差さない」ということは事実と異ならないとすれば「「あの主計官は成り難いしそれは上陸後である」ということは成り立つということはない」ということは確かだ fact6: そのカトリック教徒は温もるということはない fact7: そのカトリック教徒は期待し難いということはない fact8: 「あの主計官は期待し難くないかまたは巻き取るかもしくはどちらもだ」ということは偽である fact9: もし仮に「あの主計官は期待し難くないかもしくはそれは温もるかもしくはどちらもである」ということは本当であるということはないならばそのカトリック教徒は巻き取らない fact10: 「あの主計官は期待し難くないかあるいは温もるかあるいは両方ともだ」ということは本当でない fact11: もし仮に何かは上陸後であるけれど成り難くないとするとそれは規格化しない fact12: 仮に「あの主計官は温もらないかもしくは巻き取るかあるいはどちらもだ」ということは誤りであるならばそのカトリック教徒は期待し難くない
fact9 & fact10 -> hypothesis;
そのカトリック教徒は巻き取る
fact14 -> int1: 「あの主計官は成り難いししかも上陸後だ」ということは成り立たないならそれは上陸後でない;
$facts$ = fact1: もしも何らかの物が規格化しないとすれば巻き取らない fact2: もしもなんらかの物が差すとしたら上陸後であるしそれに成り難くない fact3: もし仮に「何らかのものは成り難くて加えて上陸後である」ということは間違いであるとすれば上陸後でない fact4: あの主計官は期待し難い fact5: もし仮に「その空っぽは差さない」ということは事実と異ならないとすれば「「あの主計官は成り難いしそれは上陸後である」ということは成り立つということはない」ということは確かだ fact6: そのカトリック教徒は温もるということはない fact7: そのカトリック教徒は期待し難いということはない fact8: 「あの主計官は期待し難くないかまたは巻き取るかもしくはどちらもだ」ということは偽である fact9: もし仮に「あの主計官は期待し難くないかもしくはそれは温もるかもしくはどちらもである」ということは本当であるということはないならばそのカトリック教徒は巻き取らない fact10: 「あの主計官は期待し難くないかあるいは温もるかあるいは両方ともだ」ということは本当でない fact11: もし仮に何かは上陸後であるけれど成り難くないとするとそれは規格化しない fact12: 仮に「あの主計官は温もらないかもしくは巻き取るかあるいはどちらもだ」ということは誤りであるならばそのカトリック教徒は期待し難くない ; $hypothesis$ = そのカトリック教徒は巻き取らない ; $proof$ = 
fact9 & fact10 -> hypothesis; __PROVED__
事実1: もしも何らかの物が規格化しないとすれば巻き取らない
事実2: もしもなんらかの物が差すとしたら上陸後であるしそれに成り難くない
事実3: もし仮に「何らかのものは成り難くて加えて上陸後である」ということは間違いであるとすれば上陸後でない
事実4: あの主計官は期待し難い
事実5: もし仮に「その空っぽは差さない」ということは事実と異ならないとすれば「「あの主計官は成り難いしそれは上陸後である」ということは成り立つということはない」ということは確かだ
事実6: そのカトリック教徒は温もるということはない
事実7: そのカトリック教徒は期待し難いということはない
事実8: 「あの主計官は期待し難くないかまたは巻き取るかもしくはどちらもだ」ということは偽である
事実9: もし仮に「あの主計官は期待し難くないかもしくはそれは温もるかもしくはどちらもである」ということは本当であるということはないならばそのカトリック教徒は巻き取らない
事実10: 「あの主計官は期待し難くないかあるいは温もるかあるいは両方ともだ」ということは本当でない
事実11: もし仮に何かは上陸後であるけれど成り難くないとするとそれは規格化しない
事実12: 仮に「あの主計官は温もらないかもしくは巻き取るかあるいはどちらもだ」ということは誤りであるならばそのカトリック教徒は期待し難くない

仮説: そのカトリック教徒は巻き取らない
1. 事実9と事実10から、仮説が導かれる

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