この資源保存は変わる
fact1: もしもこの資源保存が押し出すとすると探索す fact2: この資源保存はそそっかしい fact3: この資源保存は移行し易い fact4: もし「その窯出しはそそっかしくない」ということは真実であるならばあの資源保存は変わらない fact5: この資源保存は葡萄だ fact6: あの一文字毎はそそっかしい fact7: 「この資源保存は貶す」ということは事実だ fact8: もしもこのフォルマント中心は変わるとすると「「経験出来ない」ということは事実である」ということは間違っている fact9: 仮にその共倒れが痛み易いとすれば最小行政区画内だ fact10: そのオプションダイアログはそそっかしい fact11: この資源保存は優し fact12: もしも「「北東であるということはなくて更にそそっかしくない」ということは偽な」物があればこのＣＡＴＶはそそっかしい fact13: この資源保存は喜ばしい fact14: 仮に「何らかの物は北東であるがしかし脂っこくない」ということは誤っているとしたらそそっかしくない fact15: その大迫力はそそっかしい fact16: 「この資源保存は旨い」ということは成り立つ fact17: その一毫は変わる fact18: その想定外が出でるならそれは買い易い fact19: もしも何かは変われば「それは北東でなくてそれはそそっかしくない」ということは誤りである fact20: この資源保存は聖別だ fact21: もし仮にこの資源保存がそそっかしいならばそれは変わる fact22: その窯出しはそそっかしい
fact21 & fact2 -> hypothesis;
fact21 & fact2 -> hypothesis;
この資源保存は変わらない
fact23 -> int1: もし「「その窯出しは北東だ一方で脂っこくない」ということは偽である」ということは成り立つとするとそそっかしくない;
$facts$ = fact1: もしもこの資源保存が押し出すとすると探索す fact2: この資源保存はそそっかしい fact3: この資源保存は移行し易い fact4: もし「その窯出しはそそっかしくない」ということは真実であるならばあの資源保存は変わらない fact5: この資源保存は葡萄だ fact6: あの一文字毎はそそっかしい fact7: 「この資源保存は貶す」ということは事実だ fact8: もしもこのフォルマント中心は変わるとすると「「経験出来ない」ということは事実である」ということは間違っている fact9: 仮にその共倒れが痛み易いとすれば最小行政区画内だ fact10: そのオプションダイアログはそそっかしい fact11: この資源保存は優し fact12: もしも「「北東であるということはなくて更にそそっかしくない」ということは偽な」物があればこのＣＡＴＶはそそっかしい fact13: この資源保存は喜ばしい fact14: 仮に「何らかの物は北東であるがしかし脂っこくない」ということは誤っているとしたらそそっかしくない fact15: その大迫力はそそっかしい fact16: 「この資源保存は旨い」ということは成り立つ fact17: その一毫は変わる fact18: その想定外が出でるならそれは買い易い fact19: もしも何かは変われば「それは北東でなくてそれはそそっかしくない」ということは誤りである fact20: この資源保存は聖別だ fact21: もし仮にこの資源保存がそそっかしいならばそれは変わる fact22: その窯出しはそそっかしい ; $hypothesis$ = この資源保存は変わる ; $proof$ = 
fact21 & fact2 -> hypothesis; __PROVED__
事実1: もしもこの資源保存が押し出すとすると探索す
事実2: この資源保存はそそっかしい
事実3: この資源保存は移行し易い
事実4: もし「その窯出しはそそっかしくない」ということは真実であるならばあの資源保存は変わらない
事実5: この資源保存は葡萄だ
事実6: あの一文字毎はそそっかしい
事実7: 「この資源保存は貶す」ということは事実だ
事実8: もしもこのフォルマント中心は変わるとすると「「経験出来ない」ということは事実である」ということは間違っている
事実9: 仮にその共倒れが痛み易いとすれば最小行政区画内だ
事実10: そのオプションダイアログはそそっかしい
事実11: この資源保存は優し
事実12: もしも「「北東であるということはなくて更にそそっかしくない」ということは偽な」物があればこのＣＡＴＶはそそっかしい
事実13: この資源保存は喜ばしい
事実14: 仮に「何らかの物は北東であるがしかし脂っこくない」ということは誤っているとしたらそそっかしくない
事実15: その大迫力はそそっかしい
事実16: 「この資源保存は旨い」ということは成り立つ
事実17: その一毫は変わる
事実18: その想定外が出でるならそれは買い易い
事実19: もしも何かは変われば「それは北東でなくてそれはそそっかしくない」ということは誤りである
事実20: この資源保存は聖別だ
事実21: もし仮にこの資源保存がそそっかしいならばそれは変わる
事実22: その窯出しはそそっかしい

仮説: この資源保存は変わる
1. 事実21と事実2から、仮説が導かれる

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