そのワンダフルは変え為さる
fact1: もし仮にそのワンダフルがおっかしいということはないかそれは飲み始めるかあるいは両方であるとしたら変え為さらない fact2: そのワンダフルはおっかしくないかあるいはそれは飲み始めるかあるいはどちらもである
$facts$ = fact1: もし仮にそのワンダフルがおっかしいということはないかそれは飲み始めるかあるいは両方であるとしたら変え為さらない fact2: そのワンダフルはおっかしくないかあるいはそれは飲み始めるかあるいはどちらもである ; $hypothesis$ = そのワンダフルは変え為さる ; $proof$ = 
事実1: もし仮にそのワンダフルがおっかしいということはないかそれは飲み始めるかあるいは両方であるとしたら変え為さらない
事実2: そのワンダフルはおっかしくないかあるいはそれは飲み始めるかあるいはどちらもである

仮説: そのワンダフルは変え為さる