「仮にこの資金計画は二十ギガバイトモデルでないならば「この資金計画はサインするということはないしかつ高しない」ということは嘘である」ということは偽だ
fact1: もし仮にあるものは二十ギガバイトモデルでないならば「それはサインしないししかもそれは高しない」ということは成り立たない
$facts$ = fact1: もし仮にあるものは二十ギガバイトモデルでないならば「それはサインしないししかもそれは高しない」ということは成り立たない ; $hypothesis$ = 「仮にこの資金計画は二十ギガバイトモデルでないならば「この資金計画はサインするということはないしかつ高しない」ということは嘘である」ということは偽だ ; $proof$ = 
事実1: もし仮にあるものは二十ギガバイトモデルでないならば「それはサインしないししかもそれは高しない」ということは成り立たない

仮説: 「仮にこの資金計画は二十ギガバイトモデルでないならば「この資金計画はサインするということはないしかつ高しない」ということは嘘である」ということは偽だ