その相殺後は省ける
fact1: もし仮にその相殺後が悲しいということはないとすればあの学徒は省けるし入れ難い fact2: その相殺後は入れ難い fact3: 全ての物は河畔だ fact4: もしその相殺後が入れ難いとすれば省ける fact5: その好著は入れ難い
fact4 & fact2 -> hypothesis;
fact4 & fact2 -> hypothesis;
この学徒は入れ難い
fact6 -> int1: このペプトンは河畔である;
$facts$ = fact1: もし仮にその相殺後が悲しいということはないとすればあの学徒は省けるし入れ難い fact2: その相殺後は入れ難い fact3: 全ての物は河畔だ fact4: もしその相殺後が入れ難いとすれば省ける fact5: その好著は入れ難い ; $hypothesis$ = その相殺後は省ける ; $proof$ = 
fact4 & fact2 -> hypothesis; __PROVED__
事実1: もし仮にその相殺後が悲しいということはないとすればあの学徒は省けるし入れ難い
事実2: その相殺後は入れ難い
事実3: 全ての物は河畔だ
事実4: もしその相殺後が入れ難いとすれば省ける
事実5: その好著は入れ難い

仮説: その相殺後は省ける
1. 事実4と事実2から、仮説が導かれる

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