このＳＩＰは将来推計でない
fact1: もしも「怠いということはないかもしくは前後左右でないかまたは両方である」ものはあるとすれば「このＳＩＰは将来推計でない」ということは成り立つ fact2: あの制限利息は怠くらないかもしくは一人新聞でないかあるいは両方ともである fact3: このＳＩＰは誘発しない fact4: あの制限利息は将来推計でないかもしくは怠いということはないか両方である fact5: もしもとある物が前後左右であるということはないかもしくは怠いということはないか両方だとすればあの制限利息は将来推計であるということはない fact6: あの制限利息は怠くらない fact7: あの制限利息は怠いということはないか前後左右であるかもしくは両方ともである fact8: もしなにかは空恐ろしくないかまたは大掃除しないかまたは両方ならばあの制限利息は一人新聞だということはない fact9: なにがしかのものは将来推計でないかもしくは前後左右でない fact10: もし仮に「好もしかないかまたはフッタでないかもしくはどちらもである」物があるとすればあの制限利息は前後左右でない fact11: もしもあの制限利息が怠いならばこのＳＩＰは将来推計である fact12: 仮に「怠くらないかもしくは前後左右でないかまたは両方である」物があるならばあの制限利息は将来推計でない fact13: なにがしかの物は怠いかまたはそれは前後左右でないかまたは両方ともだ fact14: あの制限利息は怠いかあるいはそれは前後左右でないかあるいは両方だ fact15: あの制限利息は将来推計でないか前後左右でないかどちらもだ fact16: なにがしかのものは先発しないかあるいは持て成しないかまたは両方ともだ fact17: 「怠くらないかもしくは前後左右であるか両方な」物はある
fact6 -> int1: あの制限利息は怠いということはないかまたはそれは前後左右でないかもしくはどちらもである; int1 -> int2: 「怠くらないかあるいは前後左右だということはないか両方ともな」ものはある; int2 & fact1 -> hypothesis;
fact6 -> int1: (¬{A}{a} v ¬{B}{a}); int1 -> int2: (Ex): (¬{A}x v ¬{B}x); int2 & fact1 -> hypothesis;
「このＳＩＰは将来推計である」ということは成り立つ
$facts$ = fact1: もしも「怠いということはないかもしくは前後左右でないかまたは両方である」ものはあるとすれば「このＳＩＰは将来推計でない」ということは成り立つ fact2: あの制限利息は怠くらないかもしくは一人新聞でないかあるいは両方ともである fact3: このＳＩＰは誘発しない fact4: あの制限利息は将来推計でないかもしくは怠いということはないか両方である fact5: もしもとある物が前後左右であるということはないかもしくは怠いということはないか両方だとすればあの制限利息は将来推計であるということはない fact6: あの制限利息は怠くらない fact7: あの制限利息は怠いということはないか前後左右であるかもしくは両方ともである fact8: もしなにかは空恐ろしくないかまたは大掃除しないかまたは両方ならばあの制限利息は一人新聞だということはない fact9: なにがしかのものは将来推計でないかもしくは前後左右でない fact10: もし仮に「好もしかないかまたはフッタでないかもしくはどちらもである」物があるとすればあの制限利息は前後左右でない fact11: もしもあの制限利息が怠いならばこのＳＩＰは将来推計である fact12: 仮に「怠くらないかもしくは前後左右でないかまたは両方である」物があるならばあの制限利息は将来推計でない fact13: なにがしかの物は怠いかまたはそれは前後左右でないかまたは両方ともだ fact14: あの制限利息は怠いかあるいはそれは前後左右でないかあるいは両方だ fact15: あの制限利息は将来推計でないか前後左右でないかどちらもだ fact16: なにがしかのものは先発しないかあるいは持て成しないかまたは両方ともだ fact17: 「怠くらないかもしくは前後左右であるか両方な」物はある ; $hypothesis$ = このＳＩＰは将来推計でない ; $proof$ = 
fact6 -> int1: あの制限利息は怠いということはないかまたはそれは前後左右でないかもしくはどちらもである; int1 -> int2: 「怠くらないかあるいは前後左右だということはないか両方ともな」ものはある; int2 & fact1 -> hypothesis; __PROVED__
事実1: もしも「怠いということはないかもしくは前後左右でないかまたは両方である」ものはあるとすれば「このＳＩＰは将来推計でない」ということは成り立つ
事実2: あの制限利息は怠くらないかもしくは一人新聞でないかあるいは両方ともである
事実3: このＳＩＰは誘発しない
事実4: あの制限利息は将来推計でないかもしくは怠いということはないか両方である
事実5: もしもとある物が前後左右であるということはないかもしくは怠いということはないか両方だとすればあの制限利息は将来推計であるということはない
事実6: あの制限利息は怠くらない
事実7: あの制限利息は怠いということはないか前後左右であるかもしくは両方ともである
事実8: もしなにかは空恐ろしくないかまたは大掃除しないかまたは両方ならばあの制限利息は一人新聞だということはない
事実9: なにがしかのものは将来推計でないかもしくは前後左右でない
事実10: もし仮に「好もしかないかまたはフッタでないかもしくはどちらもである」物があるとすればあの制限利息は前後左右でない
事実11: もしもあの制限利息が怠いならばこのＳＩＰは将来推計である
事実12: 仮に「怠くらないかもしくは前後左右でないかまたは両方である」物があるならばあの制限利息は将来推計でない
事実13: なにがしかの物は怠いかまたはそれは前後左右でないかまたは両方ともだ
事実14: あの制限利息は怠いかあるいはそれは前後左右でないかあるいは両方だ
事実15: あの制限利息は将来推計でないか前後左右でないかどちらもだ
事実16: なにがしかのものは先発しないかあるいは持て成しないかまたは両方ともだ
事実17: 「怠くらないかもしくは前後左右であるか両方な」物はある

仮説: このＳＩＰは将来推計でない
1. 事実6から、推論1: "あの制限利息は怠いということはないかまたはそれは前後左右でないかもしくはどちらもである"が導かれる
2. 推論1から、推論2: "「怠くらないかあるいは前後左右だということはないか両方ともな」ものはある"が導かれる
3. 推論2と事実1から、仮説が導かれる

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