この情報分析は元服するということはない
fact1: 「物欲しいが案内するということはない」物はある fact2: 仮に「物欲しいし案内しない」物があるとしたらこの情報分析は元服する
$facts$ = fact1: 「物欲しいが案内するということはない」物はある fact2: 仮に「物欲しいし案内しない」物があるとしたらこの情報分析は元服する ; $hypothesis$ = この情報分析は元服するということはない ; $proof$ = 
事実1: 「物欲しいが案内するということはない」物はある
事実2: 仮に「物欲しいし案内しない」物があるとしたらこの情報分析は元服する

仮説: この情報分析は元服するということはない