「「「仮にローストビーフだとすれば「人懐こくないかまたはかったるいか両方ともだ」ということは嘘である」物はある」ということは真実である」ということは誤っている
fact1: もしもあの薩摩藩邸はローストビーフであるとすると「人懐こくないかあるいはかったるい」ということは間違っている fact2: とあるものは交換時だとすれば「水臭くないかあるいはそれは熟年であるかあるいはどちらもである」ということは確かでない
fact1 -> hypothesis;
「もしも「交換時でない」ということは成り立たないとしたら「水臭くないかあるいは熟年であるかあるいは両方ともである」ということは成り立たない」ものはある
fact3 -> int1: 仮にこのプラムは交換時だとすれば「それは水臭くないかあるいは熟年であるかもしくはどちらもである」ということは成り立つということはない; int1 -> hypothesis;
$facts$ = fact1: もしもあの薩摩藩邸はローストビーフであるとすると「人懐こくないかあるいはかったるい」ということは間違っている fact2: とあるものは交換時だとすれば「水臭くないかあるいはそれは熟年であるかあるいはどちらもである」ということは確かでない ; $hypothesis$ = 「「「仮にローストビーフだとすれば「人懐こくないかまたはかったるいか両方ともだ」ということは嘘である」物はある」ということは真実である」ということは誤っている ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: もしもあの薩摩藩邸はローストビーフであるとすると「人懐こくないかあるいはかったるい」ということは間違っている
事実2: とあるものは交換時だとすれば「水臭くないかあるいはそれは熟年であるかあるいはどちらもである」ということは確かでない

仮説: 「「「仮にローストビーフだとすれば「人懐こくないかまたはかったるいか両方ともだ」ということは嘘である」物はある」ということは真実である」ということは誤っている
1. 事実1から、仮説が否定される

よって、仮説が否定されました。