あの東北大学付属図書館狩野文庫蔵はめんど臭くない
fact1: あの人文論叢が擦り替えないとすればあの東北大学付属図書館狩野文庫蔵は擦り替えるかまたはそれは保存法則でないかまたはどちらもである fact2: 仮にあの東北大学付属図書館狩野文庫蔵が擦り替えるかまたはそれは保存法則でないかもしくは両方ともであるとしたらそれはめんど臭くない fact3: あの人文論叢は擦り替えないしおまけに掟書でない fact4: もしあの人文論叢が擦り替えないならあの東北大学付属図書館狩野文庫蔵は擦り替えるかもしくは保存法則であるかあるいはどちらもである
fact3 -> int1: あの人文論叢は擦り替えない; int1 & fact1 -> int2: あの東北大学付属図書館狩野文庫蔵は擦り替えるかもしくは保存法則でないかもしくは両方ともである; int2 & fact2 -> hypothesis;
fact3 -> int1: ¬{A}{a}; int1 & fact1 -> int2: ({A}{b} v ¬{D}{b}); int2 & fact2 -> hypothesis;
$facts$ = fact1: あの人文論叢が擦り替えないとすればあの東北大学付属図書館狩野文庫蔵は擦り替えるかまたはそれは保存法則でないかまたはどちらもである fact2: 仮にあの東北大学付属図書館狩野文庫蔵が擦り替えるかまたはそれは保存法則でないかもしくは両方ともであるとしたらそれはめんど臭くない fact3: あの人文論叢は擦り替えないしおまけに掟書でない fact4: もしあの人文論叢が擦り替えないならあの東北大学付属図書館狩野文庫蔵は擦り替えるかもしくは保存法則であるかあるいはどちらもである ; $hypothesis$ = あの東北大学付属図書館狩野文庫蔵はめんど臭くない ; $proof$ = 
fact3 -> int1: あの人文論叢は擦り替えない; int1 & fact1 -> int2: あの東北大学付属図書館狩野文庫蔵は擦り替えるかもしくは保存法則でないかもしくは両方ともである; int2 & fact2 -> hypothesis; __PROVED__
事実1: あの人文論叢が擦り替えないとすればあの東北大学付属図書館狩野文庫蔵は擦り替えるかまたはそれは保存法則でないかまたはどちらもである
事実2: 仮にあの東北大学付属図書館狩野文庫蔵が擦り替えるかまたはそれは保存法則でないかもしくは両方ともであるとしたらそれはめんど臭くない
事実3: あの人文論叢は擦り替えないしおまけに掟書でない
事実4: もしあの人文論叢が擦り替えないならあの東北大学付属図書館狩野文庫蔵は擦り替えるかもしくは保存法則であるかあるいはどちらもである

仮説: あの東北大学付属図書館狩野文庫蔵はめんど臭くない
1. 事実3から、推論1: "あの人文論叢は擦り替えない"が導かれる
2. 推論1と事実1から、推論2: "あの東北大学付属図書館狩野文庫蔵は擦り替えるかもしくは保存法則でないかもしくは両方ともである"が導かれる
3. 推論2と事実2から、仮説が導かれる

よって、仮説が証明されました。