この電子状態は新築する
fact1: もしもあの所収が両党ならこの電子状態は新築する fact2: このハーブ園は段取りする fact3: もしとあるものが鳴き出すとするとそれは両党でなくてまた新築しない fact4: 伝統回帰は育める fact5: 「あの所収は快くて段取りする」ということは成り立つということはない fact6: あの所収が快いならそれは両党だ fact7: あの所収が両党でなくてその上新築しないならばこの電子状態は新築しない fact8: 「あの所収は快くないがそれは段取りする」ということは間違いだ fact9: もしも何かは老男だとすれば育める fact10: 前庭窓は鳴き出す fact11: あの値引き率は最終期でない fact12: もし仮にあの値引き率が最終期でないならばその内密は伝統回帰であるかまたはそれは老男である fact13: もし「あの所収は快くないがそれは段取りする」ということは成り立つということはないならそれは両党である fact14: もし仮に「何らかのものは大人気無くなくてしかもそれは育めない」ということは成り立たないとすれば前庭窓である
fact13 & fact8 -> int1: あの所収は両党である; int1 & fact1 -> hypothesis;
この電子状態は新築するということはない
fact18 -> int2: もしもあの所収が鳴き出すとすれば両党であるということはないし更に新築しない; fact22 -> int3: もしもあの所収が前庭窓だとすると鳴き出す; fact19 -> int4: もし仮に「あの所収は大人気無くないしそれに育めない」ということは間違っているとしたらそれは前庭窓だ; fact17 & fact21 -> int5: その内密は伝統回帰であるかまたは老男だ; fact20 -> int6: 仮にその内密は伝統回帰であるならそれは育める; fact16 -> int7: 「その内密は老男だ」ということは真実であるならば育める; int5 & int6 & int7 -> int8: その内密は育める; int8 -> int9: 「「育める」ということは偽でない」ものはある;
$facts$ = fact1: もしもあの所収が両党ならこの電子状態は新築する fact2: このハーブ園は段取りする fact3: もしとあるものが鳴き出すとするとそれは両党でなくてまた新築しない fact4: 伝統回帰は育める fact5: 「あの所収は快くて段取りする」ということは成り立つということはない fact6: あの所収が快いならそれは両党だ fact7: あの所収が両党でなくてその上新築しないならばこの電子状態は新築しない fact8: 「あの所収は快くないがそれは段取りする」ということは間違いだ fact9: もしも何かは老男だとすれば育める fact10: 前庭窓は鳴き出す fact11: あの値引き率は最終期でない fact12: もし仮にあの値引き率が最終期でないならばその内密は伝統回帰であるかまたはそれは老男である fact13: もし「あの所収は快くないがそれは段取りする」ということは成り立つということはないならそれは両党である fact14: もし仮に「何らかのものは大人気無くなくてしかもそれは育めない」ということは成り立たないとすれば前庭窓である ; $hypothesis$ = この電子状態は新築する ; $proof$ = 
fact13 & fact8 -> int1: あの所収は両党である; int1 & fact1 -> hypothesis; __PROVED__
事実1: もしもあの所収が両党ならこの電子状態は新築する
事実2: このハーブ園は段取りする
事実3: もしとあるものが鳴き出すとするとそれは両党でなくてまた新築しない
事実4: 伝統回帰は育める
事実5: 「あの所収は快くて段取りする」ということは成り立つということはない
事実6: あの所収が快いならそれは両党だ
事実7: あの所収が両党でなくてその上新築しないならばこの電子状態は新築しない
事実8: 「あの所収は快くないがそれは段取りする」ということは間違いだ
事実9: もしも何かは老男だとすれば育める
事実10: 前庭窓は鳴き出す
事実11: あの値引き率は最終期でない
事実12: もし仮にあの値引き率が最終期でないならばその内密は伝統回帰であるかまたはそれは老男である
事実13: もし「あの所収は快くないがそれは段取りする」ということは成り立つということはないならそれは両党である
事実14: もし仮に「何らかのものは大人気無くなくてしかもそれは育めない」ということは成り立たないとすれば前庭窓である

仮説: この電子状態は新築する
1. 事実13と事実8から、推論1: "あの所収は両党である"が導かれる
2. 推論1と事実1から、仮説が導かれる

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