その露人は矛盾する
fact1: 「その輿運が暗しということはないとすればその露人は気遣うし大小切だ」ということは確かだ fact2: あの試験区分は大小切である fact3: もしその輿運は気遣わないとすれば「「その露人は大小切であるしそれは打ち明ける」ということは事実と異なる」ということは正しい fact4: あるものが打ち明ければそれは矛盾する fact5: もしあの試験区分は打ち明けるということはないけど大小切だとすれば「その露人は矛盾する」ということは事実だ fact6: 仮になにがしかのものは酸いとすれば「それは希少価値でなくて着せ掛ける」ということは真実でない fact7: 何もかもは大小切である fact8: 全ては打ち明けないけれど大小切だ fact9: この半日陰は大小切である fact10: もし仮に「この最終物質は希少価値でない一方で着せ掛ける」ということは事実と異なればその輿運は暗しということはない
fact8 -> int1: あの試験区分は打ち明けないが大小切である; int1 & fact5 -> hypothesis;
fact8 -> int1: (¬{A}{aa} & {B}{aa}); int1 & fact5 -> hypothesis;
この上接語は矛盾する
fact11 -> int2: 仮にこの上接語が打ち明ければそれは矛盾する; fact14 -> int3: この最終物質は酸いとすると「それは希少価値でないけれど着せ掛ける」ということは間違っている;
$facts$ = fact1: 「その輿運が暗しということはないとすればその露人は気遣うし大小切だ」ということは確かだ fact2: あの試験区分は大小切である fact3: もしその輿運は気遣わないとすれば「「その露人は大小切であるしそれは打ち明ける」ということは事実と異なる」ということは正しい fact4: あるものが打ち明ければそれは矛盾する fact5: もしあの試験区分は打ち明けるということはないけど大小切だとすれば「その露人は矛盾する」ということは事実だ fact6: 仮になにがしかのものは酸いとすれば「それは希少価値でなくて着せ掛ける」ということは真実でない fact7: 何もかもは大小切である fact8: 全ては打ち明けないけれど大小切だ fact9: この半日陰は大小切である fact10: もし仮に「この最終物質は希少価値でない一方で着せ掛ける」ということは事実と異なればその輿運は暗しということはない ; $hypothesis$ = その露人は矛盾する ; $proof$ = 
fact8 -> int1: あの試験区分は打ち明けないが大小切である; int1 & fact5 -> hypothesis; __PROVED__
事実1: 「その輿運が暗しということはないとすればその露人は気遣うし大小切だ」ということは確かだ
事実2: あの試験区分は大小切である
事実3: もしその輿運は気遣わないとすれば「「その露人は大小切であるしそれは打ち明ける」ということは事実と異なる」ということは正しい
事実4: あるものが打ち明ければそれは矛盾する
事実5: もしあの試験区分は打ち明けるということはないけど大小切だとすれば「その露人は矛盾する」ということは事実だ
事実6: 仮になにがしかのものは酸いとすれば「それは希少価値でなくて着せ掛ける」ということは真実でない
事実7: 何もかもは大小切である
事実8: 全ては打ち明けないけれど大小切だ
事実9: この半日陰は大小切である
事実10: もし仮に「この最終物質は希少価値でない一方で着せ掛ける」ということは事実と異なればその輿運は暗しということはない

仮説: その露人は矛盾する
1. 事実8から、推論1: "あの試験区分は打ち明けないが大小切である"が導かれる
2. 推論1と事実5から、仮説が導かれる

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