「献ぜないとすれば「邪魔臭くないかまたは小三でないかあるいはどちらもである」ということは成り立つということはない」ものはある
fact1: もし仮にあの悪戯狸は献ぜないとすれば「邪魔臭くないか小三でないかまたは両方ともだ」ということは成り立たない
$facts$ = fact1: もし仮にあの悪戯狸は献ぜないとすれば「邪魔臭くないか小三でないかまたは両方ともだ」ということは成り立たない ; $hypothesis$ = 「献ぜないとすれば「邪魔臭くないかまたは小三でないかあるいはどちらもである」ということは成り立つということはない」ものはある ; $proof$ = 
事実1: もし仮にあの悪戯狸は献ぜないとすれば「邪魔臭くないか小三でないかまたは両方ともだ」ということは成り立たない

仮説: 「献ぜないとすれば「邪魔臭くないかまたは小三でないかあるいはどちらもである」ということは成り立つということはない」ものはある