もしもあのケーキクーラーはＮ社ならば「その百六里庭は分散性でないかもしくはそれは建設事業費であるかあるいは両方だ」ということは誤っている
fact1: 仮にその百六里庭は作業し易いとすると「その成熟期は分散性であるか建設事業費だ」ということは偽である fact2: もし仮になんらかのものがＮ社でないならばそれは小零細企業だということはないかそれは作業し易くない fact3: その百六里庭は建設事業費だということはないかもしくはＮ社であるかあるいはどちらもだ fact4: 「その百六里庭は分散性である」ということは確かである fact5: この胆道疾患は取っ付き難くないならば「その成熟期は建設事業費だということはない」ということは確かである fact6: 「あのケーキクーラーは作業し易くない」ということは正しい fact7: もし仮にその成熟期が建設事業費でないならその百六里庭は分散性でないかあるいは建設事業費であるかまたはどちらもである fact8: その成熟期は建設事業費でないならば「その百六里庭は分散性でないか建設事業費であるかまたはどちらもである」ということは成り立つということはない fact9: もしも「あのケーキクーラーはＮ社だ」ということは真実だとするとこの胆道疾患は作業し易いということはないしその上流れ易いない fact10: もしこの胆道疾患が取っ付き難いということはないかそれが作業し易くないかまたは両方だとすればあの成熟期は建設事業費だということはない fact11: もしもその成熟期が建設事業費でないならばその百六里庭は分散性である
void -> assump1: 以下のように仮定する。あのケーキクーラーはＮ社である; fact9 & assump1 -> int1: この胆道疾患は作業し易くないししかも流れ易いということはない; int1 -> int2: この胆道疾患は作業し易くない; int2 -> int3: この胆道疾患は取っ付き難くないかまたは作業し易くないかもしくは両方である; int3 & fact10 -> int4: その成熟期は建設事業費であるということはない; int4 & fact8 -> int5: 「その百六里庭は分散性だということはないかもしくは建設事業費である」ということは偽だ; [assump1] & int5 -> hypothesis;
この指南役は小零細企業でないか作業し易くない
fact12 -> int6: もしもこの指南役がＮ社でないならば小零細企業でないかもしくはそれは作業し易くない;
$facts$ = fact1: 仮にその百六里庭は作業し易いとすると「その成熟期は分散性であるか建設事業費だ」ということは偽である fact2: もし仮になんらかのものがＮ社でないならばそれは小零細企業だということはないかそれは作業し易くない fact3: その百六里庭は建設事業費だということはないかもしくはＮ社であるかあるいはどちらもだ fact4: 「その百六里庭は分散性である」ということは確かである fact5: この胆道疾患は取っ付き難くないならば「その成熟期は建設事業費だということはない」ということは確かである fact6: 「あのケーキクーラーは作業し易くない」ということは正しい fact7: もし仮にその成熟期が建設事業費でないならその百六里庭は分散性でないかあるいは建設事業費であるかまたはどちらもである fact8: その成熟期は建設事業費でないならば「その百六里庭は分散性でないか建設事業費であるかまたはどちらもである」ということは成り立つということはない fact9: もしも「あのケーキクーラーはＮ社だ」ということは真実だとするとこの胆道疾患は作業し易いということはないしその上流れ易いない fact10: もしこの胆道疾患が取っ付き難いということはないかそれが作業し易くないかまたは両方だとすればあの成熟期は建設事業費だということはない fact11: もしもその成熟期が建設事業費でないならばその百六里庭は分散性である ; $hypothesis$ = もしもあのケーキクーラーはＮ社ならば「その百六里庭は分散性でないかもしくはそれは建設事業費であるかあるいは両方だ」ということは誤っている ; $proof$ = 
void -> assump1: 以下のように仮定する。あのケーキクーラーはＮ社である; fact9 & assump1 -> int1: この胆道疾患は作業し易くないししかも流れ易いということはない; int1 -> int2: この胆道疾患は作業し易くない; int2 -> int3: この胆道疾患は取っ付き難くないかまたは作業し易くないかもしくは両方である; int3 & fact10 -> int4: その成熟期は建設事業費であるということはない; int4 & fact8 -> int5: 「その百六里庭は分散性だということはないかもしくは建設事業費である」ということは偽だ; [assump1] & int5 -> hypothesis; __PROVED__
事実1: 仮にその百六里庭は作業し易いとすると「その成熟期は分散性であるか建設事業費だ」ということは偽である
事実2: もし仮になんらかのものがＮ社でないならばそれは小零細企業だということはないかそれは作業し易くない
事実3: その百六里庭は建設事業費だということはないかもしくはＮ社であるかあるいはどちらもだ
事実4: 「その百六里庭は分散性である」ということは確かである
事実5: この胆道疾患は取っ付き難くないならば「その成熟期は建設事業費だということはない」ということは確かである
事実6: 「あのケーキクーラーは作業し易くない」ということは正しい
事実7: もし仮にその成熟期が建設事業費でないならその百六里庭は分散性でないかあるいは建設事業費であるかまたはどちらもである
事実8: その成熟期は建設事業費でないならば「その百六里庭は分散性でないか建設事業費であるかまたはどちらもである」ということは成り立つということはない
事実9: もしも「あのケーキクーラーはＮ社だ」ということは真実だとするとこの胆道疾患は作業し易いということはないしその上流れ易いない
事実10: もしこの胆道疾患が取っ付き難いということはないかそれが作業し易くないかまたは両方だとすればあの成熟期は建設事業費だということはない
事実11: もしもその成熟期が建設事業費でないならばその百六里庭は分散性である

仮説: もしもあのケーキクーラーはＮ社ならば「その百六里庭は分散性でないかもしくはそれは建設事業費であるかあるいは両方だ」ということは誤っている
1. 仮定1: 以下のように仮定する。あのケーキクーラーはＮ社である
2. 事実9と仮定1から、推論1: "この胆道疾患は作業し易くないししかも流れ易いということはない"が導かれる
3. 推論1から、推論2: "この胆道疾患は作業し易くない"が導かれる
4. 推論2から、推論3: "この胆道疾患は取っ付き難くないかまたは作業し易くないかもしくは両方である"が導かれる
5. 推論3と事実10から、推論4: "その成熟期は建設事業費であるということはない"が導かれる
6. 推論4と事実8から、推論5: "「その百六里庭は分散性だということはないかもしくは建設事業費である」ということは偽だ"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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