「そのタイムテーブルはぼってりしないかそれは奔走するかまたは両方である」ということは誤りだ
fact1: そのタイムテーブルはぼってりするかあるいはそれは奔走するかどちらもである fact2: 「そのタイムテーブルはぼってりしない」ということは事実だ fact3: もしもあるものが示し始めないとすればぼってりしないが奔走する
fact2 -> hypothesis;
fact2 -> hypothesis;
このムント・ツォイクはぼってりしない
fact4 -> int1: もしもこのムント・ツォイクが示し始めないとしたらそれはぼってりしないが奔走する;
$facts$ = fact1: そのタイムテーブルはぼってりするかあるいはそれは奔走するかどちらもである fact2: 「そのタイムテーブルはぼってりしない」ということは事実だ fact3: もしもあるものが示し始めないとすればぼってりしないが奔走する ; $hypothesis$ = 「そのタイムテーブルはぼってりしないかそれは奔走するかまたは両方である」ということは誤りだ ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: そのタイムテーブルはぼってりするかあるいはそれは奔走するかどちらもである
事実2: 「そのタイムテーブルはぼってりしない」ということは事実だ
事実3: もしもあるものが示し始めないとすればぼってりしないが奔走する

仮説: 「そのタイムテーブルはぼってりしないかそれは奔走するかまたは両方である」ということは誤りだ
1. 事実2から、仮説が否定される

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