「仮に「判別し易くないし更に転げ出る」ということは間違っているならおわす」ものはある
fact1: 仮にこの自己コントロール力が転げ出ないけど非訟だとするとそれは民事事件である fact2: もしこの自己コントロール力が判別し易いならおわす fact3: もしも「この自己コントロール力は判別し易くないけど転げ出る」ということは偽だとすればそれはおわす fact4: 「なにかは纏まり易くないけれどそれは追記する」ということは誤りならそれは土地改革だ
fact3 -> hypothesis;
fact3 -> hypothesis;
「もしも「纏まり易くないがしかし追記する」ということは間違っているとすれば土地改革な」物はある
fact5 -> int1: もしも「その執行は纏まり易いということはないが追記する」ということは成り立たないとするとそれは土地改革である; int1 -> hypothesis;
$facts$ = fact1: 仮にこの自己コントロール力が転げ出ないけど非訟だとするとそれは民事事件である fact2: もしこの自己コントロール力が判別し易いならおわす fact3: もしも「この自己コントロール力は判別し易くないけど転げ出る」ということは偽だとすればそれはおわす fact4: 「なにかは纏まり易くないけれどそれは追記する」ということは誤りならそれは土地改革だ ; $hypothesis$ = 「仮に「判別し易くないし更に転げ出る」ということは間違っているならおわす」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 仮にこの自己コントロール力が転げ出ないけど非訟だとするとそれは民事事件である
事実2: もしこの自己コントロール力が判別し易いならおわす
事実3: もしも「この自己コントロール力は判別し易くないけど転げ出る」ということは偽だとすればそれはおわす
事実4: 「なにかは纏まり易くないけれどそれは追記する」ということは誤りならそれは土地改革だ

仮説: 「仮に「判別し易くないし更に転げ出る」ということは間違っているならおわす」ものはある
1. 事実3から、仮説が導かれる

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