その御家人達は世知辛い
fact1: なんらかのものは指揮班でない fact2: 「ある物は舞い始めるかまたは伸ばし易くないか両方だ」ということは事実と異なるとすれば前週でない fact3: もし「「前週でなくて舞い始めない」ということは事実と異なる」ものがあるとすればその御家人達は世知辛くない fact4: 「このタイプ別は前週であるけれど舞い始めない」ということは間違っている fact5: なにかは前週でなくて舞い始めない fact6: 「「前週でそれに舞い始めない」ということは成り立たない」物はある fact7: 仮に「指揮班でない」物はあれば「このタイプ別は前週であるということはないし加えて舞い始めない」ということは誤りである fact8: 仮に何らかの物は世知辛くないとしたら「その御家人達は前週だが舞い始めない」ということは事実と異なる fact9: もしなにかは指揮班であるとしたらそれは前週だということはない fact10: 「「伸ばし易いかあるいは小暗いかもしくはどちらもだ」ということは成り立たない」物があるならこの内舎人は世知辛い fact11: このタイプ別が前週でないとすればその御家人達は世知辛くて更に指揮班である fact12: ある物が旅慣れるということはないとしたら小暗いということはない fact13: もし何らかのものは小暗くないならば「それは舞い始めるか伸ばし易くない」ということは成り立たない
fact1 & fact7 -> int1: 「このタイプ別は前週だということはないし舞い始めない」ということは成り立たない; int1 -> int2: 「「前週でなくて加えて舞い始めない」ということは間違っている」物はある; int2 & fact3 -> hypothesis;
この内舎人は前週だということはない
fact14 -> int3: この内舎人は指揮班であるとすると「それは前週でない」ということは事実である;
$facts$ = fact1: なんらかのものは指揮班でない fact2: 「ある物は舞い始めるかまたは伸ばし易くないか両方だ」ということは事実と異なるとすれば前週でない fact3: もし「「前週でなくて舞い始めない」ということは事実と異なる」ものがあるとすればその御家人達は世知辛くない fact4: 「このタイプ別は前週であるけれど舞い始めない」ということは間違っている fact5: なにかは前週でなくて舞い始めない fact6: 「「前週でそれに舞い始めない」ということは成り立たない」物はある fact7: 仮に「指揮班でない」物はあれば「このタイプ別は前週であるということはないし加えて舞い始めない」ということは誤りである fact8: 仮に何らかの物は世知辛くないとしたら「その御家人達は前週だが舞い始めない」ということは事実と異なる fact9: もしなにかは指揮班であるとしたらそれは前週だということはない fact10: 「「伸ばし易いかあるいは小暗いかもしくはどちらもだ」ということは成り立たない」物があるならこの内舎人は世知辛い fact11: このタイプ別が前週でないとすればその御家人達は世知辛くて更に指揮班である fact12: ある物が旅慣れるということはないとしたら小暗いということはない fact13: もし何らかのものは小暗くないならば「それは舞い始めるか伸ばし易くない」ということは成り立たない ; $hypothesis$ = その御家人達は世知辛い ; $proof$ = 
fact1 & fact7 -> int1: 「このタイプ別は前週だということはないし舞い始めない」ということは成り立たない; int1 -> int2: 「「前週でなくて加えて舞い始めない」ということは間違っている」物はある; int2 & fact3 -> hypothesis; __DISPROVED__
事実1: なんらかのものは指揮班でない
事実2: 「ある物は舞い始めるかまたは伸ばし易くないか両方だ」ということは事実と異なるとすれば前週でない
事実3: もし「「前週でなくて舞い始めない」ということは事実と異なる」ものがあるとすればその御家人達は世知辛くない
事実4: 「このタイプ別は前週であるけれど舞い始めない」ということは間違っている
事実5: なにかは前週でなくて舞い始めない
事実6: 「「前週でそれに舞い始めない」ということは成り立たない」物はある
事実7: 仮に「指揮班でない」物はあれば「このタイプ別は前週であるということはないし加えて舞い始めない」ということは誤りである
事実8: 仮に何らかの物は世知辛くないとしたら「その御家人達は前週だが舞い始めない」ということは事実と異なる
事実9: もしなにかは指揮班であるとしたらそれは前週だということはない
事実10: 「「伸ばし易いかあるいは小暗いかもしくはどちらもだ」ということは成り立たない」物があるならこの内舎人は世知辛い
事実11: このタイプ別が前週でないとすればその御家人達は世知辛くて更に指揮班である
事実12: ある物が旅慣れるということはないとしたら小暗いということはない
事実13: もし何らかのものは小暗くないならば「それは舞い始めるか伸ばし易くない」ということは成り立たない

仮説: その御家人達は世知辛い
1. 事実1と事実7から、推論1: "「このタイプ別は前週だということはないし舞い始めない」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「前週でなくて加えて舞い始めない」ということは間違っている」物はある"が導かれる
3. 推論2と事実3から、仮説が否定される

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