「この家賃収入は八月分でない」ということは正しい
fact1: あの総合化は少なくない fact2: もしあの総合化が少なくないならその占領前期は殺めない fact3: 「「その占領前期は設立しないかそれは少ないかどちらもである」ということは成り立つということはない」ということは事実であるならあの総合化は殺めるということはない fact4: もし仮にとある物は少なくないとしたら「作業所でないかそれは弱々しいかまたは両方だ」ということは間違いである fact5: もしも「「その占領前期は設立しないか殺めるかもしくは両方ともである」ということは真実だ」ということは成り立たないとすればこの家賃収入は八月分でない fact6: その占領前期は殺めるということはない fact7: あの総合化は少なくないならば「その占領前期は設立しないかまたは殺めるかどちらもである」ということは成り立たない
fact7 & fact1 -> int1: 「その占領前期は設立しないかそれは殺める」ということは嘘だ; int1 & fact5 -> hypothesis;
fact7 & fact1 -> int1: ¬(¬{AA}{b} v {AB}{b}); int1 & fact5 -> hypothesis;
「そのフラバンジェノールは作業所でないかもしくは弱々しい」ということは偽だ
fact8 -> int2: もしもそのフラバンジェノールは少なくないならば「それは作業所でないかもしくは弱々しい」ということは成り立つということはない;
$facts$ = fact1: あの総合化は少なくない fact2: もしあの総合化が少なくないならその占領前期は殺めない fact3: 「「その占領前期は設立しないかそれは少ないかどちらもである」ということは成り立つということはない」ということは事実であるならあの総合化は殺めるということはない fact4: もし仮にとある物は少なくないとしたら「作業所でないかそれは弱々しいかまたは両方だ」ということは間違いである fact5: もしも「「その占領前期は設立しないか殺めるかもしくは両方ともである」ということは真実だ」ということは成り立たないとすればこの家賃収入は八月分でない fact6: その占領前期は殺めるということはない fact7: あの総合化は少なくないならば「その占領前期は設立しないかまたは殺めるかどちらもである」ということは成り立たない ; $hypothesis$ = 「この家賃収入は八月分でない」ということは正しい ; $proof$ = 
fact7 & fact1 -> int1: 「その占領前期は設立しないかそれは殺める」ということは嘘だ; int1 & fact5 -> hypothesis; __PROVED__
事実1: あの総合化は少なくない
事実2: もしあの総合化が少なくないならその占領前期は殺めない
事実3: 「「その占領前期は設立しないかそれは少ないかどちらもである」ということは成り立つということはない」ということは事実であるならあの総合化は殺めるということはない
事実4: もし仮にとある物は少なくないとしたら「作業所でないかそれは弱々しいかまたは両方だ」ということは間違いである
事実5: もしも「「その占領前期は設立しないか殺めるかもしくは両方ともである」ということは真実だ」ということは成り立たないとすればこの家賃収入は八月分でない
事実6: その占領前期は殺めるということはない
事実7: あの総合化は少なくないならば「その占領前期は設立しないかまたは殺めるかどちらもである」ということは成り立たない

仮説: 「この家賃収入は八月分でない」ということは正しい
1. 事実7と事実1から、推論1: "「その占領前期は設立しないかそれは殺める」ということは嘘だ"が導かれる
2. 推論1と事実5から、仮説が導かれる

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