この御相手は警告しない
fact1: この御相手は立ち遅れるかもしくは野太いかあるいはどちらもだ fact2: この御相手は心苦しい fact3: もしも何らかの物は汚れ取りでないけれど眠いとしたらそれは心苦しくない fact4: もしこの御相手が立ち遅れるとすればそれは汚れ取りでない fact5: もしも容易いということはないものが心苦しいとしたら警告しない fact6: 「この御相手は容易いということはない」ということは正しい fact7: もしもその作業空間が細らないが心苦しいとすればそれは御寒くない
fact6 & fact2 -> int1: この御相手は容易くない一方で心苦しい; fact5 -> int2: 仮にこの御相手は容易いということはないがしかし心苦しいならそれは警告しない; int1 & int2 -> hypothesis;
fact6 & fact2 -> int1: (¬{A}{a} & {B}{a}); fact5 -> int2: (¬{A}{a} & {B}{a}) -> ¬{C}{a}; int1 & int2 -> hypothesis;
この御相手は警告する
fact9 -> int3: もしもこの御相手が汚れ取りであるということはないがしかしそれが眠いとすれば心苦しくない;
$facts$ = fact1: この御相手は立ち遅れるかもしくは野太いかあるいはどちらもだ fact2: この御相手は心苦しい fact3: もしも何らかの物は汚れ取りでないけれど眠いとしたらそれは心苦しくない fact4: もしこの御相手が立ち遅れるとすればそれは汚れ取りでない fact5: もしも容易いということはないものが心苦しいとしたら警告しない fact6: 「この御相手は容易いということはない」ということは正しい fact7: もしもその作業空間が細らないが心苦しいとすればそれは御寒くない ; $hypothesis$ = この御相手は警告しない ; $proof$ = 
fact6 & fact2 -> int1: この御相手は容易くない一方で心苦しい; fact5 -> int2: 仮にこの御相手は容易いということはないがしかし心苦しいならそれは警告しない; int1 & int2 -> hypothesis; __PROVED__
事実1: この御相手は立ち遅れるかもしくは野太いかあるいはどちらもだ
事実2: この御相手は心苦しい
事実3: もしも何らかの物は汚れ取りでないけれど眠いとしたらそれは心苦しくない
事実4: もしこの御相手が立ち遅れるとすればそれは汚れ取りでない
事実5: もしも容易いということはないものが心苦しいとしたら警告しない
事実6: 「この御相手は容易いということはない」ということは正しい
事実7: もしもその作業空間が細らないが心苦しいとすればそれは御寒くない

仮説: この御相手は警告しない
1. 事実6と事実2から、推論1: "この御相手は容易くない一方で心苦しい"が導かれる
2. 事実5から、推論2: "仮にこの御相手は容易いということはないがしかし心苦しいならそれは警告しない"が導かれる
3. 推論1と推論2から、仮説が導かれる

よって、仮説が証明されました。