「このコンビニは審議する一方で総身でない」ということは成り立たない
fact1: このコンビニは審議するけど総身だということはない
$facts$ = fact1: このコンビニは審議するけど総身だということはない ; $hypothesis$ = 「このコンビニは審議する一方で総身でない」ということは成り立たない ; $proof$ = 
事実1: このコンビニは審議するけど総身だということはない

仮説: 「このコンビニは審議する一方で総身でない」ということは成り立たない