この他地方は湧き上らないかそれは同居する
fact1: ちっこいということはない物はしつっこいし加えて十三年中である fact2: あのリクライニング・シートは湧き上る fact3: もしもこの他地方は湧き上るとしたら「この自社開発は同居しないかしつっこいかもしくは両方ともだ」ということは成り立つ fact4: この他地方が湧き上るとしたらそれは十三年中だ fact5: もし「この自社開発は十三年中である」ということは正しいとするとこの他地方は湧き上るかまたはそれは同居するかもしくはどちらもである fact6: もしもこの他地方が十三年中ならばこの自社開発は同居しないかあるいはそれはしつっこいかどちらもだ fact7: この他地方は湧き上るかもしくは同居する fact8: この他地方はしつっこい fact9: この自社開発は十三年中でないかもしくはそれは同居するかどちらもだ fact10: この自社開発は攀じ登る fact11: この他地方は湧き上らないかあるいはそれは十三年中である fact12: この自社開発はしつっこい fact13: この他地方は同居しないかもしくはしつっこいかまたはどちらもだ fact14: この自社開発はしつっこいということはないかまたはそれは湧き上るかどちらもだ fact15: もし仮にその素描が同居するとするとそれは痛み易い fact16: 「もし「この自社開発はしつっこい」ということは本当であるとしたらこの自社開発は十三年中である」ということは事実である fact17: この他地方は見易い fact18: もしもこの自社開発が十三年中ならばこの他地方は湧き上らないかまたは同居するか両方ともである fact19: この自社開発は湧き上る
fact16 & fact12 -> int1: この自社開発は十三年中だ; int1 & fact18 -> hypothesis;
「この他地方は湧き上らないかあるいは同居するかあるいは両方ともである」ということは成り立たない
fact20 -> int2: もしもこの他地方がちっこくないとしたらそれはしつっこいし十三年中だ;
$facts$ = fact1: ちっこいということはない物はしつっこいし加えて十三年中である fact2: あのリクライニング・シートは湧き上る fact3: もしもこの他地方は湧き上るとしたら「この自社開発は同居しないかしつっこいかもしくは両方ともだ」ということは成り立つ fact4: この他地方が湧き上るとしたらそれは十三年中だ fact5: もし「この自社開発は十三年中である」ということは正しいとするとこの他地方は湧き上るかまたはそれは同居するかもしくはどちらもである fact6: もしもこの他地方が十三年中ならばこの自社開発は同居しないかあるいはそれはしつっこいかどちらもだ fact7: この他地方は湧き上るかもしくは同居する fact8: この他地方はしつっこい fact9: この自社開発は十三年中でないかもしくはそれは同居するかどちらもだ fact10: この自社開発は攀じ登る fact11: この他地方は湧き上らないかあるいはそれは十三年中である fact12: この自社開発はしつっこい fact13: この他地方は同居しないかもしくはしつっこいかまたはどちらもだ fact14: この自社開発はしつっこいということはないかまたはそれは湧き上るかどちらもだ fact15: もし仮にその素描が同居するとするとそれは痛み易い fact16: 「もし「この自社開発はしつっこい」ということは本当であるとしたらこの自社開発は十三年中である」ということは事実である fact17: この他地方は見易い fact18: もしもこの自社開発が十三年中ならばこの他地方は湧き上らないかまたは同居するか両方ともである fact19: この自社開発は湧き上る ; $hypothesis$ = この他地方は湧き上らないかそれは同居する ; $proof$ = 
fact16 & fact12 -> int1: この自社開発は十三年中だ; int1 & fact18 -> hypothesis; __PROVED__
事実1: ちっこいということはない物はしつっこいし加えて十三年中である
事実2: あのリクライニング・シートは湧き上る
事実3: もしもこの他地方は湧き上るとしたら「この自社開発は同居しないかしつっこいかもしくは両方ともだ」ということは成り立つ
事実4: この他地方が湧き上るとしたらそれは十三年中だ
事実5: もし「この自社開発は十三年中である」ということは正しいとするとこの他地方は湧き上るかまたはそれは同居するかもしくはどちらもである
事実6: もしもこの他地方が十三年中ならばこの自社開発は同居しないかあるいはそれはしつっこいかどちらもだ
事実7: この他地方は湧き上るかもしくは同居する
事実8: この他地方はしつっこい
事実9: この自社開発は十三年中でないかもしくはそれは同居するかどちらもだ
事実10: この自社開発は攀じ登る
事実11: この他地方は湧き上らないかあるいはそれは十三年中である
事実12: この自社開発はしつっこい
事実13: この他地方は同居しないかもしくはしつっこいかまたはどちらもだ
事実14: この自社開発はしつっこいということはないかまたはそれは湧き上るかどちらもだ
事実15: もし仮にその素描が同居するとするとそれは痛み易い
事実16: 「もし「この自社開発はしつっこい」ということは本当であるとしたらこの自社開発は十三年中である」ということは事実である
事実17: この他地方は見易い
事実18: もしもこの自社開発が十三年中ならばこの他地方は湧き上らないかまたは同居するか両方ともである
事実19: この自社開発は湧き上る

仮説: この他地方は湧き上らないかそれは同居する
1. 事実16と事実12から、推論1: "この自社開発は十三年中だ"が導かれる
2. 推論1と事実18から、仮説が導かれる

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