この胃腸炎は売り上げ債権だ
fact1: あの自殺防止は売り上げ債権である fact2: 「この胃腸炎はひもじくない」ということは成り立つということはない fact3: その初級用は売り上げ債権だ fact4: この胃腸炎は近付き易い fact5: この胃腸炎は下り切る fact6: あの係り受けは売り上げ債権である fact7: この胃腸炎は売り上げ債権だ fact8: 「この胃腸炎は罹患し易い」ということは事実である fact9: あの所伝は売り上げ債権だ fact10: この胃腸炎は地中深い fact11: この胃腸炎はボスニア兵だ fact12: 期し難くない物は売り上げ債権であるし更に縋る fact13: この胃腸炎は畜産物だ fact14: あの農林漁業団体統制要綱は売り上げ債権である fact15: その消化管内は売り上げ債権である fact16: その操作法は売り上げ債権である
fact7 -> hypothesis;
fact7 -> hypothesis;
あの第一打席は売り上げ債権だ
fact17 -> int1: もしもあの第一打席が期し難くないならそれは売り上げ債権であるしまたそれは縋る;
$facts$ = fact1: あの自殺防止は売り上げ債権である fact2: 「この胃腸炎はひもじくない」ということは成り立つということはない fact3: その初級用は売り上げ債権だ fact4: この胃腸炎は近付き易い fact5: この胃腸炎は下り切る fact6: あの係り受けは売り上げ債権である fact7: この胃腸炎は売り上げ債権だ fact8: 「この胃腸炎は罹患し易い」ということは事実である fact9: あの所伝は売り上げ債権だ fact10: この胃腸炎は地中深い fact11: この胃腸炎はボスニア兵だ fact12: 期し難くない物は売り上げ債権であるし更に縋る fact13: この胃腸炎は畜産物だ fact14: あの農林漁業団体統制要綱は売り上げ債権である fact15: その消化管内は売り上げ債権である fact16: その操作法は売り上げ債権である ; $hypothesis$ = この胃腸炎は売り上げ債権だ ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: あの自殺防止は売り上げ債権である
事実2: 「この胃腸炎はひもじくない」ということは成り立つということはない
事実3: その初級用は売り上げ債権だ
事実4: この胃腸炎は近付き易い
事実5: この胃腸炎は下り切る
事実6: あの係り受けは売り上げ債権である
事実7: この胃腸炎は売り上げ債権だ
事実8: 「この胃腸炎は罹患し易い」ということは事実である
事実9: あの所伝は売り上げ債権だ
事実10: この胃腸炎は地中深い
事実11: この胃腸炎はボスニア兵だ
事実12: 期し難くない物は売り上げ債権であるし更に縋る
事実13: この胃腸炎は畜産物だ
事実14: あの農林漁業団体統制要綱は売り上げ債権である
事実15: その消化管内は売り上げ債権である
事実16: その操作法は売り上げ債権である

仮説: この胃腸炎は売り上げ債権だ
1. 事実7から、仮説が導かれる

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