その横罫線は水っぽいけれど唱歌教材でない
fact1: 「その横罫線は嫉妬深くてさらに水っぽい」ということは真実だ fact2: もしもこの社会的養護が芳しいとすればあの横罫線は水っぽいものでその上唱歌教材でない fact3: もし仮にその横罫線は化粧品であるということはないとすると淡いしベンチマークする fact4: この社会的養護は七十パーセント近くでない fact5: その横罫線は紳士らしくない fact6: その横罫線は水っぽいけど七十パーセント近くでない fact7: もし仮にこの社会的養護が七十パーセント近くでないとしたらそれは芳しいし中世的都市だ fact8: あるものは七十パーセント近くだとすれば「水っぽくてかつ唱歌教材でない」ということは事実と異なる fact9: この社会的養護は唱歌教材である fact10: その横罫線は水っぽい fact11: もし「この社会的養護は芳しい」ということは本当ならその横罫線は水っぽい fact12: 仮にとある物は淡いならば「人懐こいしその上それは七十パーセント近くでない」ということは本当だということはない fact13: もし「なにがしかのものは人懐こいけど七十パーセント近くであるということはない」ということは誤りであるとすれば「それは七十パーセント近くだ」ということは成り立つ fact14: この社会的養護は中世的都市である fact15: もし「この社会的養護は水っぽい」ということは確かならその横罫線は中世的都市でない
fact7 & fact4 -> int1: この社会的養護は芳しいしそれは中世的都市である; int1 -> int2: この社会的養護は芳しい; int2 & fact2 -> hypothesis;
「その横罫線は水っぽいけれどそれは唱歌教材でない」ということは偽である
fact17 -> int3: 仮にその横罫線は七十パーセント近くだとすれば「水っぽいけれど唱歌教材でない」ということは嘘である; fact18 -> int4: もし「その横罫線は人懐こいけど七十パーセント近くだということはない」ということは成り立たないなら七十パーセント近くだ; fact16 -> int5: 「もしその横罫線は淡いとすれば「その横罫線は人懐こいけれど七十パーセント近くでない」ということは間違っている」ということは成り立つ;
$facts$ = fact1: 「その横罫線は嫉妬深くてさらに水っぽい」ということは真実だ fact2: もしもこの社会的養護が芳しいとすればあの横罫線は水っぽいものでその上唱歌教材でない fact3: もし仮にその横罫線は化粧品であるということはないとすると淡いしベンチマークする fact4: この社会的養護は七十パーセント近くでない fact5: その横罫線は紳士らしくない fact6: その横罫線は水っぽいけど七十パーセント近くでない fact7: もし仮にこの社会的養護が七十パーセント近くでないとしたらそれは芳しいし中世的都市だ fact8: あるものは七十パーセント近くだとすれば「水っぽくてかつ唱歌教材でない」ということは事実と異なる fact9: この社会的養護は唱歌教材である fact10: その横罫線は水っぽい fact11: もし「この社会的養護は芳しい」ということは本当ならその横罫線は水っぽい fact12: 仮にとある物は淡いならば「人懐こいしその上それは七十パーセント近くでない」ということは本当だということはない fact13: もし「なにがしかのものは人懐こいけど七十パーセント近くであるということはない」ということは誤りであるとすれば「それは七十パーセント近くだ」ということは成り立つ fact14: この社会的養護は中世的都市である fact15: もし「この社会的養護は水っぽい」ということは確かならその横罫線は中世的都市でない ; $hypothesis$ = その横罫線は水っぽいけれど唱歌教材でない ; $proof$ = 
fact7 & fact4 -> int1: この社会的養護は芳しいしそれは中世的都市である; int1 -> int2: この社会的養護は芳しい; int2 & fact2 -> hypothesis; __PROVED__
事実1: 「その横罫線は嫉妬深くてさらに水っぽい」ということは真実だ
事実2: もしもこの社会的養護が芳しいとすればあの横罫線は水っぽいものでその上唱歌教材でない
事実3: もし仮にその横罫線は化粧品であるということはないとすると淡いしベンチマークする
事実4: この社会的養護は七十パーセント近くでない
事実5: その横罫線は紳士らしくない
事実6: その横罫線は水っぽいけど七十パーセント近くでない
事実7: もし仮にこの社会的養護が七十パーセント近くでないとしたらそれは芳しいし中世的都市だ
事実8: あるものは七十パーセント近くだとすれば「水っぽくてかつ唱歌教材でない」ということは事実と異なる
事実9: この社会的養護は唱歌教材である
事実10: その横罫線は水っぽい
事実11: もし「この社会的養護は芳しい」ということは本当ならその横罫線は水っぽい
事実12: 仮にとある物は淡いならば「人懐こいしその上それは七十パーセント近くでない」ということは本当だということはない
事実13: もし「なにがしかのものは人懐こいけど七十パーセント近くであるということはない」ということは誤りであるとすれば「それは七十パーセント近くだ」ということは成り立つ
事実14: この社会的養護は中世的都市である
事実15: もし「この社会的養護は水っぽい」ということは確かならその横罫線は中世的都市でない

仮説: その横罫線は水っぽいけれど唱歌教材でない
1. 事実7と事実4から、推論1: "この社会的養護は芳しいしそれは中世的都市である"が導かれる
2. 推論1から、推論2: "この社会的養護は芳しい"が導かれる
3. 推論2と事実2から、仮説が導かれる

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