この結婚前は現われ始めない
fact1: もしもこのアイスクリーム屋が見逃すとしたらその葛煮は女性ドライバーであるかまたはそれは根強いかあるいはどちらもである fact2: そのカスタム．ＡＥＮは根強い fact3: もしもこのアイスクリーム屋が見逃すとしたらその葛煮は女性ドライバーであるかもしくはそれは根強くないかどちらもである fact4: 仮にこの結婚前が根強いかもしくはそれは現われ始めないとすると「女性ドライバーである」ということは成り立つ fact5: もしもこの結婚前が根強くないならばそれは判断し兼ねる fact6: 「その葛煮は根強くない」ということは成り立てばそれは詳しい fact7: 根強くないものは詳しい fact8: このアイスクリーム屋は見逃すかまたは築き難くないかもしくは両方ともである fact9: もし仮にその葛煮が現われ始めるならこの結婚前は女性ドライバーであるかまたは見逃すかもしくはどちらもである fact10: 「このアイスクリーム屋は見逃す」ということは成り立つ fact11: この結婚前は根強い fact12: このＳ形は現われ始める fact13: その葛煮は女性ドライバーでないならそれは現われ始める fact14: もし仮にあるものは女性ドライバーであるか根強いということはないかもしくはどちらもであるならばそれは詳しい fact15: 仮にその葛煮が詳しいならばあの結婚前は現われ始める fact16: このアイスクリーム屋は根強いかあるいは現われ始めないとすると見逃す
fact3 & fact10 -> int1: その葛煮は女性ドライバーであるかもしくは根強くない; fact14 -> int2: もしもその葛煮が女性ドライバーであるかまたは根強くないか両方ともであるとすると「詳しい」ということは成り立つ; int1 & int2 -> int3: 「その葛煮は詳しい」ということは確かだ; int3 & fact15 -> hypothesis;
$facts$ = fact1: もしもこのアイスクリーム屋が見逃すとしたらその葛煮は女性ドライバーであるかまたはそれは根強いかあるいはどちらもである fact2: そのカスタム．ＡＥＮは根強い fact3: もしもこのアイスクリーム屋が見逃すとしたらその葛煮は女性ドライバーであるかもしくはそれは根強くないかどちらもである fact4: 仮にこの結婚前が根強いかもしくはそれは現われ始めないとすると「女性ドライバーである」ということは成り立つ fact5: もしもこの結婚前が根強くないならばそれは判断し兼ねる fact6: 「その葛煮は根強くない」ということは成り立てばそれは詳しい fact7: 根強くないものは詳しい fact8: このアイスクリーム屋は見逃すかまたは築き難くないかもしくは両方ともである fact9: もし仮にその葛煮が現われ始めるならこの結婚前は女性ドライバーであるかまたは見逃すかもしくはどちらもである fact10: 「このアイスクリーム屋は見逃す」ということは成り立つ fact11: この結婚前は根強い fact12: このＳ形は現われ始める fact13: その葛煮は女性ドライバーでないならそれは現われ始める fact14: もし仮にあるものは女性ドライバーであるか根強いということはないかもしくはどちらもであるならばそれは詳しい fact15: 仮にその葛煮が詳しいならばあの結婚前は現われ始める fact16: このアイスクリーム屋は根強いかあるいは現われ始めないとすると見逃す ; $hypothesis$ = この結婚前は現われ始めない ; $proof$ = 
fact3 & fact10 -> int1: その葛煮は女性ドライバーであるかもしくは根強くない; fact14 -> int2: もしもその葛煮が女性ドライバーであるかまたは根強くないか両方ともであるとすると「詳しい」ということは成り立つ; int1 & int2 -> int3: 「その葛煮は詳しい」ということは確かだ; int3 & fact15 -> hypothesis; __DISPROVED__
事実1: もしもこのアイスクリーム屋が見逃すとしたらその葛煮は女性ドライバーであるかまたはそれは根強いかあるいはどちらもである
事実2: そのカスタム．ＡＥＮは根強い
事実3: もしもこのアイスクリーム屋が見逃すとしたらその葛煮は女性ドライバーであるかもしくはそれは根強くないかどちらもである
事実4: 仮にこの結婚前が根強いかもしくはそれは現われ始めないとすると「女性ドライバーである」ということは成り立つ
事実5: もしもこの結婚前が根強くないならばそれは判断し兼ねる
事実6: 「その葛煮は根強くない」ということは成り立てばそれは詳しい
事実7: 根強くないものは詳しい
事実8: このアイスクリーム屋は見逃すかまたは築き難くないかもしくは両方ともである
事実9: もし仮にその葛煮が現われ始めるならこの結婚前は女性ドライバーであるかまたは見逃すかもしくはどちらもである
事実10: 「このアイスクリーム屋は見逃す」ということは成り立つ
事実11: この結婚前は根強い
事実12: このＳ形は現われ始める
事実13: その葛煮は女性ドライバーでないならそれは現われ始める
事実14: もし仮にあるものは女性ドライバーであるか根強いということはないかもしくはどちらもであるならばそれは詳しい
事実15: 仮にその葛煮が詳しいならばあの結婚前は現われ始める
事実16: このアイスクリーム屋は根強いかあるいは現われ始めないとすると見逃す

仮説: この結婚前は現われ始めない
1. 事実3と事実10から、推論1: "その葛煮は女性ドライバーであるかもしくは根強くない"が導かれる
2. 事実14から、推論2: "もしもその葛煮が女性ドライバーであるかまたは根強くないか両方ともであるとすると「詳しい」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "「その葛煮は詳しい」ということは確かだ"が導かれる
4. 推論3と事実15から、仮説が否定される

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