あの北欧ツアーは厚かましい
fact1: もしも「この三分一オクターブバンドは木活動でないかもしくは壊れ難いかもしくはどちらもである」ということは確かでないならばその若手職員は塾生達であるということはない fact2: あの義務付けは解放出来る fact3: 仮に「なんらかのものは踊り出すし更にそれは大型コンテナ船だ」ということは間違っているなら大型コンテナ船だということはない fact4: もしあの義務付けが解放出来るか大型コンテナ船であるかもしくは両方ともならあの北欧ツアーは厚かましいということはない fact5: 「この内診は大型コンテナ船だ」ということは真実である fact6: 仮に「なんらかのものは捗らないし大型コンテナ船であるということはない」ということは成り立たないとしたら大型コンテナ船である fact7: 仮に何らかの物が解放出来ればそれは定額部分である fact8: 「あの北欧ツアーは大型コンテナ船だ」ということは成り立つ fact9: あの義務付けは厚かましいかまたは解放出来るかもしくは両方ともだ fact10: もしあの義務付けが大型コンテナ船でないならあの北欧ツアーは厚かましくてまた解放出来る fact11: 「あの北欧ツアーは解放出来る」ということは真実である fact12: あの義務付けは薄れ始める fact13: もし仮に「なにがしかのものは宗教信仰だしその上屈伏する」ということは正しくないなら「それは捗らない」ということは成り立つ fact14: 「この三分一オクターブバンドは木活動でないかまたは壊れ難いか両方ともである」ということは成り立たない fact15: もしあの義務付けが大型コンテナ船であるとすればあの北欧ツアーは厚かましくない fact16: あるものは首尾良くないとしたら「それは宗教信仰であるし屈伏する」ということは成り立つということはない fact17: もしもなんらかの物は捗るということはないならば「それは踊り出すし加えて大型コンテナ船だ」ということは成り立つということはない fact18: もし仮にその若手職員が塾生達でないとしたらこの従属物は応用問題でないかもしくはそれは首尾良くないかまたは両方である fact19: もしとある物は大型コンテナ船であるとすればそれは解放出来る
fact2 -> int1: あの義務付けは解放出来るかもしくはそれは大型コンテナ船であるか両方ともだ; int1 & fact4 -> hypothesis;
あの北欧ツアーは厚かましい
fact20 -> int2: もし仮に「あの北欧ツアーは捗らないし大型コンテナ船でない」ということは成り立つということはないとすればそれは大型コンテナ船である;
$facts$ = fact1: もしも「この三分一オクターブバンドは木活動でないかもしくは壊れ難いかもしくはどちらもである」ということは確かでないならばその若手職員は塾生達であるということはない fact2: あの義務付けは解放出来る fact3: 仮に「なんらかのものは踊り出すし更にそれは大型コンテナ船だ」ということは間違っているなら大型コンテナ船だということはない fact4: もしあの義務付けが解放出来るか大型コンテナ船であるかもしくは両方ともならあの北欧ツアーは厚かましいということはない fact5: 「この内診は大型コンテナ船だ」ということは真実である fact6: 仮に「なんらかのものは捗らないし大型コンテナ船であるということはない」ということは成り立たないとしたら大型コンテナ船である fact7: 仮に何らかの物が解放出来ればそれは定額部分である fact8: 「あの北欧ツアーは大型コンテナ船だ」ということは成り立つ fact9: あの義務付けは厚かましいかまたは解放出来るかもしくは両方ともだ fact10: もしあの義務付けが大型コンテナ船でないならあの北欧ツアーは厚かましくてまた解放出来る fact11: 「あの北欧ツアーは解放出来る」ということは真実である fact12: あの義務付けは薄れ始める fact13: もし仮に「なにがしかのものは宗教信仰だしその上屈伏する」ということは正しくないなら「それは捗らない」ということは成り立つ fact14: 「この三分一オクターブバンドは木活動でないかまたは壊れ難いか両方ともである」ということは成り立たない fact15: もしあの義務付けが大型コンテナ船であるとすればあの北欧ツアーは厚かましくない fact16: あるものは首尾良くないとしたら「それは宗教信仰であるし屈伏する」ということは成り立つということはない fact17: もしもなんらかの物は捗るということはないならば「それは踊り出すし加えて大型コンテナ船だ」ということは成り立つということはない fact18: もし仮にその若手職員が塾生達でないとしたらこの従属物は応用問題でないかもしくはそれは首尾良くないかまたは両方である fact19: もしとある物は大型コンテナ船であるとすればそれは解放出来る ; $hypothesis$ = あの北欧ツアーは厚かましい ; $proof$ = 
fact2 -> int1: あの義務付けは解放出来るかもしくはそれは大型コンテナ船であるか両方ともだ; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: もしも「この三分一オクターブバンドは木活動でないかもしくは壊れ難いかもしくはどちらもである」ということは確かでないならばその若手職員は塾生達であるということはない
事実2: あの義務付けは解放出来る
事実3: 仮に「なんらかのものは踊り出すし更にそれは大型コンテナ船だ」ということは間違っているなら大型コンテナ船だということはない
事実4: もしあの義務付けが解放出来るか大型コンテナ船であるかもしくは両方ともならあの北欧ツアーは厚かましいということはない
事実5: 「この内診は大型コンテナ船だ」ということは真実である
事実6: 仮に「なんらかのものは捗らないし大型コンテナ船であるということはない」ということは成り立たないとしたら大型コンテナ船である
事実7: 仮に何らかの物が解放出来ればそれは定額部分である
事実8: 「あの北欧ツアーは大型コンテナ船だ」ということは成り立つ
事実9: あの義務付けは厚かましいかまたは解放出来るかもしくは両方ともだ
事実10: もしあの義務付けが大型コンテナ船でないならあの北欧ツアーは厚かましくてまた解放出来る
事実11: 「あの北欧ツアーは解放出来る」ということは真実である
事実12: あの義務付けは薄れ始める
事実13: もし仮に「なにがしかのものは宗教信仰だしその上屈伏する」ということは正しくないなら「それは捗らない」ということは成り立つ
事実14: 「この三分一オクターブバンドは木活動でないかまたは壊れ難いか両方ともである」ということは成り立たない
事実15: もしあの義務付けが大型コンテナ船であるとすればあの北欧ツアーは厚かましくない
事実16: あるものは首尾良くないとしたら「それは宗教信仰であるし屈伏する」ということは成り立つということはない
事実17: もしもなんらかの物は捗るということはないならば「それは踊り出すし加えて大型コンテナ船だ」ということは成り立つということはない
事実18: もし仮にその若手職員が塾生達でないとしたらこの従属物は応用問題でないかもしくはそれは首尾良くないかまたは両方である
事実19: もしとある物は大型コンテナ船であるとすればそれは解放出来る

仮説: あの北欧ツアーは厚かましい
1. 事実2から、推論1: "あの義務付けは解放出来るかもしくはそれは大型コンテナ船であるか両方ともだ"が導かれる
2. 推論1と事実4から、仮説が否定される

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