あの保証債務はアモン様である
fact1: あの保証債務は意地悪い fact2: 仮に「あの保証債務は意地悪くない」ということは成り立たないとすればそれはアモン様だということはない
$facts$ = fact1: あの保証債務は意地悪い fact2: 仮に「あの保証債務は意地悪くない」ということは成り立たないとすればそれはアモン様だということはない ; $hypothesis$ = あの保証債務はアモン様である ; $proof$ = 
事実1: あの保証債務は意地悪い
事実2: 仮に「あの保証債務は意地悪くない」ということは成り立たないとすればそれはアモン様だということはない

仮説: あの保証債務はアモン様である