もしもその太腿が資源であるならばその婚は宝蔵目録であるかまたはそれは其れっぽくない
fact1: 仮にその太腿は資源であるとすれば「その婚は学校図書館法だけれど庚申堂でない」ということは成り立たない fact2: もしその婚が学校図書館法だとしたらその太腿は其れっぽいかまたはそれは資源だということはない fact3: 「何かは学校図書館法だが庚申堂でない」ということは事実でないならそれは宝蔵目録である fact4: もし仮に「その太腿は資源である」ということは本当であるとすれば「その婚は学校図書館法であるししかも庚申堂である」ということは正しくない fact5: 「その太腿が資源だけどそれは庚申堂だということはない」ということは嘘である fact6: もしその諒が信ずるならそれは其れっぽい fact7: 仮にその太腿が資源であるとすればその婚は宝蔵目録であるかまたは其れっぽい fact8: あの計算高さは宝蔵目録である fact9: もし「なにかは庚申堂であるがしかしそれは規範化しない」ということは事実だということはないならばそれはたくし上げる fact10: 「「その婚は学校図書館法であるしかつ庚申堂である」ということは成り立たない」ということは正しい fact11: 仮にその婚が庚申堂であるならばその太腿は学校図書館法であるかまたはそれは其れっぽくないかもしくは両方だ
void -> assump1: 以下のように仮定する。その太腿は資源だ; fact1 & assump1 -> int1: 「その婚は学校図書館法であるが庚申堂であるということはない」ということは真実でない; fact3 -> int2: もしも「その婚は学校図書館法だが庚申堂でない」ということは真実でないなら宝蔵目録である; int1 & int2 -> int3: その婚は宝蔵目録である; int3 -> int4: その婚は宝蔵目録であるかまたは其れっぽくない; [assump1] & int4 -> hypothesis;
仮に「あの極まりは庚申堂であるが規範化するということはない」ということは確かでないならばそれはたくし上げる
fact12 -> hypothesis;
$facts$ = fact1: 仮にその太腿は資源であるとすれば「その婚は学校図書館法だけれど庚申堂でない」ということは成り立たない fact2: もしその婚が学校図書館法だとしたらその太腿は其れっぽいかまたはそれは資源だということはない fact3: 「何かは学校図書館法だが庚申堂でない」ということは事実でないならそれは宝蔵目録である fact4: もし仮に「その太腿は資源である」ということは本当であるとすれば「その婚は学校図書館法であるししかも庚申堂である」ということは正しくない fact5: 「その太腿が資源だけどそれは庚申堂だということはない」ということは嘘である fact6: もしその諒が信ずるならそれは其れっぽい fact7: 仮にその太腿が資源であるとすればその婚は宝蔵目録であるかまたは其れっぽい fact8: あの計算高さは宝蔵目録である fact9: もし「なにかは庚申堂であるがしかしそれは規範化しない」ということは事実だということはないならばそれはたくし上げる fact10: 「「その婚は学校図書館法であるしかつ庚申堂である」ということは成り立たない」ということは正しい fact11: 仮にその婚が庚申堂であるならばその太腿は学校図書館法であるかまたはそれは其れっぽくないかもしくは両方だ ; $hypothesis$ = もしもその太腿が資源であるならばその婚は宝蔵目録であるかまたはそれは其れっぽくない ; $proof$ = 
void -> assump1: 以下のように仮定する。その太腿は資源だ; fact1 & assump1 -> int1: 「その婚は学校図書館法であるが庚申堂であるということはない」ということは真実でない; fact3 -> int2: もしも「その婚は学校図書館法だが庚申堂でない」ということは真実でないなら宝蔵目録である; int1 & int2 -> int3: その婚は宝蔵目録である; int3 -> int4: その婚は宝蔵目録であるかまたは其れっぽくない; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 仮にその太腿は資源であるとすれば「その婚は学校図書館法だけれど庚申堂でない」ということは成り立たない
事実2: もしその婚が学校図書館法だとしたらその太腿は其れっぽいかまたはそれは資源だということはない
事実3: 「何かは学校図書館法だが庚申堂でない」ということは事実でないならそれは宝蔵目録である
事実4: もし仮に「その太腿は資源である」ということは本当であるとすれば「その婚は学校図書館法であるししかも庚申堂である」ということは正しくない
事実5: 「その太腿が資源だけどそれは庚申堂だということはない」ということは嘘である
事実6: もしその諒が信ずるならそれは其れっぽい
事実7: 仮にその太腿が資源であるとすればその婚は宝蔵目録であるかまたは其れっぽい
事実8: あの計算高さは宝蔵目録である
事実9: もし「なにかは庚申堂であるがしかしそれは規範化しない」ということは事実だということはないならばそれはたくし上げる
事実10: 「「その婚は学校図書館法であるしかつ庚申堂である」ということは成り立たない」ということは正しい
事実11: 仮にその婚が庚申堂であるならばその太腿は学校図書館法であるかまたはそれは其れっぽくないかもしくは両方だ

仮説: もしもその太腿が資源であるならばその婚は宝蔵目録であるかまたはそれは其れっぽくない
1. 仮定1: 以下のように仮定する。その太腿は資源だ
2. 事実1と仮定1から、推論1: "「その婚は学校図書館法であるが庚申堂であるということはない」ということは真実でない"が導かれる
3. 事実3から、推論2: "もしも「その婚は学校図書館法だが庚申堂でない」ということは真実でないなら宝蔵目録である"が導かれる
4. 推論1と推論2から、推論3: "その婚は宝蔵目録である"が導かれる
5. 推論3から、推論4: "その婚は宝蔵目録であるかまたは其れっぽくない"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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