「「読み合わないとすると正当業務行為な」ものはある」ということは確かでない
fact1: 「もし仮に御高いなら嘲る」ものはある fact2: もし仮になにかは読み合うとしたらそれは正当業務行為だ fact3: もしとあるものが読み合わないならばそれは正当業務行為である fact4: もしもとあるものが変化し易いならば微笑み掛ける fact5: もし何らかの物は三月期決算でないとすると特大である fact6: もしなにがしかのものが元本割れならば書き付ける
fact3 -> int1: その復員者が読み合わないとすれば正当業務行為だ; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に御高いなら嘲る」ものはある fact2: もし仮になにかは読み合うとしたらそれは正当業務行為だ fact3: もしとあるものが読み合わないならばそれは正当業務行為である fact4: もしもとあるものが変化し易いならば微笑み掛ける fact5: もし何らかの物は三月期決算でないとすると特大である fact6: もしなにがしかのものが元本割れならば書き付ける ; $hypothesis$ = 「「読み合わないとすると正当業務行為な」ものはある」ということは確かでない ; $proof$ = 
fact3 -> int1: その復員者が読み合わないとすれば正当業務行為だ; int1 -> hypothesis; __DISPROVED__
事実1: 「もし仮に御高いなら嘲る」ものはある
事実2: もし仮になにかは読み合うとしたらそれは正当業務行為だ
事実3: もしとあるものが読み合わないならばそれは正当業務行為である
事実4: もしもとあるものが変化し易いならば微笑み掛ける
事実5: もし何らかの物は三月期決算でないとすると特大である
事実6: もしなにがしかのものが元本割れならば書き付ける

仮説: 「「読み合わないとすると正当業務行為な」ものはある」ということは確かでない
1. 事実3から、推論1: "その復員者が読み合わないとすれば正当業務行為だ"が導かれる
2. 推論1から、仮説が否定される

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