「あの二分一欠けは幽霊屋敷であるし言い訳出来る」ということは誤りである
fact1: もし「寝技である」物はあるとしたら「あの二分一欠けは幽霊屋敷であるし言い訳出来る」ということは成り立たない fact2: 「寝技である」ものはある
$facts$ = fact1: もし「寝技である」物はあるとしたら「あの二分一欠けは幽霊屋敷であるし言い訳出来る」ということは成り立たない fact2: 「寝技である」ものはある ; $hypothesis$ = 「あの二分一欠けは幽霊屋敷であるし言い訳出来る」ということは誤りである ; $proof$ = 
事実1: もし「寝技である」物はあるとしたら「あの二分一欠けは幽霊屋敷であるし言い訳出来る」ということは成り立たない
事実2: 「寝技である」ものはある

仮説: 「あの二分一欠けは幽霊屋敷であるし言い訳出来る」ということは誤りである