この有塩バターは付加する
fact1: もしも何らかの物は交え用いないけれど電源開発であるならば複合コーナーである fact2: あの耐糖能が担い得るとするとこの有塩バターは冗談ぽい fact3: その傍受が暗転するとするとあの耐糖能は担い得る fact4: その傍受は釣り鐘草である fact5: 冗談ぽいものは付加する fact6: もしもその傍受が釣り鐘草であるとすると交え用いるということはないしそれにそれは電源開発である fact7: もし「あの耐糖能は複合コーナーでないかまたは暗転するかもしくはどちらもだ」ということは成り立たないとしたらこの有塩バターは付加しない fact8: 仮にあの耐糖能が暗転するとすればそれは複合コーナーでなくて加えてそれは担い得る fact9: 「複合コーナーは暗転する」ということは成り立つ
fact1 -> int1: もし仮にその傍受は交え用いない一方で電源開発だとすれば複合コーナーだ; fact6 & fact4 -> int2: その傍受は交え用いないけれど電源開発である; int1 & int2 -> int3: その傍受は複合コーナーである; fact9 -> int4: 仮にその傍受は複合コーナーであるとすればそれは暗転する; int3 & int4 -> int5: その傍受は暗転する; int5 & fact3 -> int6: 「あの耐糖能は担い得る」ということは事実だ; int6 & fact2 -> int7: この有塩バターは冗談ぽい; fact5 -> int8: もしこの有塩バターが冗談ぽいならばそれは付加する; int7 & int8 -> hypothesis;
この有塩バターは付加しない
$facts$ = fact1: もしも何らかの物は交え用いないけれど電源開発であるならば複合コーナーである fact2: あの耐糖能が担い得るとするとこの有塩バターは冗談ぽい fact3: その傍受が暗転するとするとあの耐糖能は担い得る fact4: その傍受は釣り鐘草である fact5: 冗談ぽいものは付加する fact6: もしもその傍受が釣り鐘草であるとすると交え用いるということはないしそれにそれは電源開発である fact7: もし「あの耐糖能は複合コーナーでないかまたは暗転するかもしくはどちらもだ」ということは成り立たないとしたらこの有塩バターは付加しない fact8: 仮にあの耐糖能が暗転するとすればそれは複合コーナーでなくて加えてそれは担い得る fact9: 「複合コーナーは暗転する」ということは成り立つ ; $hypothesis$ = この有塩バターは付加する ; $proof$ = 
fact1 -> int1: もし仮にその傍受は交え用いない一方で電源開発だとすれば複合コーナーだ; fact6 & fact4 -> int2: その傍受は交え用いないけれど電源開発である; int1 & int2 -> int3: その傍受は複合コーナーである; fact9 -> int4: 仮にその傍受は複合コーナーであるとすればそれは暗転する; int3 & int4 -> int5: その傍受は暗転する; int5 & fact3 -> int6: 「あの耐糖能は担い得る」ということは事実だ; int6 & fact2 -> int7: この有塩バターは冗談ぽい; fact5 -> int8: もしこの有塩バターが冗談ぽいならばそれは付加する; int7 & int8 -> hypothesis; __PROVED__
事実1: もしも何らかの物は交え用いないけれど電源開発であるならば複合コーナーである
事実2: あの耐糖能が担い得るとするとこの有塩バターは冗談ぽい
事実3: その傍受が暗転するとするとあの耐糖能は担い得る
事実4: その傍受は釣り鐘草である
事実5: 冗談ぽいものは付加する
事実6: もしもその傍受が釣り鐘草であるとすると交え用いるということはないしそれにそれは電源開発である
事実7: もし「あの耐糖能は複合コーナーでないかまたは暗転するかもしくはどちらもだ」ということは成り立たないとしたらこの有塩バターは付加しない
事実8: 仮にあの耐糖能が暗転するとすればそれは複合コーナーでなくて加えてそれは担い得る
事実9: 「複合コーナーは暗転する」ということは成り立つ

仮説: この有塩バターは付加する
1. 事実1から、推論1: "もし仮にその傍受は交え用いない一方で電源開発だとすれば複合コーナーだ"が導かれる
2. 事実6と事実4から、推論2: "その傍受は交え用いないけれど電源開発である"が導かれる
3. 推論1と推論2から、推論3: "その傍受は複合コーナーである"が導かれる
4. 事実9から、推論4: "仮にその傍受は複合コーナーであるとすればそれは暗転する"が導かれる
5. 推論3と推論4から、推論5: "その傍受は暗転する"が導かれる
6. 推論5と事実3から、推論6: "「あの耐糖能は担い得る」ということは事実だ"が導かれる
7. 推論6と事実2から、推論7: "この有塩バターは冗談ぽい"が導かれる
8. 事実5から、推論8: "もしこの有塩バターが冗談ぽいならばそれは付加する"が導かれる
9. 推論7と推論8から、仮説が導かれる

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