この試験体は繰り延べる
fact1: 仮に「「総合考慮するかもしくは充満するかまたはどちらもだ」ということは誤っている」ものがあるとしたらこの試験体は繰り延べない fact2: 「「総合考慮するかあるいは充満する」ということは成り立たない」物はある
$facts$ = fact1: 仮に「「総合考慮するかもしくは充満するかまたはどちらもだ」ということは誤っている」ものがあるとしたらこの試験体は繰り延べない fact2: 「「総合考慮するかあるいは充満する」ということは成り立たない」物はある ; $hypothesis$ = この試験体は繰り延べる ; $proof$ = 
事実1: 仮に「「総合考慮するかもしくは充満するかまたはどちらもだ」ということは誤っている」ものがあるとしたらこの試験体は繰り延べない
事実2: 「「総合考慮するかあるいは充満する」ということは成り立たない」物はある

仮説: この試験体は繰り延べる