その交換性はむさい
fact1: 「「集まり始めるかもしくは添い寝するということはないかあるいは両方ともだ」ということは誤りな」物はある fact2: もしも「「集まり始めるかもしくは添い寝しないかあるいは両方ともだ」ということは嘘である」物があるとしたらその交換性はむさいということはない
$facts$ = fact1: 「「集まり始めるかもしくは添い寝するということはないかあるいは両方ともだ」ということは誤りな」物はある fact2: もしも「「集まり始めるかもしくは添い寝しないかあるいは両方ともだ」ということは嘘である」物があるとしたらその交換性はむさいということはない ; $hypothesis$ = その交換性はむさい ; $proof$ = 
事実1: 「「集まり始めるかもしくは添い寝するということはないかあるいは両方ともだ」ということは誤りな」物はある
事実2: もしも「「集まり始めるかもしくは添い寝しないかあるいは両方ともだ」ということは嘘である」物があるとしたらその交換性はむさいということはない

仮説: その交換性はむさい