「「指示出来ないとすると行き易くない」物はある」ということは成り立たない
fact1: 「マンＹは小三でない」ということは本当である fact2: もし仮に何らかの物が指示出来ないとするとそれは行き易いということはない
fact2 -> int1: 仮にあの申請書は指示出来ないならそれは行き易いない; int1 -> hypothesis;
$facts$ = fact1: 「マンＹは小三でない」ということは本当である fact2: もし仮に何らかの物が指示出来ないとするとそれは行き易いということはない ; $hypothesis$ = 「「指示出来ないとすると行き易くない」物はある」ということは成り立たない ; $proof$ = 
fact2 -> int1: 仮にあの申請書は指示出来ないならそれは行き易いない; int1 -> hypothesis; __DISPROVED__
事実1: 「マンＹは小三でない」ということは本当である
事実2: もし仮に何らかの物が指示出来ないとするとそれは行き易いということはない

仮説: 「「指示出来ないとすると行き易くない」物はある」ということは成り立たない
1. 事実2から、推論1: "仮にあの申請書は指示出来ないならそれは行き易いない"が導かれる
2. 推論1から、仮説が否定される

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