「このワークグループは浜御殿だがしかしそれは有り難しない」ということは成り立つということはない
fact1: その歴史的要因は両将軍だということはない fact2: もしその歴史的要因が両将軍だということはないとすればこのワークグループは浜御殿だけど有り難しない
$facts$ = fact1: その歴史的要因は両将軍だということはない fact2: もしその歴史的要因が両将軍だということはないとすればこのワークグループは浜御殿だけど有り難しない ; $hypothesis$ = 「このワークグループは浜御殿だがしかしそれは有り難しない」ということは成り立つということはない ; $proof$ = 
事実1: その歴史的要因は両将軍だということはない
事実2: もしその歴史的要因が両将軍だということはないとすればこのワークグループは浜御殿だけど有り難しない

仮説: 「このワークグループは浜御殿だがしかしそれは有り難しない」ということは成り立つということはない