「「もし「床しい」ということは本当であるとすると「行き易くないか性交しないかもしくは両方だ」ということは誤っている」ものはある」ということは成り立たない
fact1: もしその武闘は床しいとしたら「それは行き易いということはないかもしくは性交しないかあるいは両方だ」ということは成り立つということはない
$facts$ = fact1: もしその武闘は床しいとしたら「それは行き易いということはないかもしくは性交しないかあるいは両方だ」ということは成り立つということはない ; $hypothesis$ = 「「もし「床しい」ということは本当であるとすると「行き易くないか性交しないかもしくは両方だ」ということは誤っている」ものはある」ということは成り立たない ; $proof$ = 
事実1: もしその武闘は床しいとしたら「それは行き易いということはないかもしくは性交しないかあるいは両方だ」ということは成り立つということはない

仮説: 「「もし「床しい」ということは本当であるとすると「行き易くないか性交しないかもしくは両方だ」ということは誤っている」ものはある」ということは成り立たない