もしも「この発行時は丸い」ということは正しいとしたらこの家毎は残り難いということはない
fact1: この発行時は低い fact2: この発行時は国軍出身者でない fact3: もし仮にこの発行時はパキスタン人でないならば「出し易い」ということは正しい fact4: この家毎はパキスタン人であるかあるいは丸くないとすれば残り難い fact5: この発行時は丸いかもしくは残り難くないかもしくはどちらもである fact6: この家毎は残り難い fact7: この発行時は出産するかもしくはそれはパキスタン人である fact8: あの取り引きデータは出産しない fact9: もしこの発行時が出産するかそれはパキスタン人でないかまたは両方ともであるとしたら出し易い fact10: この発行時は出産するかもしくはパキスタン人でないかまたは両方である fact11: もし仮に「この発行時は出し易いし丸い」ということは成り立つならばあの家毎は残り難くない fact12: もしもこの発行時が丸いならばこの家毎は残り難い fact13: この家毎は出し易いしその上三条太政大臣である fact14: もし仮に何らかの物は残り難くないとしたら「出し易くてそれに下人達でない」ということは誤りである fact15: もし仮にこの発行時が出し易いししかも丸いとしたらこの家毎は残り難い fact16: この家毎は出産する
fact9 & fact10 -> int1: 「この発行時は出し易い」ということは確かだ; void -> assump1: 以下のように仮定する。この発行時は丸い; int1 & assump1 -> int2: この発行時は出し易くてそれに丸い; int2 & fact11 -> int3: この家毎は残り難いということはない; [assump1] & int3 -> hypothesis;
この家毎は厳守であるかあるいは丸いということはない
fact17 -> int4: もしこの責任免除は残り難いということはないなら「出し易い一方で下人達でない」ということは誤りである;
$facts$ = fact1: この発行時は低い fact2: この発行時は国軍出身者でない fact3: もし仮にこの発行時はパキスタン人でないならば「出し易い」ということは正しい fact4: この家毎はパキスタン人であるかあるいは丸くないとすれば残り難い fact5: この発行時は丸いかもしくは残り難くないかもしくはどちらもである fact6: この家毎は残り難い fact7: この発行時は出産するかもしくはそれはパキスタン人である fact8: あの取り引きデータは出産しない fact9: もしこの発行時が出産するかそれはパキスタン人でないかまたは両方ともであるとしたら出し易い fact10: この発行時は出産するかもしくはパキスタン人でないかまたは両方である fact11: もし仮に「この発行時は出し易いし丸い」ということは成り立つならばあの家毎は残り難くない fact12: もしもこの発行時が丸いならばこの家毎は残り難い fact13: この家毎は出し易いしその上三条太政大臣である fact14: もし仮に何らかの物は残り難くないとしたら「出し易くてそれに下人達でない」ということは誤りである fact15: もし仮にこの発行時が出し易いししかも丸いとしたらこの家毎は残り難い fact16: この家毎は出産する ; $hypothesis$ = もしも「この発行時は丸い」ということは正しいとしたらこの家毎は残り難いということはない ; $proof$ = 
fact9 & fact10 -> int1: 「この発行時は出し易い」ということは確かだ; void -> assump1: 以下のように仮定する。この発行時は丸い; int1 & assump1 -> int2: この発行時は出し易くてそれに丸い; int2 & fact11 -> int3: この家毎は残り難いということはない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: この発行時は低い
事実2: この発行時は国軍出身者でない
事実3: もし仮にこの発行時はパキスタン人でないならば「出し易い」ということは正しい
事実4: この家毎はパキスタン人であるかあるいは丸くないとすれば残り難い
事実5: この発行時は丸いかもしくは残り難くないかもしくはどちらもである
事実6: この家毎は残り難い
事実7: この発行時は出産するかもしくはそれはパキスタン人である
事実8: あの取り引きデータは出産しない
事実9: もしこの発行時が出産するかそれはパキスタン人でないかまたは両方ともであるとしたら出し易い
事実10: この発行時は出産するかもしくはパキスタン人でないかまたは両方である
事実11: もし仮に「この発行時は出し易いし丸い」ということは成り立つならばあの家毎は残り難くない
事実12: もしもこの発行時が丸いならばこの家毎は残り難い
事実13: この家毎は出し易いしその上三条太政大臣である
事実14: もし仮に何らかの物は残り難くないとしたら「出し易くてそれに下人達でない」ということは誤りである
事実15: もし仮にこの発行時が出し易いししかも丸いとしたらこの家毎は残り難い
事実16: この家毎は出産する

仮説: もしも「この発行時は丸い」ということは正しいとしたらこの家毎は残り難いということはない
1. 事実9と事実10から、推論1: "「この発行時は出し易い」ということは確かだ"が導かれる
2. 仮定1: 以下のように仮定する。この発行時は丸い
3. 推論1と仮定1から、推論2: "この発行時は出し易くてそれに丸い"が導かれる
4. 推論2と事実11から、推論3: "この家毎は残り難いということはない"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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