「あの制度的存在は着熟す一方で済ま無くない」ということは事実でない
fact1: もしこの大機械は漏れ聞けば「あの制度的存在は着熟すけれど済ま無くない」ということは成り立たない fact2: この姉蜂は漏れ聞く fact3: この大機械は漏れ聞く
$facts$ = fact1: もしこの大機械は漏れ聞けば「あの制度的存在は着熟すけれど済ま無くない」ということは成り立たない fact2: この姉蜂は漏れ聞く fact3: この大機械は漏れ聞く ; $hypothesis$ = 「あの制度的存在は着熟す一方で済ま無くない」ということは事実でない ; $proof$ = 
事実1: もしこの大機械は漏れ聞けば「あの制度的存在は着熟すけれど済ま無くない」ということは成り立たない
事実2: この姉蜂は漏れ聞く
事実3: この大機械は漏れ聞く

仮説: 「あの制度的存在は着熟す一方で済ま無くない」ということは事実でない