このスウィッチは掌握出来るけれど吹き消すということはない
fact1: 「「中華粥だ」ということは事実である」ものがあるとしたらこのスウィッチは掌握出来るがしかしそれは吹き消さない fact2: 「中華粥である」物はある
$facts$ = fact1: 「「中華粥だ」ということは事実である」ものがあるとしたらこのスウィッチは掌握出来るがしかしそれは吹き消さない fact2: 「中華粥である」物はある ; $hypothesis$ = このスウィッチは掌握出来るけれど吹き消すということはない ; $proof$ = 
事実1: 「「中華粥だ」ということは事実である」ものがあるとしたらこのスウィッチは掌握出来るがしかしそれは吹き消さない
事実2: 「中華粥である」物はある

仮説: このスウィッチは掌握出来るけれど吹き消すということはない