「その両書は瑞々しい」ということは成り立つ
fact1: その両書はサファー・モスクであるかあるいは瑞々しい fact2: あの縮小版はサファー・モスクであるかあるいはそれは開き切るということはない fact3: あの縮小版は瑞々しくない fact4: もしも何かはサファー・モスクであるかまたは開き切らないとすればあの両書は瑞々しくない fact5: 何かはサファー・モスクであるかまたは開き切るかあるいはどちらもだ
fact2 -> int1: なにがしかの物はサファー・モスクであるかもしくは開き切るということはない; int1 & fact4 -> hypothesis;
fact2 -> int1: (Ex): ({A}x v ¬{B}x); int1 & fact4 -> hypothesis;
$facts$ = fact1: その両書はサファー・モスクであるかあるいは瑞々しい fact2: あの縮小版はサファー・モスクであるかあるいはそれは開き切るということはない fact3: あの縮小版は瑞々しくない fact4: もしも何かはサファー・モスクであるかまたは開き切らないとすればあの両書は瑞々しくない fact5: 何かはサファー・モスクであるかまたは開き切るかあるいはどちらもだ ; $hypothesis$ = 「その両書は瑞々しい」ということは成り立つ ; $proof$ = 
fact2 -> int1: なにがしかの物はサファー・モスクであるかもしくは開き切るということはない; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: その両書はサファー・モスクであるかあるいは瑞々しい
事実2: あの縮小版はサファー・モスクであるかあるいはそれは開き切るということはない
事実3: あの縮小版は瑞々しくない
事実4: もしも何かはサファー・モスクであるかまたは開き切らないとすればあの両書は瑞々しくない
事実5: 何かはサファー・モスクであるかまたは開き切るかあるいはどちらもだ

仮説: 「その両書は瑞々しい」ということは成り立つ
1. 事実2から、推論1: "なにがしかの物はサファー・モスクであるかもしくは開き切るということはない"が導かれる
2. 推論1と事実4から、仮説が否定される

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