「そのゲーム開始は踏み止まるかあるいは来れる」ということは偽だ
fact1: もしそのゲーム開始が噛みちぎれば踏み止まる fact2: そのゲーム開始はタイトルらしい fact3: このＤさんは加工し易いか来れる fact4: そのゲーム開始は弾け飛ぶかもしくは御見捨てに成るかあるいは両方ともである fact5: そのゲーム開始は寂しい fact6: もしその自己欺瞞が来れるとするとそれは感じ易い fact7: もし仮になんらかの物はタイトルらしくないとすれば「それは踏み止まるか来れる」ということは誤りである fact8: もし仮にそのゲーム開始がタイトルらしいならばそれは踏み止まる fact9: あの石垣山は来れる fact10: もし「その形状はタイトルらしい」ということは事実なら踏み止まる fact11: その二等辺三角形は来れる fact12: そのゲーム開始はタイトルらしいかまたはそれはＭ君であるかまたは両方ともだ fact13: そのゲーム開始は来れるかあるいは濃いかまたはどちらもだ
fact8 & fact2 -> int1: そのゲーム開始は踏み止まる; int1 -> hypothesis;
その形状は踏み止まる
$facts$ = fact1: もしそのゲーム開始が噛みちぎれば踏み止まる fact2: そのゲーム開始はタイトルらしい fact3: このＤさんは加工し易いか来れる fact4: そのゲーム開始は弾け飛ぶかもしくは御見捨てに成るかあるいは両方ともである fact5: そのゲーム開始は寂しい fact6: もしその自己欺瞞が来れるとするとそれは感じ易い fact7: もし仮になんらかの物はタイトルらしくないとすれば「それは踏み止まるか来れる」ということは誤りである fact8: もし仮にそのゲーム開始がタイトルらしいならばそれは踏み止まる fact9: あの石垣山は来れる fact10: もし「その形状はタイトルらしい」ということは事実なら踏み止まる fact11: その二等辺三角形は来れる fact12: そのゲーム開始はタイトルらしいかまたはそれはＭ君であるかまたは両方ともだ fact13: そのゲーム開始は来れるかあるいは濃いかまたはどちらもだ ; $hypothesis$ = 「そのゲーム開始は踏み止まるかあるいは来れる」ということは偽だ ; $proof$ = 
fact8 & fact2 -> int1: そのゲーム開始は踏み止まる; int1 -> hypothesis; __DISPROVED__
事実1: もしそのゲーム開始が噛みちぎれば踏み止まる
事実2: そのゲーム開始はタイトルらしい
事実3: このＤさんは加工し易いか来れる
事実4: そのゲーム開始は弾け飛ぶかもしくは御見捨てに成るかあるいは両方ともである
事実5: そのゲーム開始は寂しい
事実6: もしその自己欺瞞が来れるとするとそれは感じ易い
事実7: もし仮になんらかの物はタイトルらしくないとすれば「それは踏み止まるか来れる」ということは誤りである
事実8: もし仮にそのゲーム開始がタイトルらしいならばそれは踏み止まる
事実9: あの石垣山は来れる
事実10: もし「その形状はタイトルらしい」ということは事実なら踏み止まる
事実11: その二等辺三角形は来れる
事実12: そのゲーム開始はタイトルらしいかまたはそれはＭ君であるかまたは両方ともだ
事実13: そのゲーム開始は来れるかあるいは濃いかまたはどちらもだ

仮説: 「そのゲーム開始は踏み止まるかあるいは来れる」ということは偽だ
1. 事実8と事実2から、推論1: "そのゲーム開始は踏み止まる"が導かれる
2. 推論1から、仮説が否定される

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