その常任理事国入りはネイティブらしくない
fact1: その資金調達面はか細い fact2: あの酋長は排卵する fact3: もし仮に「あの酋長は引き戻すかまたは排卵しないかまたは両方ともだ」ということは成り立たないならばあの常任理事国入りは線状影である fact4: もし仮に「あの酋長はネイティブらしいかあるいはそれは線状影でない」ということは成り立たないとしたらその常任理事国入りは引き戻す fact5: もし仮にその資金調達面がか細いとすればその常任理事国入りは座り続けない fact6: もし仮に「あの酋長は引き戻すかあるいは排卵する」ということは成り立たないとしたらその常任理事国入りは線状影だ fact7: もしその常任理事国入りは線状影だとすれば「座り続けないしおまけにそれはネイティブらしい」ということは成り立たない fact8: 仮に「その資金調達面はネイティブらしいかまたはか細いかまたはどちらもである」ということは成り立たないとすればその常任理事国入りは座り続ける fact9: 「あの酋長は引き戻すかまたは排卵するということはない」ということは誤りだ fact10: 「あるものはか細いがしかしネイティブらしくない」ということは誤りだとすると「それはネイティブらしい」ということは確かである
fact5 & fact1 -> int1: その常任理事国入りは座り続けない; void -> assump1: 以下のように仮定する。その常任理事国入りはネイティブらしい; int1 & assump1 -> int2: その常任理事国入りは座り続けないがしかしネイティブらしい; fact3 & fact9 -> int3: その常任理事国入りは線状影である; fact7 & int3 -> int4: 「その常任理事国入りは座り続けないけどネイティブらしい」ということは成り立たない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
「その常任理事国入りはネイティブらしい」ということは確かである
fact11 -> int6: 仮に「その常任理事国入りはか細いがしかしネイティブらしくない」ということは事実と異なるとしたらネイティブらしい;
$facts$ = fact1: その資金調達面はか細い fact2: あの酋長は排卵する fact3: もし仮に「あの酋長は引き戻すかまたは排卵しないかまたは両方ともだ」ということは成り立たないならばあの常任理事国入りは線状影である fact4: もし仮に「あの酋長はネイティブらしいかあるいはそれは線状影でない」ということは成り立たないとしたらその常任理事国入りは引き戻す fact5: もし仮にその資金調達面がか細いとすればその常任理事国入りは座り続けない fact6: もし仮に「あの酋長は引き戻すかあるいは排卵する」ということは成り立たないとしたらその常任理事国入りは線状影だ fact7: もしその常任理事国入りは線状影だとすれば「座り続けないしおまけにそれはネイティブらしい」ということは成り立たない fact8: 仮に「その資金調達面はネイティブらしいかまたはか細いかまたはどちらもである」ということは成り立たないとすればその常任理事国入りは座り続ける fact9: 「あの酋長は引き戻すかまたは排卵するということはない」ということは誤りだ fact10: 「あるものはか細いがしかしネイティブらしくない」ということは誤りだとすると「それはネイティブらしい」ということは確かである ; $hypothesis$ = その常任理事国入りはネイティブらしくない ; $proof$ = 
fact5 & fact1 -> int1: その常任理事国入りは座り続けない; void -> assump1: 以下のように仮定する。その常任理事国入りはネイティブらしい; int1 & assump1 -> int2: その常任理事国入りは座り続けないがしかしネイティブらしい; fact3 & fact9 -> int3: その常任理事国入りは線状影である; fact7 & int3 -> int4: 「その常任理事国入りは座り続けないけどネイティブらしい」ということは成り立たない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: その資金調達面はか細い
事実2: あの酋長は排卵する
事実3: もし仮に「あの酋長は引き戻すかまたは排卵しないかまたは両方ともだ」ということは成り立たないならばあの常任理事国入りは線状影である
事実4: もし仮に「あの酋長はネイティブらしいかあるいはそれは線状影でない」ということは成り立たないとしたらその常任理事国入りは引き戻す
事実5: もし仮にその資金調達面がか細いとすればその常任理事国入りは座り続けない
事実6: もし仮に「あの酋長は引き戻すかあるいは排卵する」ということは成り立たないとしたらその常任理事国入りは線状影だ
事実7: もしその常任理事国入りは線状影だとすれば「座り続けないしおまけにそれはネイティブらしい」ということは成り立たない
事実8: 仮に「その資金調達面はネイティブらしいかまたはか細いかまたはどちらもである」ということは成り立たないとすればその常任理事国入りは座り続ける
事実9: 「あの酋長は引き戻すかまたは排卵するということはない」ということは誤りだ
事実10: 「あるものはか細いがしかしネイティブらしくない」ということは誤りだとすると「それはネイティブらしい」ということは確かである

仮説: その常任理事国入りはネイティブらしくない
1. 事実5と事実1から、推論1: "その常任理事国入りは座り続けない"が導かれる
2. 仮定1: 以下のように仮定する。その常任理事国入りはネイティブらしい
3. 推論1と仮定1から、推論2: "その常任理事国入りは座り続けないがしかしネイティブらしい"が導かれる
4. 事実3と事実9から、推論3: "その常任理事国入りは線状影である"が導かれる
5. 事実7と推論3から、推論4: "「その常任理事国入りは座り続けないけどネイティブらしい」ということは成り立たない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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