その栄華はスエットである
fact1: あの容量は十四年現在でない fact2: 「もし仮にあの容量が連結集団であるということはないとするとその栄華は連結集団だ」ということは成り立つ fact3: 仮にその栄華がスエットならば十四年現在でない fact4: もし「あの容量は十四年現在だということはない」ということは成り立つならその栄華は十四年現在だ fact5: その駐輪場が低抗するとしたらあの容量は赤しない fact6: もし仮にあの容量がスエットであるならその栄華はスエットである fact7: もしあの容量はスエットであるならばそれは十四年現在だということはない fact8: 何らかの物が低抗するということはないとすると赤し fact9: 「赤し物は十四年現在だ」ということは嘘でない
void -> assump1: 以下のように仮定する。その栄華はスエットである; fact3 & assump1 -> int1: その栄華は十四年現在でない; fact1 & fact4 -> int2: その栄華は十四年現在である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
その疾患・異常はスエットだ
fact10 -> int4: もし「その疾患・異常は赤し」ということは事実だとすると「それは十四年現在である」ということは事実と異ならない; fact11 -> int5: もしもその疾患・異常が低抗しないとすればそれは赤し;
$facts$ = fact1: あの容量は十四年現在でない fact2: 「もし仮にあの容量が連結集団であるということはないとするとその栄華は連結集団だ」ということは成り立つ fact3: 仮にその栄華がスエットならば十四年現在でない fact4: もし「あの容量は十四年現在だということはない」ということは成り立つならその栄華は十四年現在だ fact5: その駐輪場が低抗するとしたらあの容量は赤しない fact6: もし仮にあの容量がスエットであるならその栄華はスエットである fact7: もしあの容量はスエットであるならばそれは十四年現在だということはない fact8: 何らかの物が低抗するということはないとすると赤し fact9: 「赤し物は十四年現在だ」ということは嘘でない ; $hypothesis$ = その栄華はスエットである ; $proof$ = 
void -> assump1: 以下のように仮定する。その栄華はスエットである; fact3 & assump1 -> int1: その栄華は十四年現在でない; fact1 & fact4 -> int2: その栄華は十四年現在である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: あの容量は十四年現在でない
事実2: 「もし仮にあの容量が連結集団であるということはないとするとその栄華は連結集団だ」ということは成り立つ
事実3: 仮にその栄華がスエットならば十四年現在でない
事実4: もし「あの容量は十四年現在だということはない」ということは成り立つならその栄華は十四年現在だ
事実5: その駐輪場が低抗するとしたらあの容量は赤しない
事実6: もし仮にあの容量がスエットであるならその栄華はスエットである
事実7: もしあの容量はスエットであるならばそれは十四年現在だということはない
事実8: 何らかの物が低抗するということはないとすると赤し
事実9: 「赤し物は十四年現在だ」ということは嘘でない

仮説: その栄華はスエットである
1. 仮定1: 以下のように仮定する。その栄華はスエットである
2. 事実3と仮定1から、推論1: "その栄華は十四年現在でない"が導かれる
3. 事実1と事実4から、推論2: "その栄華は十四年現在である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

よって、仮説が否定されました。