「このコンピューティングシステムは度重ならないがしかし狡い」ということは誤りである
fact1: 「親王宣下である」物はある fact2: もしも「親王宣下な」物はあるとしたら「このコンピューティングシステムは度重ならないけれど狡い」ということは成り立たない
$facts$ = fact1: 「親王宣下である」物はある fact2: もしも「親王宣下な」物はあるとしたら「このコンピューティングシステムは度重ならないけれど狡い」ということは成り立たない ; $hypothesis$ = 「このコンピューティングシステムは度重ならないがしかし狡い」ということは誤りである ; $proof$ = 
事実1: 「親王宣下である」物はある
事実2: もしも「親王宣下な」物はあるとしたら「このコンピューティングシステムは度重ならないけれど狡い」ということは成り立たない

仮説: 「このコンピューティングシステムは度重ならないがしかし狡い」ということは誤りである