あのよさこいはツールオプションパレットだ
fact1: もし仮にあのよさこいは拡大すし手厚いとするとそれはツールオプションパレットでない fact2: あのよさこいは拡大すしそれは手厚い
$facts$ = fact1: もし仮にあのよさこいは拡大すし手厚いとするとそれはツールオプションパレットでない fact2: あのよさこいは拡大すしそれは手厚い ; $hypothesis$ = あのよさこいはツールオプションパレットだ ; $proof$ = 
事実1: もし仮にあのよさこいは拡大すし手厚いとするとそれはツールオプションパレットでない
事実2: あのよさこいは拡大すしそれは手厚い

仮説: あのよさこいはツールオプションパレットだ