「「このキャッツクローはオフ・バジェットでなくて更に株主グループでない」ということは本当だ」ということは嘘である
fact1: このキャッツクローはオフ・バジェットだということはないし株主グループでない fact2: このキャッツクローは株主グループだということはない fact3: あの酸塩基平衡は株主グループでなくて加えて釧路市内でない
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: このキャッツクローはオフ・バジェットだということはないし株主グループでない fact2: このキャッツクローは株主グループだということはない fact3: あの酸塩基平衡は株主グループでなくて加えて釧路市内でない ; $hypothesis$ = 「「このキャッツクローはオフ・バジェットでなくて更に株主グループでない」ということは本当だ」ということは嘘である ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: このキャッツクローはオフ・バジェットだということはないし株主グループでない
事実2: このキャッツクローは株主グループだということはない
事実3: あの酸塩基平衡は株主グループでなくて加えて釧路市内でない

仮説: 「「このキャッツクローはオフ・バジェットでなくて更に株主グループでない」ということは本当だ」ということは嘘である
1. 事実1から、仮説が否定される

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