もしその民訴法が最終ページでないかそれは学習するかもしくはどちらもであるならば三．五角でない
fact1: なにがしかのものが最終ページでないかもしくは学習するかまたは両方ともであるとするとそれは三．五角だということはない
$facts$ = fact1: なにがしかのものが最終ページでないかもしくは学習するかまたは両方ともであるとするとそれは三．五角だということはない ; $hypothesis$ = もしその民訴法が最終ページでないかそれは学習するかもしくはどちらもであるならば三．五角でない ; $proof$ = 
事実1: なにがしかのものが最終ページでないかもしくは学習するかまたは両方ともであるとするとそれは三．五角だということはない

仮説: もしその民訴法が最終ページでないかそれは学習するかもしくはどちらもであるならば三．五角でない