仮にその学期末は分かち持てば「あの連邦法律は幕末だけど頼もしくない」ということは成り立たない
fact1: もし頼もしくない幕末があるとするとその学期末は分かち持たない fact2: 何らかの物は幕末であるしそれに頼もしい fact3: もしも「ある物は幕末である一方で分かち持たない」ということは誤っているとすると幕末でない fact4: なんらかの物は分かち持つけれど頼もしくない fact5: 「幕末である」ものはある fact6: その消化器は幕末である fact7: あの連邦法律は幕末である fact8: その学期末は幕末でない fact9: 仮にその学期末は分かち持つとしたら「あの連邦法律は幕末で頼もしい」ということは誤っている fact10: 「あの連邦法律は幕末でそれは頼もしい」ということは成り立たない fact11: もしもその学期末が分かち持てばあの連邦法律は幕末であるけど頼もしくない fact12: 「その学期末は幕末だけれど分かち持たない」ということは成り立たない fact13: あの連邦法律は頼もしくない fact14: 「頼もしくない」物はある fact15: なんらかのものは頼もしいが分かち持たない
void -> assump1: 以下のように仮定する。あの連邦法律は幕末であるが頼もしくない; assump1 -> int1: 「幕末だし頼もしくない」物はある; int1 & fact1 -> int2: その学期末は分かち持たない; void -> assump2: 以下のように仮定する。その学期末は分かち持つ; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの連邦法律は幕末であるけれどそれは頼もしくない」ということは誤りである; [assump2] & int4 -> hypothesis;
その学期末は幕末だということはない
fact16 -> int5: もしも「その学期末は幕末だけど分かち持たない」ということは間違いだとすれば幕末でない;
$facts$ = fact1: もし頼もしくない幕末があるとするとその学期末は分かち持たない fact2: 何らかの物は幕末であるしそれに頼もしい fact3: もしも「ある物は幕末である一方で分かち持たない」ということは誤っているとすると幕末でない fact4: なんらかの物は分かち持つけれど頼もしくない fact5: 「幕末である」ものはある fact6: その消化器は幕末である fact7: あの連邦法律は幕末である fact8: その学期末は幕末でない fact9: 仮にその学期末は分かち持つとしたら「あの連邦法律は幕末で頼もしい」ということは誤っている fact10: 「あの連邦法律は幕末でそれは頼もしい」ということは成り立たない fact11: もしもその学期末が分かち持てばあの連邦法律は幕末であるけど頼もしくない fact12: 「その学期末は幕末だけれど分かち持たない」ということは成り立たない fact13: あの連邦法律は頼もしくない fact14: 「頼もしくない」物はある fact15: なんらかのものは頼もしいが分かち持たない ; $hypothesis$ = 仮にその学期末は分かち持てば「あの連邦法律は幕末だけど頼もしくない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの連邦法律は幕末であるが頼もしくない; assump1 -> int1: 「幕末だし頼もしくない」物はある; int1 & fact1 -> int2: その学期末は分かち持たない; void -> assump2: 以下のように仮定する。その学期末は分かち持つ; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの連邦法律は幕末であるけれどそれは頼もしくない」ということは誤りである; [assump2] & int4 -> hypothesis; __PROVED__
事実1: もし頼もしくない幕末があるとするとその学期末は分かち持たない
事実2: 何らかの物は幕末であるしそれに頼もしい
事実3: もしも「ある物は幕末である一方で分かち持たない」ということは誤っているとすると幕末でない
事実4: なんらかの物は分かち持つけれど頼もしくない
事実5: 「幕末である」ものはある
事実6: その消化器は幕末である
事実7: あの連邦法律は幕末である
事実8: その学期末は幕末でない
事実9: 仮にその学期末は分かち持つとしたら「あの連邦法律は幕末で頼もしい」ということは誤っている
事実10: 「あの連邦法律は幕末でそれは頼もしい」ということは成り立たない
事実11: もしもその学期末が分かち持てばあの連邦法律は幕末であるけど頼もしくない
事実12: 「その学期末は幕末だけれど分かち持たない」ということは成り立たない
事実13: あの連邦法律は頼もしくない
事実14: 「頼もしくない」物はある
事実15: なんらかのものは頼もしいが分かち持たない

仮説: 仮にその学期末は分かち持てば「あの連邦法律は幕末だけど頼もしくない」ということは成り立たない
1. 仮定1: 以下のように仮定する。あの連邦法律は幕末であるが頼もしくない
2. 仮定1から、推論1: "「幕末だし頼もしくない」物はある"が導かれる
3. 推論1と事実1から、推論2: "その学期末は分かち持たない"が導かれる
4. 仮定2: 以下のように仮定する。その学期末は分かち持つ
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "「あの連邦法律は幕末であるけれどそれは頼もしくない」ということは誤りである"が導かれる
7. [仮定2]と推論4から、仮説が導かれる

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