その立法者は痛がらない
fact1: 「「その新築祝いは敵視するかそれは投入する」ということは成り立つ」ということは成り立つということはない fact2: 「その新築祝いは敵視するかもしくはそれは投入するかあるいは両方である」ということは成り立たないなら「その立法者は痛がらない」ということは正しい
$facts$ = fact1: 「「その新築祝いは敵視するかそれは投入する」ということは成り立つ」ということは成り立つということはない fact2: 「その新築祝いは敵視するかもしくはそれは投入するかあるいは両方である」ということは成り立たないなら「その立法者は痛がらない」ということは正しい ; $hypothesis$ = その立法者は痛がらない ; $proof$ = 
事実1: 「「その新築祝いは敵視するかそれは投入する」ということは成り立つ」ということは成り立つということはない
事実2: 「その新築祝いは敵視するかもしくはそれは投入するかあるいは両方である」ということは成り立たないなら「その立法者は痛がらない」ということは正しい

仮説: その立法者は痛がらない