あの食料は興奮し易い
fact1: もしもあの食料はチョコレート菓子でないとしたらそれは興奮し易い fact2: そのシングル盤は他愛無くない fact3: 仮に「あるものは算定すがしかし調査自体でない」ということは間違いであるとしたらそれはチョコレート菓子でない fact4: もし仮に「その分離頻度は興奮し易くて厳つい」ということは間違いならばあの食料は興奮し易くない fact5: そのシングル盤は転地しない fact6: この江戸市中は見境無くない fact7: 仮に「そのシングル盤は転地しない」ということは真実であるならばそれは他愛無くない fact8: なんらかの物が履けないがそれが様良しとすると透析準備期でない fact9: もし仮に「「このＭＧは拙くないしそれに掴み難くない」ということは事実と異なる」ということは成り立つとするとその疎通性は味気なくない fact10: 見境無くないしかつ厳つかないものは納税額でない fact11: 「あの警告伝説は御存じ無い」ということは成り立つ fact12: 「仮に「そのシングル盤は御存じ無い」ということは正しいならば「その分離頻度は厳つい」ということは成り立つ」ということは成り立つ fact13: 仮にある物は見境無いけれど厳つかないとすると「それは納税額でない」ということは成り立つ fact14: もし仮にその疎通性は透析準備期でないなら「この江戸市中は算定すがそれは調査自体でない」ということは間違いだ fact15: もし仮になにがしかの物が転地しないとすればそれが他愛無くないしさらに御存じ無い fact16: もし何かはチョコレート菓子でないならそれは興奮し易い fact17: もし仮にその分離頻度が厳ついとするとこの江戸市中は見境無くない fact18: もし仮に「何かは気象観測でないがしかしそれは監護する」ということは確かでないとしたらそれは着慣れる fact19: 仮にこの江戸市中は納税額であるということはないとすると「あの食料は納税額だということはないけどチョコレート菓子だ」ということは確かでない fact20: このＭＧは幼し fact21: もし仮になにがしかの物が転地しないならば他愛無いということはない fact22: 仮に「このＭＧは幼し」ということは誤りであるということはないなら「それは拙くないしその上それは掴み難いということはない」ということは誤りだ fact23: もし何かは転地しないならば「興奮し易くておまけに厳つい」ということは成り立たない fact24: その分離頻度が厳ついならばこの江戸市中が見境無くないしさらにそれは厳つかない fact25: この伝道所は転地しない fact26: この江戸市中は見境無いがしかし厳つかないならばそれは納税額でない fact27: 「なにがしかのものは納税額でないがそれはチョコレート菓子である」ということは成り立たないなら興奮し易い fact28: 仮になにかは味気なくないとしたら履けない一方で様良し
fact15 -> int1: 「そのシングル盤は転地しない」ということは真実であるならそれは他愛無いということはないけど御存じ無い; int1 & fact5 -> int2: そのシングル盤は他愛無くないけど御存じ無い; int2 -> int3: そのシングル盤は御存じ無い; int3 & fact12 -> int4: その分離頻度は厳つい; int4 & fact24 -> int5: この江戸市中は見境無くなくて更にそれは厳ついということはない; fact10 -> int6: この江戸市中は見境無くなくて厳つかないなら納税額でない; int5 & int6 -> int7: この江戸市中は納税額だということはない; int7 & fact19 -> int8: 「あの食料は納税額でないがチョコレート菓子だ」ということは誤りである; fact27 -> int9: もしも「あの食料は納税額だということはないけれどチョコレート菓子だ」ということは嘘であるならばそれは興奮し易い; int8 & int9 -> hypothesis;
あの食料は興奮し易いということはない
fact33 -> int10: もしもその分離頻度は転地しないとしたら「興奮し易くてかつ厳つい」ということは成り立たない; fact37 -> int11: もしも「この江戸市中は算定す一方でそれは調査自体でない」ということは嘘であるとすればそれはチョコレート菓子でない; fact30 -> int12: 仮にその疎通性が履けないけれど様良しとすればそれは透析準備期でない; fact36 -> int13: もしその疎通性は味気ないということはないならば「履けないしさらに様良し」ということは確かだ; fact35 & fact32 -> int14: 「このＭＧは拙いということはないし掴み難くない」ということは誤っている; fact31 & int14 -> int15: 「その疎通性は味気ないということはない」ということは真実だ; int13 & int15 -> int16: その疎通性は履けないがそれは様良し; int12 & int16 -> int17: その疎通性は透析準備期でない; fact34 & int17 -> int18: 「この江戸市中は算定すがしかしそれは調査自体でない」ということは事実と異なる; int11 & int18 -> int19: この江戸市中はチョコレート菓子であるということはない; int19 -> int20: 「チョコレート菓子でない」物はある;
$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: その分離頻度が厳ついならばこの江戸市中が見境無くないしさらにそれは厳つかない fact25: この伝道所は転地しない fact26: この江戸市中は見境無いがしかし厳つかないならばそれは納税額でない fact27: 「なにがしかのものは納税額でないがそれはチョコレート菓子である」ということは成り立たないなら興奮し易い fact28: 仮になにかは味気なくないとしたら履けない一方で様良し ; $hypothesis$ = あの食料は興奮し易い ; $proof$ = 
fact15 -> int1: 「そのシングル盤は転地しない」ということは真実であるならそれは他愛無いということはないけど御存じ無い; int1 & fact5 -> int2: そのシングル盤は他愛無くないけど御存じ無い; int2 -> int3: そのシングル盤は御存じ無い; int3 & fact12 -> int4: その分離頻度は厳つい; int4 & fact24 -> int5: この江戸市中は見境無くなくて更にそれは厳ついということはない; fact10 -> int6: この江戸市中は見境無くなくて厳つかないなら納税額でない; int5 & int6 -> int7: この江戸市中は納税額だということはない; int7 & fact19 -> int8: 「あの食料は納税額でないがチョコレート菓子だ」ということは誤りである; fact27 -> int9: もしも「あの食料は納税額だということはないけれどチョコレート菓子だ」ということは嘘であるならばそれは興奮し易い; int8 & int9 -> 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: その分離頻度が厳ついならばこの江戸市中が見境無くないしさらにそれは厳つかない
事実25: この伝道所は転地しない
事実26: この江戸市中は見境無いがしかし厳つかないならばそれは納税額でない
事実27: 「なにがしかのものは納税額でないがそれはチョコレート菓子である」ということは成り立たないなら興奮し易い
事実28: 仮になにかは味気なくないとしたら履けない一方で様良し

仮説: あの食料は興奮し易い
1. 事実15から、推論1: "「そのシングル盤は転地しない」ということは真実であるならそれは他愛無いということはないけど御存じ無い"が導かれる
2. 推論1と事実5から、推論2: "そのシングル盤は他愛無くないけど御存じ無い"が導かれる
3. 推論2から、推論3: "そのシングル盤は御存じ無い"が導かれる
4. 推論3と事実12から、推論4: "その分離頻度は厳つい"が導かれる
5. 推論4と事実24から、推論5: "この江戸市中は見境無くなくて更にそれは厳ついということはない"が導かれる
6. 事実10から、推論6: "この江戸市中は見境無くなくて厳つかないなら納税額でない"が導かれる
7. 推論5と推論6から、推論7: "この江戸市中は納税額だということはない"が導かれる
8. 推論7と事実19から、推論8: "「あの食料は納税額でないがチョコレート菓子だ」ということは誤りである"が導かれる
9. 事実27から、推論9: "もしも「あの食料は納税額だということはないけれどチョコレート菓子だ」ということは嘘であるならばそれは興奮し易い"が導かれる
10. 推論8と推論9から、仮説が導かれる

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