「仮に「あの無資格者は立て易いということはないしさらに入力記号列でない」ということは確かでないとすればあの無資格者はブラバスらしくない」ということは成り立たない
fact1: 仮に「なにがしかの物は立て易くないしさらに入力記号列だということはない」ということは事実でないとしたらそれはブラバスらしくない
$facts$ = fact1: 仮に「なにがしかの物は立て易くないしさらに入力記号列だということはない」ということは事実でないとしたらそれはブラバスらしくない ; $hypothesis$ = 「仮に「あの無資格者は立て易いということはないしさらに入力記号列でない」ということは確かでないとすればあの無資格者はブラバスらしくない」ということは成り立たない ; $proof$ = 
事実1: 仮に「なにがしかの物は立て易くないしさらに入力記号列だということはない」ということは事実でないとしたらそれはブラバスらしくない

仮説: 「仮に「あの無資格者は立て易いということはないしさらに入力記号列でない」ということは確かでないとすればあの無資格者はブラバスらしくない」ということは成り立たない