「その湿布薬は反回するし加えて溢れる」ということは誤っている
fact1: もしその湿布薬が流入しないとしたらそれは酒臭い fact2: そのフォートは反回する fact3: 仮に「そのフォートは綻びる」ということは事実ならばその湿布薬は溢れる fact4: もしなんらかのものが鰭でないしその上流入しないとするとそれは綻びる fact5: もしも「その湿布薬は弱くないけど流入する」ということは誤りであるなら「それは流入しない」ということは真実だ fact6: もしもなにがしかの物は綻びれば「それは浮かし掛けないが酒臭い」ということは正しくない fact7: その中央公園が浮かし掛けるとすればそのフォートは綻びる fact8: この蒸散法は溢れるしさらにそれは打ち身だ fact9: なにかは鹿島隊長であるということはないとすれば「それは子供達一人一人でなくて小気味良い」ということは偽である fact10: 弱くないがしかし流入するというものはない fact11: その湿布薬は酒臭い fact12: 仮にこの蒸散法は鹿島隊長でないならば「その湿布薬は反回するし溢れる」ということは間違いだ fact13: 仮になにがしかのものが流入するということはないとするとそれは酒臭いしおまけに反回する fact14: その中央公園は綻びる fact15: その湿布薬は浮かし掛ける fact16: 仮に「なにがしかのものは浮かし掛けないけれど鹿島隊長である」ということは事実と異なるならそれは鹿島隊長であるということはない fact17: もしあるものはエクリプスＳでないとしたら鹿島隊長でない fact18: 「この蒸散法はエクリプスＳだ」ということは成り立つ fact19: 「この蒸散法は溢れるけれどそれはエクリプスＳでない」ということは偽であるとすればあの中央公園はエクリプスＳである fact20: 酒臭くない物は鹿島隊長でその上溢れる fact21: もし仮にこの蒸散法が鹿島隊長だとしたらその中央公園は浮かし掛ける fact22: 何らかの物が流入しないとするとそれは酒臭い fact23: この蒸散法は鹿島隊長でまたエクリプスＳである fact24: 「その中央公園は浮かし掛けるということはないけどそれは酒臭い」ということは間違っているとしたらこの蒸散法は浮かし掛けない
fact23 -> int1: この蒸散法は鹿島隊長である; int1 & fact21 -> int2: その中央公園は浮かし掛ける; int2 & fact7 -> int3: そのフォートは綻びる; int3 & fact3 -> int4: その湿布薬は溢れる; fact13 -> int5: もしもその湿布薬が流入しないとすればそれは酒臭くてかつそれは反回する; fact10 -> int6: 「その湿布薬は弱くないけど流入する」ということは嘘である; int6 & fact5 -> int7: その湿布薬は流入しない; int5 & int7 -> int8: その湿布薬は酒臭いしそれに反回する; int8 -> int9: その湿布薬は反回する; int4 & int9 -> hypothesis;
「その中央公園は子供達一人一人でないが小気味良い」ということは誤っている
fact26 -> int10: 仮にその中央公園は鹿島隊長でないとすると「子供達一人一人でない一方で小気味良い」ということは確かだということはない; fact25 -> 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$ = 
fact23 -> int1: この蒸散法は鹿島隊長である; int1 & fact21 -> int2: その中央公園は浮かし掛ける; int2 & fact7 -> int3: そのフォートは綻びる; int3 & fact3 -> int4: その湿布薬は溢れる; fact13 -> int5: もしもその湿布薬が流入しないとすればそれは酒臭くてかつそれは反回する; fact10 -> int6: 「その湿布薬は弱くないけど流入する」ということは嘘である; int6 & fact5 -> int7: その湿布薬は流入しない; int5 & int7 -> int8: その湿布薬は酒臭いしそれに反回する; int8 -> int9: その湿布薬は反回する; int4 & int9 -> hypothesis; __DISPROVED__
事実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. 事実23から、推論1: "この蒸散法は鹿島隊長である"が導かれる
2. 推論1と事実21から、推論2: "その中央公園は浮かし掛ける"が導かれる
3. 推論2と事実7から、推論3: "そのフォートは綻びる"が導かれる
4. 推論3と事実3から、推論4: "その湿布薬は溢れる"が導かれる
5. 事実13から、推論5: "もしもその湿布薬が流入しないとすればそれは酒臭くてかつそれは反回する"が導かれる
6. 事実10から、推論6: "「その湿布薬は弱くないけど流入する」ということは嘘である"が導かれる
7. 推論6と事実5から、推論7: "その湿布薬は流入しない"が導かれる
8. 推論5と推論7から、推論8: "その湿布薬は酒臭いしそれに反回する"が導かれる
9. 推論8から、推論9: "その湿布薬は反回する"が導かれる
10. 推論4と推論9から、仮説が否定される

よって、仮説が否定されました。