この立ち腕立て伏せは大蠕動でない
fact1: 仮に「この立ち腕立て伏せは寝かし付けないか開発許可であるかまたは両方ともである」ということは成り立たないならば「それは大蠕動だ」ということは成り立つ fact2: 「この立ち腕立て伏せは寝かし付けないかそれは開発許可である」ということは正しいということはない
$facts$ = fact1: 仮に「この立ち腕立て伏せは寝かし付けないか開発許可であるかまたは両方ともである」ということは成り立たないならば「それは大蠕動だ」ということは成り立つ fact2: 「この立ち腕立て伏せは寝かし付けないかそれは開発許可である」ということは正しいということはない ; $hypothesis$ = この立ち腕立て伏せは大蠕動でない ; $proof$ = 
事実1: 仮に「この立ち腕立て伏せは寝かし付けないか開発許可であるかまたは両方ともである」ということは成り立たないならば「それは大蠕動だ」ということは成り立つ
事実2: 「この立ち腕立て伏せは寝かし付けないかそれは開発許可である」ということは正しいということはない

仮説: この立ち腕立て伏せは大蠕動でない