あの教育実践はバス旅行でない
fact1: このクリスピンは遺族年金である fact2: もしその行水が潮見だということはない一方でそれがバス旅行であるとすればあの教育実践はバス旅行である fact3: このクリスピンが疎いとすればその行水は入れ難くないけれどヘブル語である fact4: その行水は出現し易い fact5: もしなにがしかのものが掛け持ちするとするとファイルフォーマットである fact6: もしこのクリスピンは御遠慮でないなら遺族年金だ fact7: もしもその外旋は遺族年金でないなら「それは御遠慮だけど疎くない」ということは嘘である fact8: 「魚中心であるかまたは付け易くないかあるいは両方ともな」ものはある fact9: もしなにがしかのものが潮見だとしたらヘブル語だ fact10: このクリスピンが御遠慮であるということはないなら遺族年金であるしその上それは入れ難い fact11: このクリスピンは御遠慮でない fact12: 「「魚中心であるかまたは付け易いか両方である」ということは偽である」ものはある fact13: 「魚中心でない」ものはある fact14: もし仮に「このクリスピンは遺族年金だがしかし疎くない」ということは誤りであるならばヘブル語だ fact15: もし仮にその行水は潮見でないならばそれは魚中心でない fact16: 「付け易い」物はある fact17: 「「魚中心であるか付け易くない」ということは成り立たない」物があればこのクリスピンは入れ難くない fact18: 入れ難くない物は潮見でないけれどバス旅行である fact19: もし仮にその行水がヘブル語で疎いならあの教育実践はバス旅行でない fact20: このクリスピンはヘブル語だとすると「その行水は入れ難くなくてそれに潮見でない」ということは誤っている fact21: もしも「何らかの物は入れ難くなくてそれに潮見でない」ということは誤りならそれはバス旅行でない fact22: 仮にその行水は潮見でないとすると「魚中心であるかもしくは付け易くないかまたはどちらもである」ということは誤りだ fact23: その行水は疎い fact24: その行水は魚中心でない
void -> assump1: 以下のように仮定する。その行水は潮見でない; fact22 & assump1 -> int1: 「その行水は魚中心であるかまたは付け易くないかまたはどちらもだ」ということは成り立たない; int1 -> int2: 「「魚中心であるかまたは付け易くないか両方である」ということは誤りな」物はある; int2 & fact17 -> int3: このクリスピンは入れ難くない; fact11 & fact10 -> int4: このクリスピンは遺族年金だししかも入れ難い; int4 -> int5: このクリスピンは入れ難い; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その行水は潮見である; fact9 -> int8: 仮にその行水が潮見だとするとヘブル語である; int7 & int8 -> int9: その行水はヘブル語だ; int9 & fact23 -> int10: その行水はヘブル語であるしさらにそれは疎い; int10 & fact19 -> hypothesis;
あの教育実践はバス旅行だ
fact27 -> int11: もしその行水が入れ難くないとしたら潮見でない一方でバス旅行である;
$facts$ = fact1: このクリスピンは遺族年金である fact2: もしその行水が潮見だということはない一方でそれがバス旅行であるとすればあの教育実践はバス旅行である fact3: このクリスピンが疎いとすればその行水は入れ難くないけれどヘブル語である fact4: その行水は出現し易い fact5: もしなにがしかのものが掛け持ちするとするとファイルフォーマットである fact6: もしこのクリスピンは御遠慮でないなら遺族年金だ fact7: もしもその外旋は遺族年金でないなら「それは御遠慮だけど疎くない」ということは嘘である fact8: 「魚中心であるかまたは付け易くないかあるいは両方ともな」ものはある fact9: もしなにがしかのものが潮見だとしたらヘブル語だ fact10: このクリスピンが御遠慮であるということはないなら遺族年金であるしその上それは入れ難い fact11: このクリスピンは御遠慮でない fact12: 「「魚中心であるかまたは付け易いか両方である」ということは偽である」ものはある fact13: 「魚中心でない」ものはある fact14: もし仮に「このクリスピンは遺族年金だがしかし疎くない」ということは誤りであるならばヘブル語だ fact15: もし仮にその行水は潮見でないならばそれは魚中心でない fact16: 「付け易い」物はある fact17: 「「魚中心であるか付け易くない」ということは成り立たない」物があればこのクリスピンは入れ難くない fact18: 入れ難くない物は潮見でないけれどバス旅行である fact19: もし仮にその行水がヘブル語で疎いならあの教育実践はバス旅行でない fact20: このクリスピンはヘブル語だとすると「その行水は入れ難くなくてそれに潮見でない」ということは誤っている fact21: もしも「何らかの物は入れ難くなくてそれに潮見でない」ということは誤りならそれはバス旅行でない fact22: 仮にその行水は潮見でないとすると「魚中心であるかもしくは付け易くないかまたはどちらもである」ということは誤りだ fact23: その行水は疎い fact24: その行水は魚中心でない ; $hypothesis$ = あの教育実践はバス旅行でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その行水は潮見でない; fact22 & assump1 -> int1: 「その行水は魚中心であるかまたは付け易くないかまたはどちらもだ」ということは成り立たない; int1 -> int2: 「「魚中心であるかまたは付け易くないか両方である」ということは誤りな」物はある; int2 & fact17 -> int3: このクリスピンは入れ難くない; fact11 & fact10 -> int4: このクリスピンは遺族年金だししかも入れ難い; int4 -> int5: このクリスピンは入れ難い; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その行水は潮見である; fact9 -> int8: 仮にその行水が潮見だとするとヘブル語である; int7 & int8 -> int9: その行水はヘブル語だ; int9 & fact23 -> int10: その行水はヘブル語であるしさらにそれは疎い; int10 & fact19 -> hypothesis; __PROVED__
事実1: このクリスピンは遺族年金である
事実2: もしその行水が潮見だということはない一方でそれがバス旅行であるとすればあの教育実践はバス旅行である
事実3: このクリスピンが疎いとすればその行水は入れ難くないけれどヘブル語である
事実4: その行水は出現し易い
事実5: もしなにがしかのものが掛け持ちするとするとファイルフォーマットである
事実6: もしこのクリスピンは御遠慮でないなら遺族年金だ
事実7: もしもその外旋は遺族年金でないなら「それは御遠慮だけど疎くない」ということは嘘である
事実8: 「魚中心であるかまたは付け易くないかあるいは両方ともな」ものはある
事実9: もしなにがしかのものが潮見だとしたらヘブル語だ
事実10: このクリスピンが御遠慮であるということはないなら遺族年金であるしその上それは入れ難い
事実11: このクリスピンは御遠慮でない
事実12: 「「魚中心であるかまたは付け易いか両方である」ということは偽である」ものはある
事実13: 「魚中心でない」ものはある
事実14: もし仮に「このクリスピンは遺族年金だがしかし疎くない」ということは誤りであるならばヘブル語だ
事実15: もし仮にその行水は潮見でないならばそれは魚中心でない
事実16: 「付け易い」物はある
事実17: 「「魚中心であるか付け易くない」ということは成り立たない」物があればこのクリスピンは入れ難くない
事実18: 入れ難くない物は潮見でないけれどバス旅行である
事実19: もし仮にその行水がヘブル語で疎いならあの教育実践はバス旅行でない
事実20: このクリスピンはヘブル語だとすると「その行水は入れ難くなくてそれに潮見でない」ということは誤っている
事実21: もしも「何らかの物は入れ難くなくてそれに潮見でない」ということは誤りならそれはバス旅行でない
事実22: 仮にその行水は潮見でないとすると「魚中心であるかもしくは付け易くないかまたはどちらもである」ということは誤りだ
事実23: その行水は疎い
事実24: その行水は魚中心でない

仮説: あの教育実践はバス旅行でない
1. 仮定1: 以下のように仮定する。その行水は潮見でない
2. 事実22と仮定1から、推論1: "「その行水は魚中心であるかまたは付け易くないかまたはどちらもだ」ということは成り立たない"が導かれる
3. 推論1から、推論2: "「「魚中心であるかまたは付け易くないか両方である」ということは誤りな」物はある"が導かれる
4. 推論2と事実17から、推論3: "このクリスピンは入れ難くない"が導かれる
5. 事実11と事実10から、推論4: "このクリスピンは遺族年金だししかも入れ難い"が導かれる
6. 推論4から、推論5: "このクリスピンは入れ難い"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その行水は潮見である"が導かれる
9. 事実9から、推論8: "仮にその行水が潮見だとするとヘブル語である"が導かれる
10. 推論7と推論8から、推論9: "その行水はヘブル語だ"が導かれる
11. 推論9と事実23から、推論10: "その行水はヘブル語であるしさらにそれは疎い"が導かれる
12. 推論10と事実19から、仮説が導かれる

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