この五百以上は頑固親父だ
fact1: この五百以上は守り易くない fact2: この鼻先は守り易くない fact3: その旧臣は守り易くない fact4: この五百以上は一転する一方で守り易くない fact5: その旧臣はＮＡＳ機器であるけど守り易いということはない fact6: あの三高は信仰深いがしかし取り易くない fact7: もしその旧臣がＮＡＳ機器だがしかし守り易くないならこの五百以上は頑固親父でない fact8: もしもその旧臣がＮＡＳ機器であるし加えてそれが守り易いとするとこの五百以上は頑固親父でない
fact7 & fact5 -> hypothesis;
fact7 & fact5 -> hypothesis;
$facts$ = fact1: この五百以上は守り易くない fact2: この鼻先は守り易くない fact3: その旧臣は守り易くない fact4: この五百以上は一転する一方で守り易くない fact5: その旧臣はＮＡＳ機器であるけど守り易いということはない fact6: あの三高は信仰深いがしかし取り易くない fact7: もしその旧臣がＮＡＳ機器だがしかし守り易くないならこの五百以上は頑固親父でない fact8: もしもその旧臣がＮＡＳ機器であるし加えてそれが守り易いとするとこの五百以上は頑固親父でない ; $hypothesis$ = この五百以上は頑固親父だ ; $proof$ = 
fact7 & fact5 -> hypothesis; __DISPROVED__
事実1: この五百以上は守り易くない
事実2: この鼻先は守り易くない
事実3: その旧臣は守り易くない
事実4: この五百以上は一転する一方で守り易くない
事実5: その旧臣はＮＡＳ機器であるけど守り易いということはない
事実6: あの三高は信仰深いがしかし取り易くない
事実7: もしその旧臣がＮＡＳ機器だがしかし守り易くないならこの五百以上は頑固親父でない
事実8: もしもその旧臣がＮＡＳ機器であるし加えてそれが守り易いとするとこの五百以上は頑固親父でない

仮説: この五百以上は頑固親父だ
1. 事実7と事実5から、仮説が否定される

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