「その書式設定ツールバーは口ずさむか素性構造であるか両方ともである」ということは間違っている
fact1: もし仮にその書式設定ツールバーが角張るし口喧しいならその聖職は口ずさむということはない fact2: もし仮にその書式設定ツールバーが口喧しくないとすれば口ずさむか素性構造であるかまたは両方ともだ fact3: 「その書式設定ツールバーは口喧しくない」ということは成り立つ
fact2 & fact3 -> hypothesis;
fact2 & fact3 -> hypothesis;
その聖職は口ずさまない
$facts$ = fact1: もし仮にその書式設定ツールバーが角張るし口喧しいならその聖職は口ずさむということはない fact2: もし仮にその書式設定ツールバーが口喧しくないとすれば口ずさむか素性構造であるかまたは両方ともだ fact3: 「その書式設定ツールバーは口喧しくない」ということは成り立つ ; $hypothesis$ = 「その書式設定ツールバーは口ずさむか素性構造であるか両方ともである」ということは間違っている ; $proof$ = 
fact2 & fact3 -> hypothesis; __DISPROVED__
事実1: もし仮にその書式設定ツールバーが角張るし口喧しいならその聖職は口ずさむということはない
事実2: もし仮にその書式設定ツールバーが口喧しくないとすれば口ずさむか素性構造であるかまたは両方ともだ
事実3: 「その書式設定ツールバーは口喧しくない」ということは成り立つ

仮説: 「その書式設定ツールバーは口ずさむか素性構造であるか両方ともである」ということは間違っている
1. 事実2と事実3から、仮説が否定される

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