その茶痣は極めない
fact1: このアメリカ西海岸は台詞である fact2: その茶痣は酔い痴れる fact3: もしもそのネーミングサービスが酔い痴れればその茶痣は極める fact4: このＣＡＴＶインターネットは極める fact5: もし「このアメリカ西海岸は極めるし加えてそれは酔い痴れる」ということは事実と異なるとしたらその茶痣は極めない fact6: このアメリカ西海岸は行われ易い fact7: もしそのネーミングサービスが行われ易いとするとその茶痣は極める fact8: このアメリカ西海岸は極める fact9: そのネーミングサービスが極めるとしたらその茶痣は酔い痴れる fact10: あの極楽蜻蛉は極める fact11: そのネーミングサービスは穴開きである fact12: もし仮にその茶痣が酔い痴れるとすればそのネーミングサービスは極める fact13: そのネーミングサービスは極める fact14: 「この縞感度は行われ易い」ということは成り立つ fact15: あの灯火管制は行われ易い fact16: この指定業者は極める fact17: このアメリカ西海岸が行われ易いならそのネーミングサービスは酔い痴れる
fact17 & fact6 -> int1: そのネーミングサービスは酔い痴れる; int1 & fact3 -> hypothesis;
fact17 & fact6 -> int1: {B}{b}; int1 & fact3 -> hypothesis;
その茶痣は極めない
$facts$ = fact1: このアメリカ西海岸は台詞である fact2: その茶痣は酔い痴れる fact3: もしもそのネーミングサービスが酔い痴れればその茶痣は極める fact4: このＣＡＴＶインターネットは極める fact5: もし「このアメリカ西海岸は極めるし加えてそれは酔い痴れる」ということは事実と異なるとしたらその茶痣は極めない fact6: このアメリカ西海岸は行われ易い fact7: もしそのネーミングサービスが行われ易いとするとその茶痣は極める fact8: このアメリカ西海岸は極める fact9: そのネーミングサービスが極めるとしたらその茶痣は酔い痴れる fact10: あの極楽蜻蛉は極める fact11: そのネーミングサービスは穴開きである fact12: もし仮にその茶痣が酔い痴れるとすればそのネーミングサービスは極める fact13: そのネーミングサービスは極める fact14: 「この縞感度は行われ易い」ということは成り立つ fact15: あの灯火管制は行われ易い fact16: この指定業者は極める fact17: このアメリカ西海岸が行われ易いならそのネーミングサービスは酔い痴れる ; $hypothesis$ = その茶痣は極めない ; $proof$ = 
fact17 & fact6 -> int1: そのネーミングサービスは酔い痴れる; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: このアメリカ西海岸は台詞である
事実2: その茶痣は酔い痴れる
事実3: もしもそのネーミングサービスが酔い痴れればその茶痣は極める
事実4: このＣＡＴＶインターネットは極める
事実5: もし「このアメリカ西海岸は極めるし加えてそれは酔い痴れる」ということは事実と異なるとしたらその茶痣は極めない
事実6: このアメリカ西海岸は行われ易い
事実7: もしそのネーミングサービスが行われ易いとするとその茶痣は極める
事実8: このアメリカ西海岸は極める
事実9: そのネーミングサービスが極めるとしたらその茶痣は酔い痴れる
事実10: あの極楽蜻蛉は極める
事実11: そのネーミングサービスは穴開きである
事実12: もし仮にその茶痣が酔い痴れるとすればそのネーミングサービスは極める
事実13: そのネーミングサービスは極める
事実14: 「この縞感度は行われ易い」ということは成り立つ
事実15: あの灯火管制は行われ易い
事実16: この指定業者は極める
事実17: このアメリカ西海岸が行われ易いならそのネーミングサービスは酔い痴れる

仮説: その茶痣は極めない
1. 事実17と事実6から、推論1: "そのネーミングサービスは酔い痴れる"が導かれる
2. 推論1と事実3から、仮説が否定される

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