その一日乗車券はカード類でない
fact1: このＳＨＰは義務付けする fact2: もしその一日乗車券は行き易くないけど生白いなら「このＳＨＰはカード類である」ということは本当である fact3: このＳＨＰはカード類だ fact4: この加薬御飯は生白い fact5: この一時差異はカード類である fact6: もしこのＳＨＰが行き易くないがしかし生白いならその一日乗車券はカード類だ fact7: このＳＨＰは服務す fact8: このＳＨＰは行き易くない一方で生白い fact9: このＳＨＰが生白くないけれどカード類だとすればその一日乗車券は行き易い
fact6 & fact8 -> hypothesis;
fact6 & fact8 -> hypothesis;
$facts$ = fact1: このＳＨＰは義務付けする fact2: もしその一日乗車券は行き易くないけど生白いなら「このＳＨＰはカード類である」ということは本当である fact3: このＳＨＰはカード類だ fact4: この加薬御飯は生白い fact5: この一時差異はカード類である fact6: もしこのＳＨＰが行き易くないがしかし生白いならその一日乗車券はカード類だ fact7: このＳＨＰは服務す fact8: このＳＨＰは行き易くない一方で生白い fact9: このＳＨＰが生白くないけれどカード類だとすればその一日乗車券は行き易い ; $hypothesis$ = その一日乗車券はカード類でない ; $proof$ = 
fact6 & fact8 -> hypothesis; __DISPROVED__
事実1: このＳＨＰは義務付けする
事実2: もしその一日乗車券は行き易くないけど生白いなら「このＳＨＰはカード類である」ということは本当である
事実3: このＳＨＰはカード類だ
事実4: この加薬御飯は生白い
事実5: この一時差異はカード類である
事実6: もしこのＳＨＰが行き易くないがしかし生白いならその一日乗車券はカード類だ
事実7: このＳＨＰは服務す
事実8: このＳＨＰは行き易くない一方で生白い
事実9: このＳＨＰが生白くないけれどカード類だとすればその一日乗車券は行き易い

仮説: その一日乗車券はカード類でない
1. 事実6と事実8から、仮説が否定される

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