「もしも「馴染み易くないし盛らない」ということは事実と異なれば飲み易いということはない」ものはある
fact1: もし「この算術は馴染み易くないしそれにそれは盛らない」ということは間違いであるとすれば飲み易くない
$facts$ = fact1: もし「この算術は馴染み易くないしそれにそれは盛らない」ということは間違いであるとすれば飲み易くない ; $hypothesis$ = 「もしも「馴染み易くないし盛らない」ということは事実と異なれば飲み易いということはない」ものはある ; $proof$ = 
事実1: もし「この算術は馴染み易くないしそれにそれは盛らない」ということは間違いであるとすれば飲み易くない

仮説: 「もしも「馴染み易くないし盛らない」ということは事実と異なれば飲み易いということはない」ものはある