このローカルスーパーは譜例だ
fact1: このローカルスーパーはデマでない fact2: 仮にこのローカルスーパーがデマでないとすれば譜例でない
$facts$ = fact1: このローカルスーパーはデマでない fact2: 仮にこのローカルスーパーがデマでないとすれば譜例でない ; $hypothesis$ = このローカルスーパーは譜例だ ; $proof$ = 
事実1: このローカルスーパーはデマでない
事実2: 仮にこのローカルスーパーがデマでないとすれば譜例でない

仮説: このローカルスーパーは譜例だ