そのボトル・ウォーターが酌だしおまけに貴定だ
fact1: そのボトル・ウォーターは行く fact2: 「その新相は貴定だ」ということは間違いでない fact3: その当審判所は貴定だ fact4: この第一旅団は貴定である fact5: もしもあるものは建築一式工事でないとすると「それは酌であるし貴定である」ということは誤っている fact6: 「そのボトル・ウォーターは酌だ」ということは成り立つ fact7: そのボトル・ウォーターは流体である fact8: その花菱亭は貴定だ fact9: そのボトル・ウォーターは共鳴し易いしそれに同船する fact10: 仮に「「利用し辛いということはないか建築一式工事でない」ということは誤りな」ものがあるならこの最小容量は酌である fact11: そのボトル・ウォーターは征討する fact12: そのボトル・ウォーターは犯し易くてそれは疑り深い fact13: あの心作用は入館する fact14: そのボトル・ウォーターが見付けないならばそれは利用し辛いということはなくて加えて建築一式工事でない fact15: なんらかの物は見付けるなら「それは利用し辛くないかそれは建築一式工事でないかまたはどちらもだ」ということは成り立つということはない fact16: その第二次大戦時は酌だ fact17: そのボトル・ウォーターは貴定である fact18: そのボトル・ウォーターは好まし fact19: この運送保険料は酌である fact20: もし「そのボトル・ウォーターは返還請求出来る」ということは成り立たないとすれば「利用し辛くない一方で見付ける」ということは成り立たない fact21: あの腎損傷は貴定であるしその上交流する
fact6 & fact17 -> hypothesis;
fact6 & fact17 -> hypothesis;
「そのボトル・ウォーターは酌であるし貴定だ」ということは確かでない
fact23 -> int1: 「そのボトル・ウォーターは建築一式工事でない」ということは偽でないならば「それは酌だししかも貴定だ」ということは誤りである; fact24 -> int2: 「入館する」ものはある;
$facts$ = fact1: そのボトル・ウォーターは行く fact2: 「その新相は貴定だ」ということは間違いでない fact3: その当審判所は貴定だ fact4: この第一旅団は貴定である fact5: もしもあるものは建築一式工事でないとすると「それは酌であるし貴定である」ということは誤っている fact6: 「そのボトル・ウォーターは酌だ」ということは成り立つ fact7: そのボトル・ウォーターは流体である fact8: その花菱亭は貴定だ fact9: そのボトル・ウォーターは共鳴し易いしそれに同船する fact10: 仮に「「利用し辛いということはないか建築一式工事でない」ということは誤りな」ものがあるならこの最小容量は酌である fact11: そのボトル・ウォーターは征討する fact12: そのボトル・ウォーターは犯し易くてそれは疑り深い fact13: あの心作用は入館する fact14: そのボトル・ウォーターが見付けないならばそれは利用し辛いということはなくて加えて建築一式工事でない fact15: なんらかの物は見付けるなら「それは利用し辛くないかそれは建築一式工事でないかまたはどちらもだ」ということは成り立つということはない fact16: その第二次大戦時は酌だ fact17: そのボトル・ウォーターは貴定である fact18: そのボトル・ウォーターは好まし fact19: この運送保険料は酌である fact20: もし「そのボトル・ウォーターは返還請求出来る」ということは成り立たないとすれば「利用し辛くない一方で見付ける」ということは成り立たない fact21: あの腎損傷は貴定であるしその上交流する ; $hypothesis$ = そのボトル・ウォーターが酌だしおまけに貴定だ ; $proof$ = 
fact6 & fact17 -> hypothesis; __PROVED__
事実1: そのボトル・ウォーターは行く
事実2: 「その新相は貴定だ」ということは間違いでない
事実3: その当審判所は貴定だ
事実4: この第一旅団は貴定である
事実5: もしもあるものは建築一式工事でないとすると「それは酌であるし貴定である」ということは誤っている
事実6: 「そのボトル・ウォーターは酌だ」ということは成り立つ
事実7: そのボトル・ウォーターは流体である
事実8: その花菱亭は貴定だ
事実9: そのボトル・ウォーターは共鳴し易いしそれに同船する
事実10: 仮に「「利用し辛いということはないか建築一式工事でない」ということは誤りな」ものがあるならこの最小容量は酌である
事実11: そのボトル・ウォーターは征討する
事実12: そのボトル・ウォーターは犯し易くてそれは疑り深い
事実13: あの心作用は入館する
事実14: そのボトル・ウォーターが見付けないならばそれは利用し辛いということはなくて加えて建築一式工事でない
事実15: なんらかの物は見付けるなら「それは利用し辛くないかそれは建築一式工事でないかまたはどちらもだ」ということは成り立つということはない
事実16: その第二次大戦時は酌だ
事実17: そのボトル・ウォーターは貴定である
事実18: そのボトル・ウォーターは好まし
事実19: この運送保険料は酌である
事実20: もし「そのボトル・ウォーターは返還請求出来る」ということは成り立たないとすれば「利用し辛くない一方で見付ける」ということは成り立たない
事実21: あの腎損傷は貴定であるしその上交流する

仮説: そのボトル・ウォーターが酌だしおまけに貴定だ
1. 事実6と事実17から、仮説が導かれる

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