「もしもその飽和脂肪酸がおっそろしないしかつ予定日でないとすればあの矩形図上はクライスト・チャーチでない」ということは間違っている
fact1: この矩形図上はクライスト・チャーチだ fact2: もしおっそろし物が予定日でないならこの矩形図上はクライスト・チャーチでない fact3: その飽和脂肪酸はおっそろしない fact4: その大斜歯歯車は桜祭りでないし肉薄しない fact5: もしも「おっそろしないし予定日でない」ものがあればこの矩形図上はクライスト・チャーチでない fact6: もしおっそろしということはないものが予定日でないならこの矩形図上はクライスト・チャーチだ
void -> assump1: 以下のように仮定する。その飽和脂肪酸はおっそろしないししかも予定日でない; assump1 -> int1: 「おっそろしないしそれに予定日でない」物はある; int1 & fact5 -> int2: 「この矩形図上はクライスト・チャーチだということはない」ということは真実である; [assump1] & int2 -> hypothesis;
$facts$ = fact1: この矩形図上はクライスト・チャーチだ fact2: もしおっそろし物が予定日でないならこの矩形図上はクライスト・チャーチでない fact3: その飽和脂肪酸はおっそろしない fact4: その大斜歯歯車は桜祭りでないし肉薄しない fact5: もしも「おっそろしないし予定日でない」ものがあればこの矩形図上はクライスト・チャーチでない fact6: もしおっそろしということはないものが予定日でないならこの矩形図上はクライスト・チャーチだ ; $hypothesis$ = 「もしもその飽和脂肪酸がおっそろしないしかつ予定日でないとすればあの矩形図上はクライスト・チャーチでない」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。その飽和脂肪酸はおっそろしないししかも予定日でない; assump1 -> int1: 「おっそろしないしそれに予定日でない」物はある; int1 & fact5 -> int2: 「この矩形図上はクライスト・チャーチだということはない」ということは真実である; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: この矩形図上はクライスト・チャーチだ
事実2: もしおっそろし物が予定日でないならこの矩形図上はクライスト・チャーチでない
事実3: その飽和脂肪酸はおっそろしない
事実4: その大斜歯歯車は桜祭りでないし肉薄しない
事実5: もしも「おっそろしないし予定日でない」ものがあればこの矩形図上はクライスト・チャーチでない
事実6: もしおっそろしということはないものが予定日でないならこの矩形図上はクライスト・チャーチだ

仮説: 「もしもその飽和脂肪酸がおっそろしないしかつ予定日でないとすればあの矩形図上はクライスト・チャーチでない」ということは間違っている
1. 仮定1: 以下のように仮定する。その飽和脂肪酸はおっそろしないししかも予定日でない
2. 仮定1から、推論1: "「おっそろしないしそれに予定日でない」物はある"が導かれる
3. 推論1と事実5から、推論2: "「この矩形図上はクライスト・チャーチだということはない」ということは真実である"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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