「もしもワークグループ名だし縁遠いということはないとすれば参上致すということはない」ものはある
fact1: もし「あの猫単はワークグループ名であるがしかし縁遠くない」ということは成り立つとしたらそれは参上致さない
$facts$ = fact1: もし「あの猫単はワークグループ名であるがしかし縁遠くない」ということは成り立つとしたらそれは参上致さない ; $hypothesis$ = 「もしもワークグループ名だし縁遠いということはないとすれば参上致すということはない」ものはある ; $proof$ = 
事実1: もし「あの猫単はワークグループ名であるがしかし縁遠くない」ということは成り立つとしたらそれは参上致さない

仮説: 「もしもワークグループ名だし縁遠いということはないとすれば参上致すということはない」ものはある