このルイス酸は規制緩和しない
fact1: もしこのルイス酸は二光子吸収であるとしたら「この蝶ネクタイは怒り続けない一方で迷信深い」ということは間違いだ fact2: もしこの蝶ネクタイが基本方針ならばあのルイス酸は規制緩和する fact3: もしある物が怒り続けないとするとそれは迷信深くてそれは二光子吸収だ fact4: 迷信深くないものは基本方針でおまけに規制緩和する fact5: このルイス酸は基本方針である fact6: この蝶ネクタイはホリスティックである fact7: 「この蝶ネクタイは規制緩和する」ということは成り立つ fact8: 「この蝶ネクタイは基本方針である」ということは成り立つ fact9: もしこのルイス酸が寝心地だとすると二光子吸収だ
fact2 & fact8 -> hypothesis;
fact2 & fact8 -> hypothesis;
「あの旧道は規制緩和する」ということは本当である
fact12 -> int1: 仮にあの旧道が迷信深くないとすればそれは基本方針であるしおまけに規制緩和する;
$facts$ = fact1: もしこのルイス酸は二光子吸収であるとしたら「この蝶ネクタイは怒り続けない一方で迷信深い」ということは間違いだ fact2: もしこの蝶ネクタイが基本方針ならばあのルイス酸は規制緩和する fact3: もしある物が怒り続けないとするとそれは迷信深くてそれは二光子吸収だ fact4: 迷信深くないものは基本方針でおまけに規制緩和する fact5: このルイス酸は基本方針である fact6: この蝶ネクタイはホリスティックである fact7: 「この蝶ネクタイは規制緩和する」ということは成り立つ fact8: 「この蝶ネクタイは基本方針である」ということは成り立つ fact9: もしこのルイス酸が寝心地だとすると二光子吸収だ ; $hypothesis$ = このルイス酸は規制緩和しない ; $proof$ = 
fact2 & fact8 -> hypothesis; __DISPROVED__
事実1: もしこのルイス酸は二光子吸収であるとしたら「この蝶ネクタイは怒り続けない一方で迷信深い」ということは間違いだ
事実2: もしこの蝶ネクタイが基本方針ならばあのルイス酸は規制緩和する
事実3: もしある物が怒り続けないとするとそれは迷信深くてそれは二光子吸収だ
事実4: 迷信深くないものは基本方針でおまけに規制緩和する
事実5: このルイス酸は基本方針である
事実6: この蝶ネクタイはホリスティックである
事実7: 「この蝶ネクタイは規制緩和する」ということは成り立つ
事実8: 「この蝶ネクタイは基本方針である」ということは成り立つ
事実9: もしこのルイス酸が寝心地だとすると二光子吸収だ

仮説: このルイス酸は規制緩和しない
1. 事実2と事実8から、仮説が否定される

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