その鉱工業品は汚い
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: 仮にあのセフェム薬が青っぽいということはないとしたらそれは因り難くない
fact3 & fact14 -> int1: その二府は横合いだということはないが歌詞だ; int1 & fact24 -> int2: あのセフェム薬は青っぽくない; int2 & fact17 -> int3: あのセフェム薬は割れ易くなくて因り難くない; int3 -> int4: あのセフェム薬は割れ易いということはない; int4 -> int5: あのセフェム薬は床しかないかまたは割れ易くないかもしくはどちらもだ; int5 -> int6: ある物は床しかないかまたは割れ易くないかもしくは両方である; int6 & fact13 -> hypothesis;
このＵＲＬアドレスは三条殿でない
fact27 -> int7: もしもこのＵＲＬアドレスは床しかないなら「因り難いということはないしおまけに割れ易いということはない」ということは確かでない;
$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: 仮にあのセフェム薬が青っぽいということはないとしたらそれは因り難くない ; $hypothesis$ = その鉱工業品は汚い ; $proof$ = 
fact3 & fact14 -> int1: その二府は横合いだということはないが歌詞だ; int1 & fact24 -> int2: あのセフェム薬は青っぽくない; int2 & fact17 -> int3: あのセフェム薬は割れ易くなくて因り難くない; int3 -> int4: あのセフェム薬は割れ易いということはない; int4 -> int5: あのセフェム薬は床しかないかまたは割れ易くないかもしくはどちらもだ; int5 -> int6: ある物は床しかないかまたは割れ易くないかもしくは両方である; int6 & fact13 -> 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: もしもその二府が横合いでないけど歌詞だとしたらあのセフェム薬は青っぽくない
事実25: 仮にあのセフェム薬が青っぽいということはないとしたらそれは因り難くない

仮説: その鉱工業品は汚い
1. 事実3と事実14から、推論1: "その二府は横合いだということはないが歌詞だ"が導かれる
2. 推論1と事実24から、推論2: "あのセフェム薬は青っぽくない"が導かれる
3. 推論2と事実17から、推論3: "あのセフェム薬は割れ易くなくて因り難くない"が導かれる
4. 推論3から、推論4: "あのセフェム薬は割れ易いということはない"が導かれる
5. 推論4から、推論5: "あのセフェム薬は床しかないかまたは割れ易くないかもしくはどちらもだ"が導かれる
6. 推論5から、推論6: "ある物は床しかないかまたは割れ易くないかもしくは両方である"が導かれる
7. 推論6と事実13から、仮説が否定される

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