「この電気料金は水木でないけれど溶け易い」ということは成り立たない
fact1: もし仮にこの脈圧が工作隊であるし加えてそれが考え易いとするとあの最短距離は凄まじくない fact2: 「この脈圧は考え易いということはないが溶け易い」ということは偽である fact3: もし仮にその虚脱状態は崩れ易いということはないがしかし溶け易いならそれは水木である fact4: この脈圧は工作隊だ fact5: 「この電気料金は水木でないが工作隊だ」ということは成り立たない fact6: もし「あの最短距離は工作隊である」ということは成り立つとしたらこの脈圧は考え易い fact7: あの最短距離は工作隊である fact8: 「あの最短距離は工作隊でない一方で水木だ」ということは成り立たない fact9: もしもこの脈圧は考え易いとすれば「この電気料金は水木で溶け易い」ということは成り立たない fact10: 仮にあの舗装路面が登山家らしいが崩れ易くないとしたらあの最短距離は崩れ易くない fact11: あの最短距離は溶け易い fact12: 「あの最短距離は崩れ易くなくてしかも工作隊だということはない」ということは成り立つとしたらこの電気料金は工作隊でない fact13: 仮にこの脈圧は考え易いとしたら「この電気料金は水木でないけれど溶け易い」ということは真実でない fact14: もし仮にあの最短距離は溶け易いとすれば「この電気料金は工作隊でないけれど考え易い」ということは成り立たない fact15: もし仮になにがしかのものが工作隊でないとすると水木であるということはなくてしかも溶け易い fact16: 「この脈圧はうざい」ということは本当である fact17: あの義侠心は考え易い fact18: 「この電気料金は水木であるし溶け易い」ということは成り立たない fact19: 「あの最短距離は水木でないが工作隊である」ということは成り立たない fact20: 「あの最短距離は品揃えである」ということは確かだ
fact6 & fact7 -> int1: この脈圧は考え易い; int1 & fact13 -> hypothesis;
fact6 & fact7 -> int1: {B}{b}; int1 & fact13 -> hypothesis;
「この電気料金は老犬期でない一方で凄まじい」ということは間違いである
$facts$ = fact1: もし仮にこの脈圧が工作隊であるし加えてそれが考え易いとするとあの最短距離は凄まじくない fact2: 「この脈圧は考え易いということはないが溶け易い」ということは偽である fact3: もし仮にその虚脱状態は崩れ易いということはないがしかし溶け易いならそれは水木である fact4: この脈圧は工作隊だ fact5: 「この電気料金は水木でないが工作隊だ」ということは成り立たない fact6: もし「あの最短距離は工作隊である」ということは成り立つとしたらこの脈圧は考え易い fact7: あの最短距離は工作隊である fact8: 「あの最短距離は工作隊でない一方で水木だ」ということは成り立たない fact9: もしもこの脈圧は考え易いとすれば「この電気料金は水木で溶け易い」ということは成り立たない fact10: 仮にあの舗装路面が登山家らしいが崩れ易くないとしたらあの最短距離は崩れ易くない fact11: あの最短距離は溶け易い fact12: 「あの最短距離は崩れ易くなくてしかも工作隊だということはない」ということは成り立つとしたらこの電気料金は工作隊でない fact13: 仮にこの脈圧は考え易いとしたら「この電気料金は水木でないけれど溶け易い」ということは真実でない fact14: もし仮にあの最短距離は溶け易いとすれば「この電気料金は工作隊でないけれど考え易い」ということは成り立たない fact15: もし仮になにがしかのものが工作隊でないとすると水木であるということはなくてしかも溶け易い fact16: 「この脈圧はうざい」ということは本当である fact17: あの義侠心は考え易い fact18: 「この電気料金は水木であるし溶け易い」ということは成り立たない fact19: 「あの最短距離は水木でないが工作隊である」ということは成り立たない fact20: 「あの最短距離は品揃えである」ということは確かだ ; $hypothesis$ = 「この電気料金は水木でないけれど溶け易い」ということは成り立たない ; $proof$ = 
fact6 & fact7 -> int1: この脈圧は考え易い; int1 & fact13 -> hypothesis; __PROVED__
事実1: もし仮にこの脈圧が工作隊であるし加えてそれが考え易いとするとあの最短距離は凄まじくない
事実2: 「この脈圧は考え易いということはないが溶け易い」ということは偽である
事実3: もし仮にその虚脱状態は崩れ易いということはないがしかし溶け易いならそれは水木である
事実4: この脈圧は工作隊だ
事実5: 「この電気料金は水木でないが工作隊だ」ということは成り立たない
事実6: もし「あの最短距離は工作隊である」ということは成り立つとしたらこの脈圧は考え易い
事実7: あの最短距離は工作隊である
事実8: 「あの最短距離は工作隊でない一方で水木だ」ということは成り立たない
事実9: もしもこの脈圧は考え易いとすれば「この電気料金は水木で溶け易い」ということは成り立たない
事実10: 仮にあの舗装路面が登山家らしいが崩れ易くないとしたらあの最短距離は崩れ易くない
事実11: あの最短距離は溶け易い
事実12: 「あの最短距離は崩れ易くなくてしかも工作隊だということはない」ということは成り立つとしたらこの電気料金は工作隊でない
事実13: 仮にこの脈圧は考え易いとしたら「この電気料金は水木でないけれど溶け易い」ということは真実でない
事実14: もし仮にあの最短距離は溶け易いとすれば「この電気料金は工作隊でないけれど考え易い」ということは成り立たない
事実15: もし仮になにがしかのものが工作隊でないとすると水木であるということはなくてしかも溶け易い
事実16: 「この脈圧はうざい」ということは本当である
事実17: あの義侠心は考え易い
事実18: 「この電気料金は水木であるし溶け易い」ということは成り立たない
事実19: 「あの最短距離は水木でないが工作隊である」ということは成り立たない
事実20: 「あの最短距離は品揃えである」ということは確かだ

仮説: 「この電気料金は水木でないけれど溶け易い」ということは成り立たない
1. 事実6と事実7から、推論1: "この脈圧は考え易い"が導かれる
2. 推論1と事実13から、仮説が導かれる

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