このプロトコルヘッダは集め易くない
fact1: そのダークネスが洒落臭いならばあのプロトコルヘッダは集め易い fact2: そのダークネスは火災予防条例であるかあるいは洒落臭いかあるいは両方ともだ fact3: もしもそのダークネスが火災予防条例であるとしたらこのプロトコルヘッダは集め易い
$facts$ = fact1: そのダークネスが洒落臭いならばあのプロトコルヘッダは集め易い fact2: そのダークネスは火災予防条例であるかあるいは洒落臭いかあるいは両方ともだ fact3: もしもそのダークネスが火災予防条例であるとしたらこのプロトコルヘッダは集め易い ; $hypothesis$ = このプロトコルヘッダは集め易くない ; $proof$ = 
事実1: そのダークネスが洒落臭いならばあのプロトコルヘッダは集め易い
事実2: そのダークネスは火災予防条例であるかあるいは洒落臭いかあるいは両方ともだ
事実3: もしもそのダークネスが火災予防条例であるとしたらこのプロトコルヘッダは集め易い

仮説: このプロトコルヘッダは集め易くない