あの十二時間後は主張出来る
fact1: 仮に「この相手チームは御考えないけれど東三条殿だ」ということは確かでないとすれば狙い分けない fact2: 「この相手チームは御考えないけれど東三条殿である」ということは誤りである fact3: もし仮にこの相手チームは狙い分けないとすれば「あの十二時間後は狙い分けないし雇用主でない」ということは嘘だ fact4: この相手チームは御考えるなら「それは狙い分けない」ということは成り立つ fact5: 「何かは狙い分けないしさらに雇用主であるということはない」ということは成り立たないならばそれは主張出来ない
fact1 & fact2 -> int1: この相手チームは狙い分けない; int1 & fact3 -> int2: 「あの十二時間後は狙い分けなくて雇用主だということはない」ということは成り立たない; fact5 -> int3: 「あの十二時間後は狙い分けないしそれは雇用主でない」ということは事実と異なればそれは主張出来ない; int2 & int3 -> hypothesis;
$facts$ = fact1: 仮に「この相手チームは御考えないけれど東三条殿だ」ということは確かでないとすれば狙い分けない fact2: 「この相手チームは御考えないけれど東三条殿である」ということは誤りである fact3: もし仮にこの相手チームは狙い分けないとすれば「あの十二時間後は狙い分けないし雇用主でない」ということは嘘だ fact4: この相手チームは御考えるなら「それは狙い分けない」ということは成り立つ fact5: 「何かは狙い分けないしさらに雇用主であるということはない」ということは成り立たないならばそれは主張出来ない ; $hypothesis$ = あの十二時間後は主張出来る ; $proof$ = 
fact1 & fact2 -> int1: この相手チームは狙い分けない; int1 & fact3 -> int2: 「あの十二時間後は狙い分けなくて雇用主だということはない」ということは成り立たない; fact5 -> int3: 「あの十二時間後は狙い分けないしそれは雇用主でない」ということは事実と異なればそれは主張出来ない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 仮に「この相手チームは御考えないけれど東三条殿だ」ということは確かでないとすれば狙い分けない
事実2: 「この相手チームは御考えないけれど東三条殿である」ということは誤りである
事実3: もし仮にこの相手チームは狙い分けないとすれば「あの十二時間後は狙い分けないし雇用主でない」ということは嘘だ
事実4: この相手チームは御考えるなら「それは狙い分けない」ということは成り立つ
事実5: 「何かは狙い分けないしさらに雇用主であるということはない」ということは成り立たないならばそれは主張出来ない

仮説: あの十二時間後は主張出来る
1. 事実1と事実2から、推論1: "この相手チームは狙い分けない"が導かれる
2. 推論1と事実3から、推論2: "「あの十二時間後は狙い分けなくて雇用主だということはない」ということは成り立たない"が導かれる
3. 事実5から、推論3: "「あの十二時間後は狙い分けないしそれは雇用主でない」ということは事実と異なればそれは主張出来ない"が導かれる
4. 推論2と推論3から、仮説が否定される

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