もしあの千九百九十年代前半が泥臭いならばあの術中は真理形だ
fact1: その術中は買い易いということはない fact2: その呼番号は泥臭くない fact3: 仮にこの不尽が泥臭いとすればあの千九百九十年代前半は買い易くない fact4: もしもその術中が買い易いならばこの不尽は真理形でない fact5: もし仮にこの不尽が泥臭いならばあの千九百九十年代前半は買い易い fact6: その領国体制は買い易いということはない fact7: この不尽は改編しない fact8: この不尽は真理形でない fact9: その譲渡益は真理形でない fact10: 「あの千九百九十年代前半は買い易い」ということは事実である fact11: この不尽は五室でない fact12: この不尽が買い易くないならばその術中は真理形である fact13: もしこの不尽が買い易いとしたらあの千九百九十年代前半は泥臭くない
void -> assump1: 以下のように仮定する。この不尽は買い易い; fact13 & assump1 -> int1: あの千九百九十年代前半は泥臭くない; void -> assump2: 以下のように仮定する。「あの千九百九十年代前半は泥臭い」ということは本当である; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: この不尽は買い易くない; int3 & fact12 -> int4: その術中は真理形である; [assump2] & int4 -> hypothesis;
$facts$ = fact1: その術中は買い易いということはない fact2: その呼番号は泥臭くない fact3: 仮にこの不尽が泥臭いとすればあの千九百九十年代前半は買い易くない fact4: もしもその術中が買い易いならばこの不尽は真理形でない fact5: もし仮にこの不尽が泥臭いならばあの千九百九十年代前半は買い易い fact6: その領国体制は買い易いということはない fact7: この不尽は改編しない fact8: この不尽は真理形でない fact9: その譲渡益は真理形でない fact10: 「あの千九百九十年代前半は買い易い」ということは事実である fact11: この不尽は五室でない fact12: この不尽が買い易くないならばその術中は真理形である fact13: もしこの不尽が買い易いとしたらあの千九百九十年代前半は泥臭くない ; $hypothesis$ = もしあの千九百九十年代前半が泥臭いならばあの術中は真理形だ ; $proof$ = 
void -> assump1: 以下のように仮定する。この不尽は買い易い; fact13 & assump1 -> int1: あの千九百九十年代前半は泥臭くない; void -> assump2: 以下のように仮定する。「あの千九百九十年代前半は泥臭い」ということは本当である; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: この不尽は買い易くない; int3 & fact12 -> int4: その術中は真理形である; [assump2] & int4 -> hypothesis; __PROVED__
事実1: その術中は買い易いということはない
事実2: その呼番号は泥臭くない
事実3: 仮にこの不尽が泥臭いとすればあの千九百九十年代前半は買い易くない
事実4: もしもその術中が買い易いならばこの不尽は真理形でない
事実5: もし仮にこの不尽が泥臭いならばあの千九百九十年代前半は買い易い
事実6: その領国体制は買い易いということはない
事実7: この不尽は改編しない
事実8: この不尽は真理形でない
事実9: その譲渡益は真理形でない
事実10: 「あの千九百九十年代前半は買い易い」ということは事実である
事実11: この不尽は五室でない
事実12: この不尽が買い易くないならばその術中は真理形である
事実13: もしこの不尽が買い易いとしたらあの千九百九十年代前半は泥臭くない

仮説: もしあの千九百九十年代前半が泥臭いならばあの術中は真理形だ
1. 仮定1: 以下のように仮定する。この不尽は買い易い
2. 事実13と仮定1から、推論1: "あの千九百九十年代前半は泥臭くない"が導かれる
3. 仮定2: 以下のように仮定する。「あの千九百九十年代前半は泥臭い」ということは本当である
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "この不尽は買い易くない"が導かれる
6. 推論3と事実12から、推論4: "その術中は真理形である"が導かれる
7. [仮定2]と推論4から、仮説が導かれる

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