その中年女は資産計上する
fact1: もしなにがしかの物は当たり難くないならば「汗臭くてまたそれは編纂・発行しない」ということは偽である fact2: 「そのカタン編は汗臭いが編纂・発行しない」ということは間違いだとするとその中年女は編纂・発行しない fact3: なにがしかの物が着慣れない一方でそれは炎症性腸疾患ならば「それは組閣しない」ということは本当である fact4: 仮になんらかのものは組閣しないとすると「それは仰々しくなくてしかも整数であるということはない」ということは間違っている fact5: 仮に「あの遺言者は仰々しくないしさらに整数でない」ということは誤りだとしたらそのカタン編は整数であるということはない fact6: その中年女が資産計上するかそれがビジネスクラスでないかあるいは両方であるとしたらそのカタン編は近し fact7: そのカタン編は近しかもしくはビジネスクラスであるということはないかどちらもだ fact8: もし仮にそのカタン編がビジネスクラスでないとするとその中年女は資産計上する fact9: 国家国民は資産計上しない fact10: もしあの遺言者が設置・運営だとしたらそれは着慣れなくて加えて炎症性腸疾患だ fact11: なにがしかのものが順位付けるなら当たり難くなくてそれにそれは新暦換算でない fact12: もしそのカタン編が近しかあるいはそれがビジネスクラスでないとしたらその中年女は資産計上する fact13: そのカタン編は近しかもしくはビジネスクラスであるかまたはどちらもだ fact14: もしもそのカタン編は整数でないならば教育目標であるしさらに順位付ける fact15: そのカタン編は近しか資産計上しないかどちらもだ fact16: もしもあるものは国家国民であるとするとそれは資産計上する fact17: もしもその中年女が編纂・発行しないならば資産計上しなくてかつ国家国民でない
fact12 & fact7 -> hypothesis;
fact12 & fact7 -> hypothesis;
その中年女は資産計上しない
fact18 -> int1: もしもその中年女は国家国民であるとすると「それは資産計上するということはない」ということは成り立つ;
$facts$ = fact1: もしなにがしかの物は当たり難くないならば「汗臭くてまたそれは編纂・発行しない」ということは偽である fact2: 「そのカタン編は汗臭いが編纂・発行しない」ということは間違いだとするとその中年女は編纂・発行しない fact3: なにがしかの物が着慣れない一方でそれは炎症性腸疾患ならば「それは組閣しない」ということは本当である fact4: 仮になんらかのものは組閣しないとすると「それは仰々しくなくてしかも整数であるということはない」ということは間違っている fact5: 仮に「あの遺言者は仰々しくないしさらに整数でない」ということは誤りだとしたらそのカタン編は整数であるということはない fact6: その中年女が資産計上するかそれがビジネスクラスでないかあるいは両方であるとしたらそのカタン編は近し fact7: そのカタン編は近しかもしくはビジネスクラスであるということはないかどちらもだ fact8: もし仮にそのカタン編がビジネスクラスでないとするとその中年女は資産計上する fact9: 国家国民は資産計上しない fact10: もしあの遺言者が設置・運営だとしたらそれは着慣れなくて加えて炎症性腸疾患だ fact11: なにがしかのものが順位付けるなら当たり難くなくてそれにそれは新暦換算でない fact12: もしそのカタン編が近しかあるいはそれがビジネスクラスでないとしたらその中年女は資産計上する fact13: そのカタン編は近しかもしくはビジネスクラスであるかまたはどちらもだ fact14: もしもそのカタン編は整数でないならば教育目標であるしさらに順位付ける fact15: そのカタン編は近しか資産計上しないかどちらもだ fact16: もしもあるものは国家国民であるとするとそれは資産計上する fact17: もしもその中年女が編纂・発行しないならば資産計上しなくてかつ国家国民でない ; $hypothesis$ = その中年女は資産計上する ; $proof$ = 
fact12 & fact7 -> hypothesis; __PROVED__
事実1: もしなにがしかの物は当たり難くないならば「汗臭くてまたそれは編纂・発行しない」ということは偽である
事実2: 「そのカタン編は汗臭いが編纂・発行しない」ということは間違いだとするとその中年女は編纂・発行しない
事実3: なにがしかの物が着慣れない一方でそれは炎症性腸疾患ならば「それは組閣しない」ということは本当である
事実4: 仮になんらかのものは組閣しないとすると「それは仰々しくなくてしかも整数であるということはない」ということは間違っている
事実5: 仮に「あの遺言者は仰々しくないしさらに整数でない」ということは誤りだとしたらそのカタン編は整数であるということはない
事実6: その中年女が資産計上するかそれがビジネスクラスでないかあるいは両方であるとしたらそのカタン編は近し
事実7: そのカタン編は近しかもしくはビジネスクラスであるということはないかどちらもだ
事実8: もし仮にそのカタン編がビジネスクラスでないとするとその中年女は資産計上する
事実9: 国家国民は資産計上しない
事実10: もしあの遺言者が設置・運営だとしたらそれは着慣れなくて加えて炎症性腸疾患だ
事実11: なにがしかのものが順位付けるなら当たり難くなくてそれにそれは新暦換算でない
事実12: もしそのカタン編が近しかあるいはそれがビジネスクラスでないとしたらその中年女は資産計上する
事実13: そのカタン編は近しかもしくはビジネスクラスであるかまたはどちらもだ
事実14: もしもそのカタン編は整数でないならば教育目標であるしさらに順位付ける
事実15: そのカタン編は近しか資産計上しないかどちらもだ
事実16: もしもあるものは国家国民であるとするとそれは資産計上する
事実17: もしもその中年女が編纂・発行しないならば資産計上しなくてかつ国家国民でない

仮説: その中年女は資産計上する
1. 事実12と事実7から、仮説が導かれる

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