「「もしも無断欠勤だとすれば正しくてそれにカレンダーコントロールであるということはない」ものはある」ということは確かでない
fact1: もしもこの解雇予告は無断欠勤であるとすると正しいがしかしカレンダーコントロールでない fact2: 高しものは仲間らしいがしかし木らしくない fact3: 「仮に木らしいなら積み立てるしさらにネット社会である」ものはある
fact1 -> hypothesis;
fact1 -> hypothesis;
「高しならば仲間らしいけど木らしくない」ものはある
fact4 -> int1: もしもこの単元株が高しとすれば仲間らしいし加えて木らしくない; int1 -> hypothesis;
$facts$ = fact1: もしもこの解雇予告は無断欠勤であるとすると正しいがしかしカレンダーコントロールでない fact2: 高しものは仲間らしいがしかし木らしくない fact3: 「仮に木らしいなら積み立てるしさらにネット社会である」ものはある ; $hypothesis$ = 「「もしも無断欠勤だとすれば正しくてそれにカレンダーコントロールであるということはない」ものはある」ということは確かでない ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: もしもこの解雇予告は無断欠勤であるとすると正しいがしかしカレンダーコントロールでない
事実2: 高しものは仲間らしいがしかし木らしくない
事実3: 「仮に木らしいなら積み立てるしさらにネット社会である」ものはある

仮説: 「「もしも無断欠勤だとすれば正しくてそれにカレンダーコントロールであるということはない」ものはある」ということは確かでない
1. 事実1から、仮説が否定される

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