「このエジプト王朝は観でない」ということは真実である
fact1: もし「「試着する」ということは成り立つ」ものがあるとしたらこのエジプト王朝は快くない fact2: このエジプト王朝は快くない fact3: もしも「その十万冊は観でないし御化粧しない」ということは成り立たないとすれば「このエジプト王朝は試着する」ということは事実だ fact4: 「試着する」ものはあるとしたら「このエジプト王朝は快いかまたはそれは御化粧するということはないかもしくは両方だ」ということは誤っている fact5: 仮に「とあるものは快いかまたはそれは御化粧しないか両方だ」ということは正しくないとすれば観だということはない fact6: もしも「その十万冊は快くてかつそれは御化粧する」ということは誤りであるとすればこのエジプト王朝は快くない fact7: もし仮になにがしかの物は出展しないなら「快くてさらに御化粧する」ということは成り立たない fact8: この舌遣いは快い fact9: 仮にこのエジプト王朝は試着すれば「「あの柑橘は灘であるかあるいは快くない」ということは誤りである」ということは本当である fact10: 「試着する」物はある
fact10 & fact4 -> int1: 「このエジプト王朝は快いかあるいは御化粧するということはない」ということは本当でない; fact5 -> int2: 「仮に「「このエジプト王朝は快いかあるいは御化粧するということはない」ということは確かである」ということは誤りならこのエジプト王朝は観でない」ということは事実だ; int1 & int2 -> hypothesis;
このエジプト王朝は観である
fact12 -> int3: もし「その十万冊は出展しない」ということは真実ならば「それは快くて御化粧する」ということは嘘である;
$facts$ = fact1: もし「「試着する」ということは成り立つ」ものがあるとしたらこのエジプト王朝は快くない fact2: このエジプト王朝は快くない fact3: もしも「その十万冊は観でないし御化粧しない」ということは成り立たないとすれば「このエジプト王朝は試着する」ということは事実だ fact4: 「試着する」ものはあるとしたら「このエジプト王朝は快いかまたはそれは御化粧するということはないかもしくは両方だ」ということは誤っている fact5: 仮に「とあるものは快いかまたはそれは御化粧しないか両方だ」ということは正しくないとすれば観だということはない fact6: もしも「その十万冊は快くてかつそれは御化粧する」ということは誤りであるとすればこのエジプト王朝は快くない fact7: もし仮になにがしかの物は出展しないなら「快くてさらに御化粧する」ということは成り立たない fact8: この舌遣いは快い fact9: 仮にこのエジプト王朝は試着すれば「「あの柑橘は灘であるかあるいは快くない」ということは誤りである」ということは本当である fact10: 「試着する」物はある ; $hypothesis$ = 「このエジプト王朝は観でない」ということは真実である ; $proof$ = 
fact10 & fact4 -> int1: 「このエジプト王朝は快いかあるいは御化粧するということはない」ということは本当でない; fact5 -> int2: 「仮に「「このエジプト王朝は快いかあるいは御化粧するということはない」ということは確かである」ということは誤りならこのエジプト王朝は観でない」ということは事実だ; int1 & int2 -> hypothesis; __PROVED__
事実1: もし「「試着する」ということは成り立つ」ものがあるとしたらこのエジプト王朝は快くない
事実2: このエジプト王朝は快くない
事実3: もしも「その十万冊は観でないし御化粧しない」ということは成り立たないとすれば「このエジプト王朝は試着する」ということは事実だ
事実4: 「試着する」ものはあるとしたら「このエジプト王朝は快いかまたはそれは御化粧するということはないかもしくは両方だ」ということは誤っている
事実5: 仮に「とあるものは快いかまたはそれは御化粧しないか両方だ」ということは正しくないとすれば観だということはない
事実6: もしも「その十万冊は快くてかつそれは御化粧する」ということは誤りであるとすればこのエジプト王朝は快くない
事実7: もし仮になにがしかの物は出展しないなら「快くてさらに御化粧する」ということは成り立たない
事実8: この舌遣いは快い
事実9: 仮にこのエジプト王朝は試着すれば「「あの柑橘は灘であるかあるいは快くない」ということは誤りである」ということは本当である
事実10: 「試着する」物はある

仮説: 「このエジプト王朝は観でない」ということは真実である
1. 事実10と事実4から、推論1: "「このエジプト王朝は快いかあるいは御化粧するということはない」ということは本当でない"が導かれる
2. 事実5から、推論2: "「仮に「「このエジプト王朝は快いかあるいは御化粧するということはない」ということは確かである」ということは誤りならこのエジプト王朝は観でない」ということは事実だ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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