その熟成は起き易い
fact1: もしも何かはシーム溶接でないとすれば起き易くない fact2: 「ＰＢＲで木造モルタル作りな」ものはある fact3: もしもとある物がＰＢＲであるけれど木造モルタル作りでないならその熟成は二十一日判時である fact4: もし建築費用が二十一日判時でないならその熟成は自動生成する fact5: 何かは木造モルタル作りでない fact6: なにがしかのものははしたなくておまけに一目惚れする fact7: なにがしかのものは成膜しない fact8: 「ＰＢＲである」物はある fact9: 構造化方程式モデルでありしかも上り易くないものはある fact10: 仮にこのプレッシャーが木造モルタル作りでないけどＰＢＲだとすればあの熟成は起き易くない fact11: 仮になにがしかのものが二十一日判時ならば起き易い fact12: もしこのプレッシャーは幹部職員であるということはないならばそれはシーム溶接でないけれど非難がましい fact13: 「ＰＢＲであるがしかし木造モルタル作りでない」ものはある fact14: 起き易くないものは木造モルタル作りでないか二十一日判時でないか両方ともだ fact15: 仮にこの土地が二十一日判時だがそれが非難がましくらないとすればこのプレッシャーは二十一日判時でない fact16: 「仮に「あの変形期間は乗り難い」ということは成り立つとするとあの変形期間は設営だ」ということは真実だ
fact13 & fact3 -> int1: 「その熟成は二十一日判時である」ということは成り立つ; fact11 -> int2: 仮にその熟成が二十一日判時なら起き易い; int1 & int2 -> hypothesis;
fact13 & fact3 -> int1: {C}{a}; fact11 -> int2: {C}{a} -> {D}{a}; int1 & int2 -> hypothesis;
「その熟成はＰＢＲだ」ということは確かだ
fact18 -> int3: もしもこのプレッシャーが起き易くないならば木造モルタル作りであるということはないかまたは二十一日判時でないかもしくは両方だ; fact17 -> int4: このプレッシャーはシーム溶接でないなら起き易くない;
$facts$ = fact1: もしも何かはシーム溶接でないとすれば起き易くない fact2: 「ＰＢＲで木造モルタル作りな」ものはある fact3: もしもとある物がＰＢＲであるけれど木造モルタル作りでないならその熟成は二十一日判時である fact4: もし建築費用が二十一日判時でないならその熟成は自動生成する fact5: 何かは木造モルタル作りでない fact6: なにがしかのものははしたなくておまけに一目惚れする fact7: なにがしかのものは成膜しない fact8: 「ＰＢＲである」物はある fact9: 構造化方程式モデルでありしかも上り易くないものはある fact10: 仮にこのプレッシャーが木造モルタル作りでないけどＰＢＲだとすればあの熟成は起き易くない fact11: 仮になにがしかのものが二十一日判時ならば起き易い fact12: もしこのプレッシャーは幹部職員であるということはないならばそれはシーム溶接でないけれど非難がましい fact13: 「ＰＢＲであるがしかし木造モルタル作りでない」ものはある fact14: 起き易くないものは木造モルタル作りでないか二十一日判時でないか両方ともだ fact15: 仮にこの土地が二十一日判時だがそれが非難がましくらないとすればこのプレッシャーは二十一日判時でない fact16: 「仮に「あの変形期間は乗り難い」ということは成り立つとするとあの変形期間は設営だ」ということは真実だ ; $hypothesis$ = その熟成は起き易い ; $proof$ = 
fact13 & fact3 -> int1: 「その熟成は二十一日判時である」ということは成り立つ; fact11 -> int2: 仮にその熟成が二十一日判時なら起き易い; int1 & int2 -> hypothesis; __PROVED__
事実1: もしも何かはシーム溶接でないとすれば起き易くない
事実2: 「ＰＢＲで木造モルタル作りな」ものはある
事実3: もしもとある物がＰＢＲであるけれど木造モルタル作りでないならその熟成は二十一日判時である
事実4: もし建築費用が二十一日判時でないならその熟成は自動生成する
事実5: 何かは木造モルタル作りでない
事実6: なにがしかのものははしたなくておまけに一目惚れする
事実7: なにがしかのものは成膜しない
事実8: 「ＰＢＲである」物はある
事実9: 構造化方程式モデルでありしかも上り易くないものはある
事実10: 仮にこのプレッシャーが木造モルタル作りでないけどＰＢＲだとすればあの熟成は起き易くない
事実11: 仮になにがしかのものが二十一日判時ならば起き易い
事実12: もしこのプレッシャーは幹部職員であるということはないならばそれはシーム溶接でないけれど非難がましい
事実13: 「ＰＢＲであるがしかし木造モルタル作りでない」ものはある
事実14: 起き易くないものは木造モルタル作りでないか二十一日判時でないか両方ともだ
事実15: 仮にこの土地が二十一日判時だがそれが非難がましくらないとすればこのプレッシャーは二十一日判時でない
事実16: 「仮に「あの変形期間は乗り難い」ということは成り立つとするとあの変形期間は設営だ」ということは真実だ

仮説: その熟成は起き易い
1. 事実13と事実3から、推論1: "「その熟成は二十一日判時である」ということは成り立つ"が導かれる
2. 事実11から、推論2: "仮にその熟成が二十一日判時なら起き易い"が導かれる
3. 推論1と推論2から、仮説が導かれる

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